When will OpenAI release its trove of math proofs?

Question

https://openai.com/index/advisory-group-on-mathematics-and-ai/

OpenAI stated that their internal model has resolved "more than 100 long-standing open problems" and they are considering how and when to release it.

This market will resolve to the first day when most of these proofs are public. Formally, I will resolve yes on the first day where >50 proofs are available online, posted officially by OpenAI, in UTC time.

Manifold Markets · Answer

Per Manifold Markets prediction market, Not before October 13, followed by October 7-8 and October 9-10 are most likely. See the market for live updates (5 traders, as of Oct 5, 2026).

People are also trading

Related questions