Ten advances in mathematics and theoretical computer science
OpenAI shares new results on long-standing open problems in mathematics and theoretical computer science, including advances in geometry, cryptography, and complexity.
OpenAI unleashes hundreds more math results upon a field already in shock
A month after resolving one of the six biggest open problems in mathematics, the company says its new internal model has toppled heaps more—this time without the multimillion-dollar price tag
OpenAI’s math breakthrough played to AI’s strengths
I tried to explain OpenAI’s solution more clearly than OpenAI did.
OpenAI fought dirty on career-making math problem, says NYU mathematician | TechCrunch
There is a $1 million bounty for the first person providing a solution to the Navier-Stokes existence and smoothness problem.
OpenAI spent millions to solve this famous math problem — mathematicians are furious
Mathematics relies on a community of experts openly sharing ideas.
An OpenAI model has disproved a central conjecture in discrete geometry
An OpenAI model solved the 80-year-old unit distance problem, disproving a major conjecture in discrete geometry and marking a milestone in AI-driven mathematics.
OpenAI Just Claimed a Huge Math Discovery. Some Academics Are Crying Foul
A landmark announcement by the frontier AI lab has been overshadowed by accusations of impropriety.
No. 020: Astra solves ten open math problems, AI agents fail at open-ended research, peer review under strain - The Hallway Track
The Hallway Track No. 020 - How AI is affecting the practice of science
We're excited to be partnering with Anthropic and OpenAI to host the world's first hackathon devoted to research-level mathematics. 40 hours and $2M in compute to solve, understand, and present an… | Tony Yue YU | 20 comments
We're excited to be partnering with Anthropic and OpenAI to host the world's first hackathon devoted to research-level mathematics. 40 hours and $2M in compute to solve, understand, and present an open math problem. Applications are live at https://lnkd.in/d79qFQ4s We look forward to seeing you all on October 30 at Caltech! Sathvik Redrouthu Bufan Zhao Andrea Li Caiman Moreno-Earle Avni Garg | 20 comments on LinkedIn
What sort of maths are LLMs good at?
For the sake of anyone who might read this blog post in the distant future (a month from now, say), let me mention that I am writing it a few days after OpenAI announced that it had solved ten majo…
OpenAI’s latest math breakthroughs commit research misconduct, experts say
OpenAI released 10 AI-generated results over the weekend. Some mathematicians are unhappy with their approach
Can AI replace mathematicians? Vienna researchers weigh in
In September, OpenAI announced that some 10,000 AI agents partially 'solved' the Navier–Stokes problem, one of the most prestigious open challenges in mathematics. University of Vienna mathematicians Nathanaël Berestycki and Vera Fischer agree that the field will never be the same, but argue that maths is far more than producing proofs at speed.
OpenAI just blooped hundreds of proofs and counterexamples to open problems: github.com/openai/math/tree/main/preprin… Boggling.
math/preprints at main · openai/math
github.com