오픈AI, 722개 수학 증명 논문 공개… 준-리만 가설 증명 성공

GitHub - openai/math
Contribute to openai/math development by creating an account on GitHub.
github.com
지금 다들 무슨 일이 일어났는지 최대한 빠르게 확인하고 있는데
아무튼 개 미친 건 맞음 ㅇㅇㅇㅇㅇㅇㅇㅇㅇ
싱글벙글 수학자들이 난제 푸는 ai한테 화내는 이유 이해하기
OPEN AI, AI가 도출한 수학 연구 원고 722편과 증명 자료공개
OpenAI, AI가 도출한 수학 연구 원고 722편과 증명 자료 공개 | GeekNews
OpenAI가 미공개 내부 모델이 도출한 수학 연구 원고 722편을 GitHub에 공개함. 관련 결과와 대안 증명, 후속 논문 등을 372개 결과 묶음으로 구성함 모델에 약 4,000개 연구 문제를 제시했으며, 결과 하나에 사용한 평균 연산량은 해당 모델로 ChatGPT Pro가 약…
news.hada.io
OpenAI October Math Results
There are 722 papers, proofs, and results from OpenAI, posted on October 6.
hub.valency.io
^ 논문은 여기서 읽을 수 있음
업계에서 유명한 문제들이 상당수 풀렸음
IAS 자문단도 있고
중요한 난제들의 경우
Lean formalization도 된 거라서 많이 틀릴 거 같지 않음
주요 성과
3번 준-리만 가설
4번 힐베르트 10번 문제 over Q
17번 pi의 irrationality = 2
32번 CM 아벨 다양체 및 K3 곡면의 곱에 대한 유리 호지 추측
(호지 추측 전체가 아니라 특수한 경우의 증명임)
74번 kakeya maximal conjecture in 3D, 4D
(kakeya set conjecture in 3D 풀어서 Hong Wang이 필즈상 받음)
77번 Fourier Restriction 관련
78번 3D Bochner-Riesz
109번 n log n보다 빠르게 정수 곱셈이 가능
130번 FFT보다 빠른 Fourier Transform 알고리즘
176번 2nd Kahn-Kalai