오픈AI는 AI가 수학, 컴퓨터과학, 이론물리학의 핵심 난제에 대해 새로운 증명을 생성했다고 밝혔다. 공개된 내용에는 국소 평활화 추측을 모든 공간 차원에서 증명했다는 수학 연구, 지수시간가설(ETH)이 틀렸다는 컴퓨터과학 연구, 양-밀스 이론과 양자색역학의 수학적 존재성을 다룬 물리학 연구가 포함됐다. 오픈AI는 자연어 증명 원고와 정리 증명 보조 시스템 린(Lean)으로 형식화한 자료를 공개하고, 학계와 함께 정확성과 의미를 검토하는 협력 체계를 마련했다고 설명했다.
핵심은 AI가 기존 논문 요약이나 계산 보조를 넘어서 미해결 문제의 증명 자체를 만들었다고 주장한 점이다. 특히 수학 연구는 파동의 집중 현상을 다루는 국소 평활화 추측과 카케야 추측, 스타인의 제한 추측으로 이어지는 연결고리를 제시했고, 기존과 다른 보조 편미분방정식을 사용한 논증이 중심이라고 밝혔다. 다만 오픈AI도 이를 완성된 과학적 결론이 아니라 추가 검토가 필요한 원시 연구 데이터로 규정했다. 이번 공개는 AI가 과학적 발견 과정에 참여할 때 검증을 누가 어떤 방식으로 맡을지라는 과제를 함께 드러냈다.