How many billions of output tokens will be used in the first AI proof/disproof of the Hodge Conjecture?
7
1ká¹€1427Dec 31
1,419 billions of tokens
esperado1H
6H
1D
1W
1M
ALL
18%
Below 130
23%
130 - 249
22%
250 - 499
11%
500 - 999
8%
1,000 - 2,499
8%
2,500 - 4,999
6%
5,000 - 9,999
2%
10,000+
OpenAI reported that they used 130 billion output tokens to find their solution to Navier-Stokes.
When the first AI-generated proof/disproof of the Hodge Conjecture is published (by any company or user), how many billions of output tokens will be reported being used?
If multiple numbers are reported for different steps I will use my best judgement as to which one(s) to take and/or how to aggregate them. If a largely-human-led proof is published first, then I will probably resolve N/A unless AI was used for critical assistance and token numbers for that are published.
Esta pergunta é gerenciada e resolvida pela Predita.
Get 
1,000 to start trading!
1,000Pessoas também estão operando
Perguntas relacionadas
In 2029, will any AI be able to take an arbitrary proof in the mathematical literature and translate it into a form suitable for symbolic verification? (Gary Marcus benchmark #5)
78% chance
OpenAI discovers the first proof of the Riemann Hypothesis before 2027?
15% chance
OpenAI’s Claimed Proof of the Cycle Double Cover Conjecture Affirmed before 2027?
96% chance
OpenAI's proof of zero free region of Riemann zeta for Re(s)>7/8 shown to be flawed before 2027?
8% chance
OpenAI disproof of Exponential Time Hypothesis is substantively correct?
93% chance
Will AI be better every human at proving Math theorems by the end of 2030?
87% chance
How will a blank-slate AI first prove the infinitude of primes?
Will an AI solve any important mathematical conjecture before January 1st, 2030?
99% chance
Will we have a formalized proof of the Modularity theorem by 2029-05-01?
97% chance
Would an AI be capable of constructing a non-brute, ultraweak proof of chess for this board state by 2030?
48% chance