OpenAI Astra의 수학 난제 10대 진전, AI가 연구 동료가 된 의미 NEWSBy 감자2026년 8월 1일OpenAI가 내부 Astra로 10개 장기 미해결 수학·이론 컴퓨터과학 문제의 새 결과를 공개했습니다. 구면 패킹부터 격자 암호·양자 복잡도까지 주요 결과와 Lean 형식 검증, 학계 독립 검토가 중요한 이유를 공식 발표 기준으로 정리합니다.
