GPT-5.6, 30년 묵은 볼록 최적화 난제 증명했다는 주장
Pro가 148분간 이어진 단일 세션에서 볼록 최적화(convex optimization) 이론의 한 복잡도 격차를 닫는 증명을 만들어냈다. 이 격차는 1996년부터 열려 있던 문제였다. 이때 쓰인 프롬프트 방식은 앞서 같은 모델이 사이클 이중 피복 추측(Cycle Double Cover Conjecture, CDC)을 증명했을 때 썼던 방법론을 그대로 응용한 것이다.
도출된 증명은 정리 증명 보조 도구인 Lean으로 형식 검증까지 마쳤다. 글쓴이는 이 프리프린트의 저자 본인이며, 응용수학 박사학위를 가진 UC 버클리 산업공학·경영과학(IEOR) 강의교수다. 다만 이 결과는 아직 동료 심사()를 거치지 않았다.
원래 제목엔 'Ultra'라고 썼지만, 실제 사용한 것은 인터페이스의 최상위 등급인 'Sol Pro'였다고 정정했다 — Codex 쪽의 별도 'Ultra' 등급과는 다르다.
핵심 포인트
- Pro가 148분 세션에서 1996년부터 열려있던 볼록 최적화의 복잡도 격차를 닫는 증명을 생성
- 증명은 정리 증명 보조 도구 Lean으로 형식 검증됨
- 이전에 같은 모델이 을 증명했던 프롬프트 방법론을 그대로 응용
- 저자는 프리프린트 저자 본인(UC 버클리 IEOR 강의교수, 응용수학 박사)이며 결과는 아직 동료 심사 전
- 제목의 'Ultra'는 오기이며 실제로는 의 최상위 등급 'Sol Pro'를 사용