It is kind of a huge deal.
OpenAI's Unreleased Model Astra Solves Ten Major Open Mathematics Problems
Math is hard.
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
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’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 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.
OpenAI spent millions to solve this famous math problem — mathematicians are furious
Mathematics relies on a community of experts openly sharing ideas.
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
Advisory Group on Mathematics and Artificial Intelligence
OpenAI is working with an independent Advisory Group on Mathematics and Artificial Intelligence to guide the review and communication of emerging AI results.
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…
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: The Fix Is In
An update to More Magic Math from OpenAI The final mad dash to IPO is on for the big AI companies. SpaceX, OpenAI, and Anthropic have all made their intentions clear. And nothing could be more obvi…
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