OpenAI, 수학·이론컴퓨터과학 난제 10개 해결 발표
조회 3,808 · 공감 1 · 댓글 11
무엇을 했나
- 최소 10년 이상, 대부분 그보다 훨씬 오래 미해결이던 문제 10개에 새 결과 제시
- 분야: 고차원 기하, 부호이론, 산술회로 복잡도, 군론, 작용소 대수, 양자 복잡도, 격자 암호학, 극단 조합론
- 에르되시 문제 183·146·180 해결 포함
어떻게 했나
- 미공개 차기 모델 'Astra' 내부 버전이 생성
- 해답 도출에 든 토큰 비용, API 요금 기준 약 2,000달러 수준
- 사람은 논문 원고 정리만 담당, 수학적 논증 자체는 모델이 생성
- 이후 Lean(증명 검증 언어)으로 형식화 → 기계 검증 가능한 증명
- 모델의 사고 과정 서술문도 함께 공개
주요 결과 예시
- 구 채우기 밀도 상한을 Cohn–Elkies 한계까지 개선
- 비소픽 군의 존재 증명, 군론 핵심 난제
- Connes 강직성 추측 반증
- 최근접 벡터 문제의 근사 난해성, 양자내성 암호와 직결
- 이진 부호 최대 크기 지수적 개선
의미와 한계
- 의미: "아는 것 정리"를 넘어 인류가 모르던 것을 새로 알아낸 대량 사례
- 수학은 정답 검증이 기계적으로 가능해 이 분야에서 먼저 돌파구가 나온 것
- 한계: 정식 동료심사 전 단계, 수학계 검증은 이제 시작
댓글 11
지능을 완성한 후에
그 이후부터 사람들이 좋아하는 거 위주로 개발해서 서비스할 거 같네요
지금 3대 ai회사 모두 코딩에 올인하고 있습니다
이건 많은 사람들이 공감하는 내용인데
왜 그러세요?
이런 일반적인 댓글에도
이런 빈댓글과 비슷한 댓글을 다시나요?
적당히좀 하시지요
제가 쓰는 부동산글, 부동산댓글은
우리 클리앙에서도 많은 분들이 공감하던 내용이였습니다
내용에 문제가 있다면
그 내용에 대해 지적하시고
그 글에서 말씀하세요
이렇게 다른글에까지
이 글의 맥락과 부합하지 않는
빈댓글과 같은 댓글 쓰지마시고요
적당히하십시다
우리 클리앙은 적당함을
실천하는 민주진보 진영 커뮤로 알고 있습니다
적당히좀 하십시다