AlphaProof Nexus는 에르되시 공개 문제 9개를 기계 검증 가능한 형태로 증명했고, 문제당 비용이 수백 달러 수준이었다고 해요

구글 딥마인드 AI가 미해결 수학 난제 9개를 스스로 풀었다고 공개했어요.

AlphaProof Nexus는 에르되시 공개 문제 9개를 기계 검증 가능한 형태로 증명했고, 문제당 비용이 수백 달러 수준이었다고 해요. 앞서 OpenAI가 80년 묵은 문제 1개를 풀었다는 소식 직후라 비교가 더 커졌거든요.

핵심은 성능만이 아니라 단가예요. 고급 수학 연구를 자동화하는 비용이 급격히 낮아지면, AI가 과학 발견 속도 자체를 바꾸는 국면으로 넘어갈 수 있어요.