OpenAI « Astra »가 수학 및 CS 분야에서 해결되지 않은 10개 문제를 해결했다는 주장 - 증거를 기다려야 할 듯

Noam Brown이 게시함, HN에서 논의됨: 내부 모델이 주요한 열 가지 문제를 해결했다고 함. 아직 출판된 건 없음. 주목은 하지만 결론은 내리지 않음.

간단히 말해.

OpenAI 연구원 Noam Brown (@polynoamial)은 Astra라는 내부 모델이 수학 및 컴퓨터 과학의 주요한 열린 문제 10개를 해결했다고 발표했습니다. 그러나 증거는 아직 공개되지 않았습니다.

사실

해커 뉴스(Hacker News, 항목 49143688)에서 2026년 8월 2일 공유된 이 게시글은 열 개의 문제 목록을 구체적으로 언급하지 않습니다. 문제 6번은 연구원 Henry Yuen(양자 복잡도 이론)의 연구를 바탕으로 만들어진 것으로 보입니다. 현재로서는 공개적으로 접근 가능한 증거가 없습니다.

우리의 해석

이 발표는 일련의 발표 중 하나입니다. 이전 발표(#1342)도 마찬가지였습니다: 30년간 열린 볼록 최적화 문제를 해결했다는 OpenAI의 결과가 동료 검토 없이 발표되었습니다. 오늘의 HN 토론에서도 동일한 비판이 제기됩니다. 수학을 직접 검증하기 위해 증거의 공개가 필요하다는 점, 그리고 표준 과학 관행(arXiv 등록, 검토, 재현)과의 대조가 지적됩니다. 과장도, 비관주의도 아닙니다. 우리는 발표를 주목하고, 증거가 나올 때까지 판단을 유보합니다.

이 주제는 중요합니다. 만약 검증된다면, 이는 고급 LLM이 수학적 추론에서 실제로 수행하는 바를 재정의할 것입니다. 단순히 미분 체인을 모방하는 것이 아니라, 검증 가능한 새로운 증명을 생성하는 것입니다. 바로 이 지점에서 연구와 과장의 경계가 나뉩니다.

주시할 사항

증거의 실제 공개(arXiv, OpenAI 블로그); 열 개의 문제 명명; Henry Yuen 및 관련 수학자들의 반응; 제3자에 의한 재현.