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
,,
The beautiful thing about AI and robotics is that you're never done."
— Manuela Veloso