• 목록

메?이저한거

- 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으로 증명까지 같이해서 발표했다고 합니닷