The Frontier
Sarnak's AlphaZero test — LLMs can calculate, not create math
The people best placed to judge whether AI can do mathematics keep landing on the same verdict — and one of them just proposed a clean test for when the machines would finally prove him wrong. Princeton number theorist Peter Sarnak has proposed an "AlphaZero Test" for AI mathematics