Google DeepMind's AlphaProof Nexus solves decades-old math problems for a few hundred dollars
SMRTR summary
AlphaProof Nexus solved nine decade-old math problems by pairing AI-generated proof steps with a Lean compiler for real-time error feedback—costing just hundreds of dollars per problem, despite a low overall success rate.
SMRTR provides this summary for quick context. The original article belongs to Reddit.
Read the original article