딥마인드 '알파프루프 넥서스' 공개…56년 묵은 에르되시 난제 풀었다
Google DeepMind 가 대형 언어 모델과 증명 보조 도구 Lean 을 결합한 수학 증명 AI 'AlphaProof Nexus' 논문을 발표했다. 56 년간 풀리지 않던 2 개 문제를 포함해 9 개의 에르되시 난제와 44 개의 미해결 추측을 기계 검증 방식으로 풀어냈다. 문제당 추론 비용은 수백 달러에 불과해 AI 가 실제 수학 연구 영역으로 진입했음을 보여준다.
Google DeepMind 가 대형 언어 모델과 증명 보조 도구 Lean 을 결합한 수학 증명 AI 'AlphaProof Nexus' 논문을 발표했다. 56 년간 풀리지 않던 2 개 문제를 포함해 9 개의 에르되시 난제와 44 개의 미해결 추측을 기계 검증 방식으로 풀어냈다. 문제당 추론 비용은 수백 달러에 불과해 AI 가 실제 수학 연구 영역으로 진입했음을 보여준다.