Google의 Gemini 에이전트가 5가지 미해결 수학 문제에 대한 새로운 증거를 찾았습니다.

본문

Google DeepMind의 Gemini 에이전트는 56년 동안 해결되지 않은 Erdös 문제를 포함한 공개 수학 문제에 대한 증거를 저렴한 컴퓨팅 비용으로 찾았습니다. 엄격한 증명 검사기가 지원되는 DeepMind의 다중 에이전트 시스템은 수십 년 동안 인간 수학자들이 거부했던 문제를 조금씩 해결하고 있습니다. Google의 Gemini 기반 수학 에이전트는 엄격한 자동화 검사기에 의해 작업이 평가되는 AI 에이전트 팀을 사용하여 5가지 수학 문제에 대한 증거를 찾았습니다. Gemini 3.1 Pro를 기반으로 다중 회전 추론 루프에서 여러 개의 독립적인 증명 하위 에이전트를 실행합니다. AlphaProof Nexus는 이전에 해결되지 않은 Erdös 문제 353개 중 9개를 해결했습니다. 그 9명 중 2명은 56년 동안 수학자들을 당황하게 만들었습니다.

Gemini Deep Think를 기반으로 구축된 Aletheia라는 별도 시스템은 반자율 연구 보조자로 작동합니다. Aletheia는 2025년 12월 배포 이후 약 700개의 공개 Erdös 문제를 평가했습니다. 그 중 13개에 대한 솔루션을 찾아내거나 만들어 전문 리뷰어들로부터 호평을 받았습니다. Pushmeet Kohli와 다른 DeepMind 연구자들은 이러한 행위적 접근 방식이 순수한 수학을 넘어 확장될 수 있다고 강조했습니다. 연구에 따르면 현재 AI 시스템은 여전히 ​​참신성 평가를 위해 인간의 감독을 필요로 하며, 이는 사람들이 결과가 정말로 새로운지 여부를 확인해야 함을 의미합니다. 미해결 수학 문제에 대한 AI 기반의 혁신은 조합론 및 양자 광학과 같은 분야에 혁명을 일으켜 연구에서 AI의 역할을 향상시킬 수 있습니다.

Google의 Gemini 에이전트가 5가지 미해결 수학 문제에 대한 새로운 증거를 찾은 게시물이 Crypto Briefing에 처음 게재되었습니다.