An OpenAI Reasoning Model Autonomously Disproves a Longstanding Mathematical Conjecture

A developer reports that an OpenAI reasoning model independently disproved a mathematical conjecture, adding to a growing pattern of AI systems making genuine contributions to formal mathematics.

AI's role in mathematics moved from assistive to generative. As @0xRaghav reported, an OpenAI reasoning model "autonomously disproved a longstanding mathematical conjecture." In a separate but related development, a researcher named John Ennis reportedly "proved a theorem in 93 hours by adapting" an AI skill-based framework, suggesting that the human-AI collaboration loop in formal mathematics is tightening rapidly.

Lorem ipsum dolor sit amet, consectetur adipiscing elit. Sed do eiusmod tempor incididunt ut labore et dolore magna aliqua. Ut enim ad minim veniam, quis nostrud exercitation ullamco laboris nisi ut aliquip ex ea commodo consequat. Duis aute irure dolor in reprehenderit in voluptate velit esse cillum dolore eu fugiat nulla pariatur. Excepteur sint occaecat cupidatat non proident, sunt in culpa qui officia deserunt mollit anim id est laborum. Vestibulum ante ipsum primis in faucibus orci luctus et ultrices posuere cubilia curae.

Pellentesque habitant morbi tristique senectus et netus et malesuada fames ac turpis egestas. Proin pharetra nonummy pede. Mauris et orci. Aenean nec lorem. In porttitor. Donec laoreet nonummy augue. Suspendisse dui purus, scelerisque at, vulputate vitae, pretium mattis, nunc. Mauris eget neque at sem venenatis eleifend. Ut nonummy. Fusce aliquet pede non pede. Suspendisse dapibus lorem pellentesque magna integer malesuada.

Unlock the full briefing

Get every story in today's briefing, the full archive, and the daily AI intelligence brief.

All stories today

Full archive

Daily brief