AnalysisAI ModelsJuly 24, 2026
GPT-5.5 Pro autonomously disproves sum-product conjecture
Paper details first autonomous disproof of the Erdős–Szemerédi sum-product conjecture over ℝ by GPT-5.5 Pro. The achievement follows OpenAI's earlier disproof of the Erdős unit distance conjecture, marking a milestone for AI in mathematics.
1 source
More stories today
- Israel, UK name AI ministers to compete with US, China
- AI solipsists and AI cynics
- Hacker Uses Hermes AI Agent for Unattended Post-Exploitation on Thai Finance Ministry
- Some Kids Will Never Think AI Is Cool
- OpenAI interviews Gamma CEO on building at AI's pace