Liquid Tensor Experiment also comes to mind: https://www.nature.com/articles/d41... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

hiker on April 23, 2024 | parent | context | favorite | on: New Foundations is consistent – a difficult mathem...

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 on April 23, 2024 [–]

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

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact