Google DeepMind's AlphaProof Nexus solves decades-old math problemsthe-decoder.com2 pointsgmaysa month ago