Hacker News
- Mathematicians welcome computer-assisted proof in ‘grand unification’ theory https://www.nature.com/articles/d41586-021-01627-2 136 comments
- Mathematicians welcome computer-assisted proof in ‘grand unification’ theory https://www.nature.com/articles/d41586-021-01627-2 77 comments math
Linking pages
- Completion of the Liquid Tensor Experiment | Lean community blog https://leanprover-community.github.io/blog/posts/lte-final/ 22 comments
- How the Lean language brings math to coding and coding to math - Amazon Science https://www.amazon.science/blog/how-the-lean-language-brings-math-to-coding-and-coding-to-math 0 comments
Related searches:
Search whole site: site:nature.com
Search title: Mathematicians welcome computer-assisted proof in ‘grand unification’ theory
See how to search.