오픈AI, 수학 밀레니엄 문제 포함해 난제 372개 해결 발표, 다양한 수학 공식 효율화.
페이지 정보
본문
메?이저한거
- quasi 리만 가설 증명
- 호지 추측(Hodge Conjecture)
- 유리수체 위에서의 힐베르트 제10문제(Hilbert’s Tenth Problem)
- 유니크 게임 추측(Unique Games Conjecture)
- 비소픽 군(Nonsofic Groups)의 존재 및 카플란스키 추측의 반례
- 자유군 인자 동형 문제(Free Group Factor Isomorphism Problem)
- 두 가지 말러 추측(Mahler Conjectures) 모두
- 상대론적 블라소프–맥스웰 방정식(Relativistic Vlasov–Maxwell)의 전역적 매끄러움(Global Smoothness)
특히 이번에는 기존에 비판이 있던 증명 관련해서 중요한 난제들의 경우 Lean Formalization으로 증명까지 같이해서 발표했다고 합니닷
