RT @MIRIBerkeley: An internal model at OpenAI has autonomously disproved a central conjecture in discrete geometry, a ma...
reactive:openai-erdos-math-breakthrough · Kevin Lotto (@kevinlotto) · 2026-05-23
(No summary yet for this item — extraction summaries are still backfilling.)