GPT-5.6가 볼록 최적화의 30년 난제 해결
원제: GPT-5.6 used a prompt to close a 30-year gap in convex optimization
왜 중요한가
AI가 30년 난제를 형식 검증까지 완료하며 해결함으로써, 수학 연구에서 AI의 역할이 보조 도구에서 주체적 발견자로 전환되는 이정표가 될 수 있다.
2026년 7월 15일、Reddit의 r/math에서 GPT-5.6이 OpenAI의 CDC 증명 발표와 유사한 프롬프트를 사용해 볼록 최적화(convex optimization) 분야의 30년간 미해결 문제를 해결했다는 보고가 공개됐다. 해당 증명은 정리 증명 보조 도구 Lean으로 검증되었으며, 726포인트(찬성률 95%)를 기록했다.
Reddit의 수학 커뮤니티 r/math에 2026년 7월 15일 게재된 게시물에 따르면, GPT-5.6이 볼록 최적화 분야에서 약 30년간 열려 있던 수학적 공백을 메우는 증명을 생성했다. 이 성과는 OpenAI가 이전에 발표한 CDC(Combinatorial Differential Calculus) 증명과 유사한 프롬프트 기법을 활용해 도출된 것으로 알려졌다.
해당 증명의 신뢰성을 높이는 핵심 요소는 형식 검증 시스템 Lean을 통한 독립적 검증이다. Lean은 수학적 명제와 증명을 기계적으로 확인할 수 있는 정리 증명 보조 도구로, AI가 생성한 증명의 정확성을 수학적으로 보증하는 데 활용됐다.
게시물은 수학 커뮤니티에서 높은 관심을 받아 726포인트, 찬성률 95%를 기록했으며, 4건의 별도 토론 스레드도 생성됐다. 볼록 최적화는 머신러닝, 운용과학, 경제학 등 다양한 분야의 핵심 이론으로, 이 분야의 장기 미해결 문제 해결은 폭넓은 파급 효과를 가질 수 있다.