Mathematicians welcome computer-assisted proof in ‘grand unification’ theory - discu.eu

Hacker News

Mathematicians welcome computer-assisted proof in ‘grand unification’ theory https://www.nature.com/articles/d41586-021-01627-2 136 comments 19/6/2021

Reddit

Mathematicians welcome computer-assisted proof in ‘grand unification’ theory https://www.nature.com/articles/d41586-021-01627-2 77 comments 19/6/2021 math

Linking pages

Completion of the Liquid Tensor Experiment | Lean community blog https://leanprover-community.github.io/blog/posts/lte-final/ 22 comments

Related searches:

Search whole site: site:www.nature.com

Search title: Mathematicians welcome computer-assisted proof in ‘grand unification’ theory

See how to search.

Submit link to: