AlphaProof Nexus, 9개의 Erdős 문제 해결 및 44개의 수열 추측 증명

AlphaProof Nexus solves 9 Erdős problems and proves 44 sequence conjectures