OpenAI forms mathematician advisory group as it races Anthropic past 100 AI-solved proofs
ShenRaphael · x · 2026-09-22
OpenAI announced an independent advisory group of mathematicians to guide how it assesses and communicates AI advances in mathematics, upholds academic standards, and builds research tools.
Context: the two labs are racing on formal proofs — OpenAI reportedly solved 105 while Anthropic hit 106, and with no clarity on who crossed 100 first, they agreed to run another round.
More from Companies & People
- Cloudflare Trains Its Own Clef and Clairic Models to Complete Its Agent Stack — michellechen · 2026-11-12
- Board drama may have been the fatal blow to OpenAI, argues commentator — teortaxesTex · 2026-11-12
- OpenAI's five biggest failures laid out: pretraining decline, alignment fears, enterprise lost to Claude — teortaxesTex · 2026-11-12
- Engineer Event Highlights Shift to Always-On Background AI Workloads — reneeshah123 · 2026-11-12
- Midjourney CEO David Holz: why not put a billion dollars into simulators instead of data collection — DavidSHolz · 2026-11-12
- Stripe exec invites internet businesses to onboard AI agents with identity, payments and fraud tools — jeff_weinstein · 2026-11-12