
Google DeepMind's AlphaProof Nexus solved nine long-standing mathematical problems entirely without human involvement — verified by a formal proof system, not mathematicians — for just a few hundred dollars of compute. That collapse in the cost of...
Loading summary