이슈 오픈AI, AI로 장기 미해결 수학 난제 10건 성과 발표

https://openai.com/index/ten-advances-in-mathematics/

오픈AI가 차세대 모델 ‘Astra’ 내부 버전​을 활용해 10년 이상 진전이 없던 수학·이론컴퓨터과학 문제 10건에서 새로운 결과를 냈다고 발표함.

구면 채우기, 코딩 이론, 군론, 양자복잡도, 양자내성암호 관련 문제 등이 포함됐으며, 일부 오랜 추측은 반례를 찾아 해결했다고 함.

풀이 탐색 비용은 API 기준 약 2,000달러, 이후 인간이 논문으로 정리하고 AI가 Lean으로 증명 검증서까지 만들었다고 밝힘. 다만 최종 평가는 수학계의 검토를 거쳐야 함.

--------------------------‐------------------------------
ㄷㄷ

스크랩 원문 : 도탁스 (DOTAX)