모두 10년 넘게 미해결이던 난제들: OpenAI, 수학·이론 컴퓨터과학 분야 10가지 진전 공개… 토큰 비용 약 2,000달러 - IT之家
All unresolved for more than 10 years: OpenAI announces ten advances in mathematics and theoretical computer science, with token cost of about $2,000 - IT之家
TL;DR AI
1분핵심 요약
OpenAI가 수학과 이론 컴퓨터과학의 오랜 미해결 문제 10개에서 AI가 생성한 새로운 진전을 발표했다.
이번 결과는 내부 차세대 모델 ‘Astra’가 만들었고, 연구진이 Lean으로 정식화하고 검증했다.
대상은 구 포장, 부호화 이론, 비소피크 군, Connes의 강직성 추측, Ramsey 수 등 난제들이다.
이 발표는 AI가 정리 증명과 최전선 기초연구에 실제로 기여할 수 있음을 시사한다.
또한 논문 저자 표기, 공헌 인정, 연구 생산성의 기준에도 영향을 줄 수 있다.