AI and Math

59+ min ago   (1480+ words) OpenAI posted 372 families of AI math results, including a claimed Unique Games proof. About 42% have Lean checks, while mathematicians say the proofs are hard to read and want the model and prompts released. Dana Moshkovitz, a complexity theorist at the…...

51+ min ago   (247+ words) Mathematician Steven Miller accused OpenAI of reusing his 2016 sphere-packing argument without credit, while a separate arXiv audit led by Sienicki found no surviving errors across 18 chapter reviews of Astra's ten proofs. OpenAI said its Astra model cracked ten open math…...

1+ hour, 41+ min ago   (30+ words) Tristan Buckmaster, NYU Mathematics professor, joins 'Squawk Box' to discuss the Navier–Stokes equation, controversy around OpenAI findings, and more. NYU's Tristan Buckmaster on the controversy over OpenAI's math findings...

3+ hour, 22+ min ago   (418+ words) OpenAI’s latest work in mathematics is stirring a response that sounds a lot like the one software engineers gave when AI tools started writing real code: fascination, caution and a dawning sense that the field is changing faster than expected....

3+ hour, 51+ min ago   (868+ words) October 8, 2026 | 04:21 pm TEMPO.CO, Jakarta - OpenAI's latest publication of mathematical results has raised concerns among experts, who argue the artificial intelligence lab is failing to properly verify its work while keeping its AI models out of reach for most mathematicians....

1+ day, 10+ hour ago   (409+ words) On October 6, 2026, OpenAI released mathematical research manuscripts on GitHub. The collection contains 722 manuscripts, organized into 372 families of related results. They span 17 fields, ranging from number theory and geometry to computational theory, probability, quantum physics, and partial differential equations. Pi, problems…...

4+ hour, 24+ min ago   (170+ words) The floodgates of AI mathematics have opened. On 7 October, OpenAI released 722 mathematical papers using an AI model to examine an astonishing range of topics, from longstanding mathematical mysteries to small improvements in rarely-considered curiosities. OpenAI has dumped 722 maths papers – now…...

6+ hour, 29+ min ago   (480+ words) indiatoday.in is the leading Indian news website specialising in the fastest breaking news that ensures the most reliable news coverage in English. It provides readers with the full spectrum of news of India and the world along with every…...

2+ week, 6+ day ago   (62+ words) *A news release has been received from IBM Japan.[JSR and IBM Joint Research Results Accepted for Publication in Nature Computational Science]JSR Corporation (Representative Director, CEO, President: Tetsuro Horii, hereinafter "JSR") and IBM have entered into a Joint Research…...

13+ hour, 10+ min ago   (1790+ words) Updates on my research and expository papers, discussion of open problems, and other maths-related topics. By Terence Tao 7 October, 2026 in guest blog, opinion | Tags: AI, Association for Human Mathematics | by Terence Tao [This is a guest post by the Association…...