Person
Theoretical computer scientist known for quantum computing complexity research, who also worked on AI safety and output watermarking during a stint at OpenAI.
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.
Reality
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
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
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
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 publishersReality