#수학-증명

전설적인 에르되시 문제들이 AI에 굴복하는 이유

OpenAI의 내부 AI 모델이 1946년 수학자 폴 에르되시가 제안했던 '단위 거리' 문제에 대한 반례를 찾아내고, 추가적인 수학적 난제들을 해결하며 AI의 수학적 추론 능력이 획기적인 전환점을 맞이했음을 입증했습니다. 이러한 AI의 성과는 수학적 연구 방식을 근본적으로 변화시키고 있으며, 인공지능이 단순한 도구를 넘어 수학의 난제를 푸는 핵심 주체로 떠오르고 있음을 시사합니다.

미스트랄 '린스트랄 1.5' 공개, 수학 벤치마크 완벽 통과 및 코드 버그 검출

Mistral AI가 수학적 증명과 소프트웨어 검증을 위해 설계된 오픈소스 모델 'Leanstral 1.5'를 공개했습니다. 이 모델은 공식 수학 벤치마크인 miniF2F에서 100%의 완벽한 정확도를 기록했으며, 실제 오픈소스 코드를 분석해 숨겨진 5개의 보안 버그까지 발견하며 코드 검증 능력을 입증했습니다.