A new benchmark pitting AI against previously unseen maths problems shows systems still fall short of top human expertise.
The result is correct but challenges core norms of mathematics: checking proofs, crediting ideas and keeping research open to ...