OpenAI Releases 722 Math Papers from Internal Model; Fan Builds Search Engine for 372 Results
tomaarsen · x · 2026-10-07
OpenAI officially released new mathematical results produced by an internal frontier model—722 papers, 372 results—consulting the independent Advisory Group on Mathematics and AI at the Institute for Advanced Study on release decisions. @mishig25 quickly built a search engine over the corpus supporting natural-language queries, name/jargon search, and filters for Lean-verified proofs, negative results, and reasoning traces.
Related event: OpenAI Open-Sources 722 AI-Generated Math Results(135 posts)→
More from Research
- $1.8B CZ Biohub–DeepMind–Meta effort aims to build AI models of living cells — kimmonismus · 2026-10-07
- Zuckerberg's Biohub joins $1.8B effort with DeepMind, Meta and US to build AI virtual cell — kimmonismus · 2026-10-07
- AI2 releases Stage 1 checkpoints with byte-level components already trained — allen_ai · 2026-10-07
- Bolmo recipe: short additional training retrofits models to bytes — allen_ai · 2026-10-07
- Why byte-level models matter: subword tokenization breaks code and math — allen_ai · 2026-10-07
- AI2's byteification method lands in Nature, extends Bolmo to Qwen and Llama — allen_ai · 2026-10-07