EventAI ModelsJuly 23, 2026
AI solves 87-year-old Jacobian conjecture, cracks multiple Erdős problems
Claude Fable 5 disproved the 87-year-old Jacobian conjecture, validated within hours. Separately, a researcher used GPT-5.6 Sol Ultra to produce proofs for six unsolved Erdős problems in five days, publishing the full workflow.
Featured · Levent Alpöge, Dmitry Rybin
5 sources
LLMs break down in funny ways when told the Jacobian Conjecture counterargumentminimaxir.com
wtf is happening: A researcher says he used GPT-5.6 Sol Ultra in Codex to produce proposed...x.com
Mathematicians grapple with a ‘very rapid and very unsettling change’ as AI cracks yet another century-old problemfortune.com
More stories today
- Reflect: open-source Claude Code system that learns from corrections
- Fugu-Ultra now works with Claude Code
- AI tool locks ground line on drone videos for real estate
- Testing OpenClaw with 12 subagents for automated QA
- Codex's Sol shows improved intent understanding in QA