자, 이것은 매우 심각한 뉴스이며, 앞으로 며칠 동안 이에 대해 더 많이 듣게 될 것입니다.
OpenAI는 오늘 자사의 차세대 주요 모델 제품군인 Astra의 내부 버전에 의해 생성된 수학 및 이론 컴퓨터 과학(theoretical computer science) 분야의 10가지 진보를 설명하는 새로운 249페이지 분량의 연구 컬렉션을 발표했습니다.
OpenAI에 따르면, 이 결과물들은 고차원 기하학(high-dimensional geometry), 군론(group theory), 양자 복잡성(quantum complexity), 부호 이론(coding theory) 및 격자 암호학(lattice cryptography)을 포함한 여러 분야의 미해결 문제들을 다룹니다. 보고된 바에 따르면 일부 핵심 질문들은 최소 10년 동안, 그리고 여러 사례의 경우 그보다 훨씬 더 오랫동안 큰 진전이 없었습니다.
이것은 단순히 "AI가 매우 어려운 시험 문제를 풀었다"는 수준이 아닙니다.
해당 모델은 미해결 연구 문제들을 탐구하고, 새로운 증명이나 더 강력한 수학적 경계(mathematical bounds)를 생성한 다음, 논문(manuscripts) 형태로 논거를 준비하는 것을 도왔다고 합니다. 그 후 각 결과를 Lean 인증서(lean certificate)로 정식화하여, 기저 논리가 단순히 신뢰에 의존하는 것이 아니라 기계적으로 검증될 수 있도록 했습니다.
일반적인 용어로 설명하자면, AI는 매우 유능한 답변 엔진(answer engine)처럼 작동하는 것을 넘어, 아이디어를 탐구하고, 막다른 길을 포기하며, 새로운 추상화(abstractions)를 찾아내고, 기계로 검증 가능한 증거와 함께 잠재적으로 독창적인 지식을 생산하는 신흥 연구 협력자(research collaborator)로서 기능하기 시작했을 수 있습니다.
수학계는 여전히 각 결과의 참신함, 가정 및 광범위한 중요성을 평가해야 할 것입니다. 하지만 만약 주장된 수준만큼 결과가 실현된다면, 이것은 진정한 임계점(threshold)처럼 느껴집니다. 즉, AI가 인간 지식의 최전선을 설명하는 단계에서 벗어나 이를 능동적으로 확장하는 단계로 이동하고 있을지도 모릅니다.
수학 및 이론 컴퓨터 과학에서의 10가지 진보 | OpenAI
---NO jab replies, plz---
submitted by /u/etherd0t to r/OpenAI
[link] [comments]