AlphaProof Nexus solves 9 Erdős problems and proves 44 sequence conjectures, marking a leap in automated mathematical reasoning.
