An AI agent solved nine open Erdős problems on its own and proved 44 integer sequence conjectures. Every proof is machine-checkable. The open question is how many of these results are genuinely new.
alextech.ai
An AI agent solves nine open Erdős problems on its own
An AI agent solved nine open Erdős problems on its own and proved 44 integer sequence conjectures. Every proof is machine-checkable. The open question is how many of these results are genuinely new.