# OpenAI Revenue and Math Proof Standards Under Scrutiny

> OpenAI's math proof standards and revenue figures face scrutiny as reports suggest $20B under earlier estimates.
- Title: OpenAI Revenue and Math Proof Standards Under Scrutiny
- Summary: OpenAI's math proof standards and revenue figures face scrutiny as reports suggest $20B under earlier estimates. OpenAI's annualized revenue is reportedly…
- Keywords: openai, math proof standards, revenue figures, mathematicians, financial reporting, advisory group, technology, Revenue, Math, Proof, Standards, Under
- Source: AI Insider — https://theaiinsider.tech/2026/10/09/openai-faces-scrutiny-over-math-proof-standards-and-revenue-figures-reportedly-20b-below-earlier-estimates
- Author: James Dargan
- Published: 2026-10-09T16:07:06+00:00
- Read time: 1 min
- Topics: openai, math proof standards, revenue figures, ai, mathematicians, financial reporting, advisory group, technology
## OpenAI faces scrutiny
OpenAI is facing questions on two fronts this week as leading mathematicians challenge how it released hundreds of claimed solutions to difficult math problems.
## 719 math manuscripts released
The lab released 719 manuscripts presenting solutions to some of the hardest open problems in mathematics, saying it had consulted an advisory group of elite mathematicians to avoid controversy.
## Advisory group guidelines
The Advisory Group on Mathematics and Artificial Intelligence (AGMAI) issued guidelines for frontier labs at the end of September, stating it was up to the mathematical community to judge how well its recommendations had been…
## OpenAI fails AGMAI requests
OpenAI met some principles but failed to stop testing advanced problems on proprietary models, provide chain of thought for 10 of 719 manuscripts, formalize 42% of proofs, and share machine-readable metadata.
## Mathematicians express concerns
Mathematician Terence Tao wrote that ai prompters lose interest once a target is solved and cannot explain outputs well enough for researchers.
## Cambridge study finds discrepancies
A paper from university of cambridge and king's college london documented at least two discrepancies between natural language proofs and lean code behind openai's solutions to navier-stokes problems.
## Harvard professor warns
Harvard mathematics professor melanie wood told techcrunch that human understanding of these results does not exist at the point of release, and real work begins afterwards.
## Revenue figures reported lower
The financial times reported openai told investors its annualized revenue is nearing $50 billion, well below the roughly $70 billion figure reported just over a week ago.
## Key takeaway

OpenAI's annualized revenue is reportedly $20 billion below previous estimates, and its math proof standards face criticism from mathematicians.