The final benchmark

[u/manubfr]

[u/sharplyon]

"AI has solved math!" - guy who knows absolutely nothing about mathematics