3 ms·
Liquid Tensor Experiment also comes to mind: https://www.nature.com/articles/d41586-021-01627-2 https://www.nature.com/articles/d41586-021-01627-2 https://lea
by hiker 2y ago
Liquid Tensor Experiment also comes to mind:
https://www.nature.com/articles/d41586-021-01627-2 https://www.nature.com/articles/d41586-021-01627-2
https://leanprover-community.github.io/blog/posts/lte-final/ https://leanprover-community.github.io/blog/posts/lte-final/
- Davidzheng 2y agoDisagree. That one was not in question for years. Only Peter Scholze proved it and said he's not completely sure