An OpenAI model has disproved a central conjecture in discrete geometry

Re:An OpenAI model has disproved a central conjecture in dis... by Quentak on Thursday May 21, 2026 @05:05AM (#48219781)

I'd like to know how many tokens in total went into solving this problem. Have they talked about this? It matters whether they got this result in 10 million tokens or 10 billion. Whether it's closer to 1 human working on this for 1 year or 1000 humans for 1 year. The news feels different when the probability of one AI run solving this is 1 in a thousand vs 1 a million. Approximately I'm asking about the amount of money it cost to solve it, which has to include the failed parallel runs.

[ Parent | on HN ]

Re:An OpenAI model has disproved a central conjecture in dis... by _diyar on Thursday May 21, 2026 @05:24AM (#48219937)

Any answer to this question must also consider the current cost/token and its downward trajectory as algo and hardware advances drive down costs.

[ Parent | on HN ]

Re:An OpenAI model has disproved a central conjecture in dis... by vessenes on Thursday May 21, 2026 @05:49AM (#48220103)

Good q. You can see that tantalizing graph where compute is displayed on a log axis and pass@1 goes up to like 50/60%. I’d love to know just how much compute is encoded on that axis.

I guess you can get some estimate from the excerpted CoT, but that CoT might be backed by quite a lot of parallel compute.

[ Parent | on HN ]

Re:An OpenAI model has disproved a central conjecture in dis... by ApolloRising on Thursday May 21, 2026 @05:14AM (#48219861)

I would like to know this as well, including how long was it working on this problem?

[ Parent | on HN ]