Qiao Yu could see that Professor Tao Xuanzhi was very active in the mathematics world; last year, he even teamed up with over sixty mathematicians to come up with questions and launched a mathematics benchmark called FrontierMath to test AI's mathematical abilities.
Simply put, FrontierMath is an original question bank, containing hundreds of challenging math problems covering major branches of modern mathematics, such as Number Theory, Real Analysis, Algebraic Geometry, and Category Theory.
Then the most advanced AI attempts to solve these problems in the question bank...
Seeing this, Qiao Yu suddenly realized that Yu Wei suddenly wanting to work on AI indeed showed some foresight.
Peter Schultz is involved in AI mathematics research with Microsoft, transforming mathematical theorems into things AI can understand, while this Professor Tao Xuanzhi is working on AI mathematics test benchmark question banks.
