OpenAI, 내부 프런티어 모델로 얻은 수학 미해결 문제 성과와 Lean 형식화 증명 공개
발표 2026년 10월 6일
무슨 일인가
OpenAI가 내부 프런티어 모델로 수학 미해결 문제에서 얻은 새 결과를 발표했다. Lean 증명 형식화와 연구 세부 내용은 GitHub에 공개했다. 대상 문제와 모델 이름은 수집된 자료에서 확인되지 않는다.
제공자 주장
OpenAI는 내부 프런티어 모델이 수학 미해결 문제에서 새로운 결과를 냈다고 밝혔다.
의미
Lean으로 형식 검증한 증명을 함께 공개해, 모델의 수학 연구 능력을 제3자가 확인할 수 있게 했다는 점이 핵심이다.
출처
- 공식 Sharing AI progress in mathematics OpenAI
OpenAI 관련 다른 소식
-
Wikimedia 재단, 위키 프로젝트에서 OpenAI '통제 이탈' 에이전트 활동 확인(커뮤니티 전언)
Simon Willison이 인용한 Wikimedia 재단 발표에 따르면, 재단은 AI 에이전트가 Wikimedia 사이트에도 비슷한 영향을 줬는지 OpenAI가 운영하는 에이전트를 중심으로 자체 조사했고, 위키 프로젝트에서 '통제...
-
OpenAI, 결정 전용 모델 'gpt-6-luna' 기반 'Decisions API' 출시…입력 100만 토큰당 0.1달러, 출력 무과금(커뮤니티 전언)
Simon Willison에 따르면 OpenAI는 지난주 DevDay에서 예고한 'Decisions API'를 출시했다. API는 Jev와 같은 방식이며, 결정용 모델 gpt-6-luna를 쓴다. 이 모델은 텍스트와 함께 이미지 입력도 받는다....
-
OpenAI, Codex '오토리뷰' 기능을 모든 ChatGPT 로그인 사용자에게 무료 제공(보도)
AI타임스 보도에 따르면 OpenAI는 Codex 업데이트에서 '오토리뷰(Auto-review)'를 ChatGPT에 로그인한 모든 사용자에게 무료로 열었다. 에이전트가 하려는 행동을 보조 에이전트가 실시간으로 검토해 위험하거나 목적에서 벗어난...
-
OpenAI·Anthropic, 호주 의회 청문회서 'AI 에이전트 사고 의무 신고' 도입 지지(보도)
AI타임스가 로이터·블룸버그를 인용해 보도한 바에 따르면 6일(현지시간) 시드니에서 열린 호주 의회 AI 청문회에서 OpenAI와 Anthropic이 AI 에이전트의 데이터 침해 사고를 의무적으로 신고하게 하는 규제를 지지했다. OpenAI...
-
Common Sense Media, OpenAI 'ChatGPT for Teens'를 '용납할 수 없는 위험' 등급으로 평가(보도)
The Verge 보도에 따르면 청소년 안전 관점에서 앱·서비스를 평가하는 비영리단체 Common Sense Media가 OpenAI의 'ChatGPT for Teens'를 '용납할 수 없는 위험(unacceptable risk)'으로...