OpenAI published 372 families of math results from an unreleased model on Oct. 6, more than mathematicians have yet been able to check or understand. Each claim now waits on human readers, who must work without the prompts OpenAI chose not to publish.
Perspective Coverage
3 publishers
- Builder
- Builder 32%
- Operator
- Operator 38%
- Investor
- Investor 30%
Reality
- Evidence50
- Adoption
- Not scored
- Hype gap+45
- Incentives65
- Confidence60
buildOne report1 publisher Mathematicians' group chaired by Terence Tao calls for an OpenAI boycott over 700 AI proof files
Mathematicians in a group chaired by Terence Tao are urging a boycott of OpenAI after it released more than 700 AI-generated proof files at once. At issue is whether a problem counts as solved before a human has checked and understood its proof, and who does that work.
Reality
- Evidence45
- Adoption
- Not scored
- Hype gap+30
- Incentives65
- Confidence40
OpenAI's claimed proof of a famous math problem starts a fight over authorship and standards
OpenAI said on September 8 that its models had solved one of mathematics' most famous problems, setting off a dispute over authorship and proof standards. The fight now turns on whether proofs that mathematicians can barely read can be checked and credited at all.
Reality
- Evidence35
- Adoption
- Not scored
- Hype gap
- Not scored
- Incentives55
- Confidence30
The quantum race stopped being about money. It now hands boards two dates: 2029 and 2030
Federal dollars are no longer the binding constraint in US quantum. Two dated milestones, one vendor and one state, are what a migration plan can actually be built against.
Reality
- Evidence42
- Adoption55
- Hype gap+30
- Incentives80
- Confidence38
Anthropic began marking Claude's output on 2 August. Within days an open-source stripper had more than 14,000 GitHub stars, which settles what the mark can and cannot prove.
Perspective Coverage
3 publishers
- Builder
- Builder 42%
- Operator
- Operator 35%
- Investor
- Investor 23%
Reality
- Evidence74
- Adoption68
- Hype gap+14
- Incentives72
- Confidence71