AlphaProof Nexus가 에르되시 오픈 문제 9건을 기계 검증 가능한 형태로 해결했고, 문제당 비용은 수백 달러 수준으로 알려졌어요

구글 딥마인드가 AI로 미해결 수학 문제 9개를 스스로 증명했어요.

AlphaProof Nexus가 에르되시 오픈 문제 9건을 기계 검증 가능한 형태로 해결했고, 문제당 비용은 수백 달러 수준으로 알려졌어요. 지난주 OpenAI가 80년 난제 1건을 풀었다는 소식 직후라 비교가 더 커졌거든요.

핵심은 성능뿐 아니라 단가예요. 최고 난도 수학 연구에서 AI가 사람 연구자의 시간을 크게 줄이고, 실험 가능한 연구 파이프라인을 만들기 시작했다는 신호로 볼 수 있어요.