DeepMind의 AlphaProof Nexus는 Gemini 3.1 Pro와 Lean 기반 검증을 반복하는 방식으로 미해결 수학 문제를 다뤘다고 보도됐다. 353개 에르되시 문제 가운데 9개와 OEIS의 추측 44개를 해결했으며 일부 결과는 Science 동료평가를 거쳤다. 모든 성공이 별도 AlphaProof 모듈에 의존한 것은 아니다. 논문 원문 접근은 차단돼 보도 범위에서 요약했으며 문제별 기여와 검증 조건을 구분해 읽어야 한다.