OpenAI’s Astra Solved Decades-Old Math Problems For $2,000:
OpenAI’s Astra generates machine‑checkable proofs for ten decades‑old math problems ...
forbes.com/sites/jonmarkman/2026/08/03/openais-astra-solved-10-decades-old-math-problems-for-just-2000/
Story Details
| Last Updated | |
| Total Articles | 1 |
Main Topics
artificial intelligence company, owner and operator of ChatGPT, ChatGPT Enterprise and OpenAI’s API tools
Similar to This
Previous
WIRED Oct 29
An AI Breakthrough Has Made Decades of Computer Science Research ‘Irrelevant’: Anthropic and OpenAI say they’ve disproved a key tenet of computer science ...
wired.com/story/ai-made-decades-of-computer-science-research-irrelevant/
Dueling proofs from OpenAI and Anthropic astound scientists: The results resolve major problems in math, physics and computer science. But like other recent ...
scientificamerican.com/article/dueling-proofs-from-openai-and-anthropic-astound-scientists/
OpenAI Says Its AI Solved Three Major Scientific Problems: OpenAI is bringing in outside experts to scrutinize findings in mathematics, computer science and ...
benzinga.com/markets/private-markets/26/10/62634162/openai-says-its-ai-solved-three-major-scientific-problems-including-one-that-could-rewrite-computer-science
The Observer Oct 24
Terence Tao: AI turns beautiful mathematics into ‘toxic waste’: The top mathematician says Silicon Valley’s rush to solve long-investigated conundrums excludes ...
observer.co.uk/news/science-technology/article/terence-tao-ai-turns-beautiful-mathematics-into-toxic-waste
These Basic Math Problems Once Stumped AI. Can You Solve Them?: You were smarter than AI at math only a few years ago. Yes, even you.
wsj.com/tech/ai/ai-math-quiz-openai-anthropic-e776b8a9
Paid articlePaywall The most exciting claims from OpenAI’s heap of new proofs: Scientists have called out several math and computer science results as the most significant in the ...
scientificamerican.com/article/the-most-exciting-claims-from-openais-heap-of-new-proofs/
OpenAI’s math solutions aren’t meeting the field’s standards yet: OpenAI's flood of proofs deviated from the guidelines set by a group of mathematical ...
techcrunch.com/2026/10/08/openais-math-solutions-arent-meeting-the-fields-standards-yet/
OpenAI's AI solved one famous math problem. Then it cracked hundreds more: The release, covering number theory, algebraic geometry, and more, came a month after ...
qz.com/openai-ai-math-papers-millennium-prize-riemann-hypothesis-100726
Mathematicians Can’t Make Sense of How OpenAI’s Agents Solved One of the Toughest Math Problems Because the AI’s “Proof” Is Borderline Incomprehensible
futurism.com/artificial-intelligence/mathematicians-openai-agents-proof-borderline-incomprehensible
Mathematicians Can’t Make Sense of How OpenAI’s Agents Solved One of the Toughest Math Problems Because the AI’s “Proof” Is Borderline Incomprehensible
futurism.com/artificial-intelligence/mathematicians-openai-agents-proof-borderline-incomprehensible
Math Can’t Go On Like This: AI just solved one of the world’s hardest math problems.
theatlantic.com/technology/2026/09/math-crisis-openai-millennium-prize/688631/
OpenAI says 10,000 AI agents cracked one of math's hardest problems in 88 hours
phys.org/news/2026-09-openai-ai-agents-math-hardest.html
OpenAI Says Its AI Just Solved a 90-Year-Old Math Problem — One Mathematician Calls It Theft
entrepreneur.com/business-news/openai-says-its-ai-just-solved-a-90-year-old-math-problem
OpenAI Says It Has Cracked One of Math’s ‘Millennium Problems’: The company’s announcement is the most dramatic sign yet that artificial intelligence is ...
nytimes.com/2026/09/08/science/openai-proof-millennium-problem.html
GPT-6 Astra Is Here: What You Need to Know About ChatGPT's New Model: Subscribers will soon gain access to Astra, but there are significant limitations around ...
pcmag.com/news/gpt-6-astra-is-here-what-you-need-to-know-about-chatgpts-new-model
on.mash.to Aug 06
OpenAI Astra: The mysterious new quantum math-solving model: OpenAI confirmed the existence of Astra, a smarter, unreleased model that's already achieving big ...
mashable.com/tech/openai-astra-model-details-release-date
Key FactsOpenAI Launches Astra as GPT-6
Aug 6, 2026 · Reading time: ~30 sec.
Summary created with AI assistance · Source: mashable.com
Summary created with AI assistance · Source: mashable.com
- On August 1, OpenAI confirmed Astra had solved 10 major open mathematics problems, some unresolved for decades.
- On August 7, OpenAI said Astra’s cyber capabilities required new security controls, while some internal development work would pause.
- On September 1, OpenAI confirmed Astra’s critical cyber-risk classification and announced initially restricted access for selected testing partners.
- On September 3, OpenAI confirmed Astra’s official launch as GPT-6 in an update.
New Scientist Aug 03
OpenAI announces solutions to 10 longstanding maths problems: Ten conundrums that stumped human mathematicians for years have been cracked by OpenAI's Astra ...
newscientist.com/article/2582793-openai-announces-solutions-to-10-longstanding-maths-problems/
OpenAI Smuggled the Announcement of Astra, Its Next AI Model, Into a Blog Post About Math
gizmodo.com/openai-smuggled-the-announcement-of-astra-its-next-ai-model-into-a-blog-post-about-math-2000793689
Next