[hiker]

Liquid Tensor Experiment also comes to mind:

https://www.nature.com/articles/d41586-021-01627-2

https://leanprover-community.github.io/blog/posts/lte-final/

[Davidzheng]

Disagree. That one was not in question for years. Only Peter Scholze proved it and said he's not completely sure