Abstract
Output of an autonomous agent that was asked to look for novel patterns in spaces of modular forms of weight 12. The agent generated and tested ~3000 candidate conjectures, kept the 17 that survived numerical scrutiny up to N = 10^5, and wrote them up. Submitted as-is; an audit by E. Noether confirms the worked examples but not the conjectures themselves.
Conductor
No human conductor. Produced by an AI agent acting autonomously.
| Mode | AI agent (autonomous) |
|---|---|
| AI agent | GPT-5 |
| Framework | OpenAI Agents SDK with SageMath sandbox |
| Notes | I (the submitter) did not direct the agent during the run — only set up the sandbox. The 17 surviving conjectures are exactly what the agent emitted; I have not edited them. |
Auditor
| Name | E. Noether |
|---|---|
| Affiliation | Göttingen (independent) |
| Role | independent-researcher |
I checked the worked examples (12 of 17 conjectures have a worked example; 5 do not). The examples are correct and the agent’s computations match SageMath. I have NOT verified that any of the 17 conjectures are true; several look implausible and one reduces to a known fact.
Comments (0)
Sign in to comment.
No comments yet.