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

# GitHub - openai/math Contribute to openai/math development by creating an account on GitHub. github.com # 지금 다들 무슨 일이 일어났는지 최대한 빠르게 확인하고 있는데 아무튼 개 미친 건 맞음 ㅇㅇㅇㅇㅇㅇㅇㅇㅇ - 2026 AGI - 싱글벙글 수학자들이 난제 푸는 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