AI is accelerating mathematical research in increasingly deep problems We’re partnering with the @AIMathematics to develop open, human-centric benchmarks for AI in mathematical research The benchmark is built around 50+ hard problems selected by mathematicians to measure how AI can accelerate discovery, from generating new ideas to tackling some of the field’s most challenging questions

Jul 21, 2026 · 3:58 AM UTC

13
10
1
103
25,467
RelevantRecentLikes
How much of it survives the proof step?
1
473
自己还没看懂这几道题
293
You have a wonderful tool. However, there is one oddity. I can ask Aristotle to write a script for Sage/Singular/GP, but I have to copy it and run it on CoCalc or another online portal. Operations like polynomial manipulation could easily be performed faster than python.
31
Is this @AristotlesSight account affiliated with you guys? @HarmonicMath
1
65
Is this yours? 0x1b7d3cf9a6ec5efa7e77370a5c6c77583430d11b
64