＞＞309
Kiran Sridhara Kedlaya

Questions I'm thinking about
https://kskedlaya.org/questions.shtml

Mochizuki's approach to diophantine approximation (last update: 28 Dec 17)

most specialists (including myself) are not currently treating this proof as fully verified.