🔬연구수학자들이 수년 걸릴 일, AI는 11일 만에 끝냈다…클로드, ‘페르마의 마지막 정리’ 완전 검증앤트로픽의 AI 모델 클로드가 수학 난제인 '페르마의 마지막 정리'의 형식화 작업을 11일 만에 자율적으로 수행했다.앤트로픽클로드수학증명AI타임스KR1분 · 14일 전
📦제품미스트랄, 수학 증명·코드 검증 특화 ‘린스트랄 1.5’ 전격 공개…“퍼트넘벤치서 역대 최고 성적”미스트랄 AI가 수학 증명 및 코드 검증에 특화된 오픈소스 AI 모델 '린스트랄 1.5'를 출시했습니다.미스트랄 AI린스트랄 1.5수학 증명AI타임스1분 · 3개월 전