OpenAI의 내부 Astra 모델은 수학 및 이론 컴퓨터 과학 전반에 걸쳐 오랫동안 미해결로 남아 있던 열 가지 문제에 대한 해답을 생성했으며, 그 논증은 Lean에서 형식화되었습니다. 이러한 결과는 고차원 기하학, 부호 이론, 군론, 양자 복잡성을 아우르며 최소 10년 동안 진전이 없었던 질문들을 다루고 있습니다.
- 고차원 구 채우기: Cohn–Elkies 임계값까지의 구 채우기 밀도에 대한 새로운 상한선.
- 이진 및 구 부호: 지정된 최소 거리에서 이진 부호의 최대 크기에 대해 지수적으로 개선된 경계.
- 비소픽 군: 비소픽 군의 존재성을 확립하는 구성으로, 군론의 핵심 미해결 질문에 대한 접근.
- 콘스의 강성 추측: 특정 군이 그들의 폰 노이만 대수에 의해 고유하게 결정된다는 오랜 추측의 반증.
- 산술 회로 복잡도: 산술 회로와 공식을 사용하여 영속성을 계산하기 위한 새로운 하한선.
- 양자 병렬 반복: 일반적인 두 플레이어 양자 게임에 대한 지수적 병렬 반복 정리.
- 가장 가까운 벡터 문제: 포스트 양자 암호학과 관련된 가장 가까운 벡터 문제에 대한 다항식 인자의 근사화 어려움.
- 에르하트의 부피 추측: 모든 차원에서 무게중심이 유일한 내부 격자 점인 볼록체의 최대 가능한 부피 결정.
- 다색 램지 수: 다색 삼각형 램지 수에 대한 초지수적 하한선으로, Erdős 문제 183을 해결.
- 극값 수 추측: 극값 그래프 이론의 컴팩트성과 퇴화 추측에 관한 결과로, Erdős 문제 146과 180을 해결.
OpenAI는 인간이 원고를 준비하고 증명을 형식화했지만 수학적인 논증은 시스템에서 생성되었기 때문에 저자 표시와 연구에서의 AI 역할에 대한 질문을 제기한다고 강조합니다.