Physix Frontier · News Briefing Card (IT Home · Oct 9, 2026)

Tao Questions OpenAI's Math Proof Release

KEY FACTS

OpenAI released 719 AI-generated math solutions in October, covering 372 result families.
After publication, 3 manuscripts were retracted due to a notation error, reducing the catalog from 722 to 719.
AGMAI recommends disclosing model names, prompts, reasoning chains, and compute costs, but OpenAI still uses proprietary models.
Of the 719 manuscripts, only 10 include model reasoning chains, and about 42% have not been formalized.
On October 7, Terence Tao posted against making rapid conquest of famous problems a primary goal.

KEY DATA

719Public manuscripts

372Result families

10Manuscripts with reasoning chains

42%Share of unformalized proofs

PHYSIX OBSERVATION

OpenAI uses proprietary models to mass-produce proofs while disclosing almost no reasoning chains, effectively turning mathematical discovery into an unverifiable black box. What Tao fears is not AI doing mathematics, but solving speed being mistaken for depth of understanding, with open problems harvested in one pass and unable to recover. If the industry keeps releasing this way, the math community will face a verification crisis first, not an intelligence leap.

Source: IT Home report