Hacker News
- 'A-team' of math proves a critical link between addition and sets https://www.quantamagazine.org/a-team-of-math-proves-a-critical-link-between-addition-and-sets-20231206/ 122 comments
- ‘A-Team’ of Math Proves a Critical Link Between Addition and Sets | Quanta Magazine | A team of four prominent mathematicians proved a conjecture described as a “holy grail of additive combinatorics.” Within a month, a loose collaboration verified it with a computer-assisted proof https://www.quantamagazine.org/a-team-of-math-proves-a-critical-link-between-addition-and-sets-20231206/ 37 comments math
Linking pages
- The Fermat's Last Theorem Project | Lean community blog https://leanprover-community.github.io/blog/posts/FLT-announcement/ 41 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:www.quantamagazine.org
Search title: Quanta Magazine
See how to search.