AI Just Took the World’s Hardest Maths Test And Humans Won
A new benchmark called First Proof put four leading AI systems against genuine research-level maths problems and not one matched the standard of a top human mathematician. Here’s what the landmark test revealed.
