29.
"Our most capable agent autonomously resolved 9 of 353 open Erdős problems at the per-problem cost of a few hundr…
"Our most capable agent autonomously resolved 9 of 353 open Erdős problems at the per-problem cost of a few hundred dollars, proved 44/492 OEIS conjectures, and is being deployed in combinatorics, optimization, graph theory, algebraic geome