bluesky — Cambridge Skeptics — 15 Sep 2026
OpenAI spent an estimated $15m setting 10,000 AI agents on a Millennium Prize Problem, then claimed the resulting proof…
#ai-mathematics #research-ethics #theorem-proving
OpenAI spent an estimated $15m setting 10,000 AI agents on a Millennium Prize Problem, then claimed the resulting proof as its latest triumph. The model’s substantial debt to existing human work received rather less prominence. www.theguardian.com/science/2026...