Zulip Chat Archive
Stream: maths
Topic: Kai-Kalai conjecture
Patrick Massot (Jul 23 2022 at 18:38):
Should we try to formalize https://arxiv.org/abs/2203.17207? It is covered in https://www.quantamagazine.org/elegant-six-page-proof-reveals-the-emergence-of-random-structure-20220425/
Yaël Dillies (Jul 23 2022 at 18:38):
Yaël Dillies (Jul 23 2022 at 18:40):
@Thomas Bloom and I were thinking about this when the paper came out on Arxiv.
Patrick Massot (Jul 23 2022 at 18:43):
Great!
Last updated: Dec 20 2023 at 11:08 UTC