Deepmind의 AlphaProof Nexus, 몇백 달러 비용으로 Erdős 문제 9개 해결

구글 딥마인드는 젬ini 3.1 프로와 린 공식 검증기를 결합하여 수학적 추측을 자율적으로 해결하는 에이전트 프레임워크인 알파프루프 넥서스(AlphaProof Nexus)를 도입했다. 이 시스템은 9개의 에르되시 문제와 44개의 OEIS 추측을 성공적으로 해결했으며, 문제당 단 몇 백 달러의 추론 비용으로 결과를 달성했다. 아키텍처는 LLM이 증명 단계를 제안하고 린 컴파일러가 이를 확인하는 루프에 의존하여 모델을 기호 논리에 기반하도록 하여 추론 오류를 피한다. 연구자들을 놀라게 한 것은 컴파일러 피드백만을 사용하는 가장 단순한 에이전트 구성이 가장 어려운 작업에 충분하다는 것을 입증하여, 특수 시스템보다 일반 LLM 기반 접근 방식으로의 전환을 시사한다.