/explore

Click through on any links that interest you or select the planets on the right to continue exploring the Outer Web.
You are here

 polymathprojects.org
Rota's Basis Conjecture: Polymath 12? | The polymath blog
| | siddhartha-gadgil.github.io
Formalizing Gardam's disproof of Kaplansky's Unit Conjecture · Artificial Intelligence and Mathematics
5.6 parsecs away

Travel
| | [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.
| | scottaaronson.blog
Shtetl-Optimized » Blog Archive » Avi Wigderson's "Permanent" Impact on Me
5.0 parsecs away

Travel
| | 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...
| | a3nm.net
List of open questions
4.8 parsecs away

Travel
| | List of open questions
| | relatedwork.blogspot.com
Related Work: A Proof of Proof by Infinite Descent
14.4 parsecs away

Travel
| WARNING: the following contains a whole lot of pedantry about proving theorems at a level of detail such that you could likely convince a co...