Get the latest tech news
Google DeepMind's latest AI agent, Aletheia, independently solved six world-class mathematical problems in the FirstProof Challenge, achieving a qualitative leap from competition level to PhD research level. The "manual era" of human mathematical research may be approaching its end
Google DeepMind's new AI agent, Aletheia, independently cracked six world - class math problems in the FirstProof Challenge, marking a qualitative shift from competition to PhD research level. The "manual era" of human math research may be nearing its end.
None
Or read this on r/technology