4 ms·
How much education would a human need to perform at this level on the benchmarks?
by whatshisface 1y ago
How much education would a human need to perform at this level on the benchmarks?
- pama 1y agoLearning to formalize math to then prove Putnam competition problems rigorously in Lean would require you to have mid-to-advanced college level math and CS background. (Learning to do a small fraction of the Putnam competition without using Lean probably only needs strong highschool math and early undergrad math, with training for competitions a strong bonus.)