1.
AI-driven formal proof search for open Erdős problems
A Google DeepMind paper describes autonomous Lean-based proof search resolving open Erdős problems at per-problem costs of only a few hundred dollars
@sioum on Backlist
1 appearance on the backlist front page in the last 30 days.