Among these theoretical mathematicians, who is most mathematically expressive? (representations for AI)
3
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
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)
77% chance
Will AIs be widely recognized as having developed a new, innovative, foundational mathematical theory before 2035?
33% chance
Will AIs be widely recognized as having developed a new, innovative, foundational mathematical theory before 2030?
50% 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?
73% chance
Will an AI solve any important mathematical conjecture before January 1st, 2030?
98% chance
By EOY 2034, what unexpected views of math will be changed by (superhuman) AI?
Will AI *prove* one of 128 major mathematical conjectures before month X?
Will a Fields Medalist describe keeping up with new AI math as a "full-time job" before 2029?
39% chance
Will the majority of mathematicians rely on formal computer proof assistants before the end of 2040?
60% chance