AI
The AlphaProof Nexus Erdős claims and automated theorem proving limits
DeepMind's AlphaProof Nexus claimed to solve nine Erdős problems, but analysis shows human engineers guided the AI using Lean code. While the system uses 80,000 TPU-days of compute, a simple LLM loop achieved the same results as the complex Nexus architecture.