/explore
|
You are here 
|
polymathprojects.org | ||
| | | | |
scottaaronson.blog
The following is the lightly-edited transcript of a talk that I gave a week ago, on Wednesday October 5, at Avi Wigderson's 60th birthday conference at the Institute for Advanced Study in Princeton. Videos of all the talks (including mine) are now available here. Thanks so much to Sanjeev Arora, Boaz Barak, Ran Raz, Peter... |
|
| | | | | ||
| | | | |
siddhartha-gadgil.github.io
[AI summary] The author details the process of using the Lean 4 programming language to formally verify Giles Gardam's disproof of the Kaplansky Unit Conjecture in mathematics. |
|
| | | | | ||
| | | | |
terrytao.wordpress.com
Let $latex {G = (G,+)}&fg=000000$ be a finite additive group. A tiling pair is a pair of non-empty subsets $latex {A, B}&fg=000000$ such that every element of $latex {G}&fg=000000$ can |
|
| | | | | ||
| | | | |
www.lesswrong.com
We founded Anthropic because we believe the impact of AI might be comparable to that of the industrial and scientific revolutions, but we aren't conf... |
|
| | | |||
