수학AI
DeepSeekMath-V2, IMO 2025 금메달 달성한 수학 AI를 오픈소스로 공개
DeepSeekMath-V2가 스스로 증명을 검증하는 혁신적 메커니즘으로 Putnam에서 118/120점을 기록. 정답보다 증명 과정의 엄밀성을 중시하는 새로운 접근법을 소개합니다.
Written by
필즈상 수상자가 AI로 수학 문제 67개 풀어본 결과: 300년 난제도 개선
필즈상 수상자 테렌스 타오가 AI 도구 AlphaEvolve로 67개 수학 문제를 테스트한 결과. 75% 재발견, 20% 개선, 300년 묵은 키싱 넘버 문제도 돌파했습니다.
Written by
