3 ms·MillenniumPrizeProblemBench: Stress-testing AIs On The Hardest Math We Know3 points by optimalsolver 9mo ago