AI-Generated Math Is Booming: 200+ Results Indexed, Jacobian Conjecture Counterexample Found
burny_tech · x · 2026-09-25
A survey of the explosion of AI-generated mathematics: a searchable index now tracks 200+ AI-assisted results, with legitimacy mixed.
- Landmark claims include a counterexample to the 87-year-old Jacobian Conjecture, multiple long-open problems claimed solved, Xena project progress, and OpenAI's list of ten advances in math and theoretical CS.
- The piece digs into its two biggest highlights: the Erdős Unit... (truncated)
- Core observation: human mathematicians are being out-counterexampled, and the community urgently needs ways to verify which AI claims are real.
More from Research
- NYU professor: flood of half-baked reactive ML papers may finally make the field prize quality and depth — andrewgwils · 2026-09-27
- AIES 2026 paper: Agent developers prioritize product risks over job displacement and privacy — scyrusk · 2026-09-27
- Researchers Warn: Opaque Multi-Agent RL at Labs Creates an Unstudiable Gap — dhadfieldmenell · 2026-09-27
- Anthropic's AI agents scanned 1.9 billion proteins and found three candidate new enzymes — rvp · 2026-09-27
- Claude Code and Codex Beat Human Speedrun Records, But No Model Invented a New Optimizer — AI Engineer · 2026-09-27
- 421M fine-tuned model Gyra v0.2 catches destructive coding-agent commands, ships as Claude Code hook — CelebrationAble6568 · 2026-09-27