Among these theoretical mathematicians, who is most mathematically expressive? (representations for AI)
0
Never closes
Mathilde Papillon
Greg Yang
David Spivak
Jules Hedges
Taco Cohen
Michael Bronstein
Petar Veličković
Vanessa Kosoy
Gunnar Carlsson
Jonathan Bloom
Jesse M. Han
Elliot Glazer
Alok Singh
See results
This question is managed and resolved by Manifold.
Market context
Get 
1,000 to start trading!
1,000People are also trading
Related questions
Will AIs be widely recognized as having developed a new, innovative, foundational mathematical theory before 2030?
40% chance
Will AIs be widely recognized as having developed a new, innovative, foundational mathematical theory before 2035?
32% chance
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)
76% chance
Out of these AI researchers, who is the smartest?
Will AI be better every human at proving Math theorems by the end of 2030?
18% chance
Will AI models solve at least 2 FrontierMath Open Problems before 2027?
87% chance
Will AI solve one of 129 major mathematical conjectures before year X?
Will an AI solve any important mathematical conjecture before January 1st, 2030?
76% chance
Which Epoch AI FrontierMath open problem will be solved next?
By EOY 2034, what unexpected views of math will be changed by (superhuman) AI?