Google DeepMind’s AlphaProof Nexus agent autonomously solved nine open problems associated with Hungarian mathematician Paul Erdős — two of them open for 56 years. The announcement, days after OpenAI claimed to have disproved an Erdős conjecture from 1946, signals a shift in how AI labs are testing mathematical reasoning.
Journalism begins where hype ends
,,
We can only see a short distance ahead, but we can see plenty there that needs to be done.”
"
—Alan Turing