오픈AI, 수학 밀레니엄 문제 포함해 난제 372개 해결 발표… 다양한 수학 공식 효율화

반가워요여러분 2026/10/07
추천 0 비추 0 조회수 6725
메?이저한거
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으로 증명까지 같이해서 발표했다고 합니닷
당신이 좋아할만한 페이지
  • 0
  • 0
댓글 총 개