4 ms·
Ahh yes, LLMs ( preneutered!) may cause a resurgence of diagramming (used in vengeance) https://terrytao.wordpress.com/2023/11/18/formalizing-the-proof-of-pfr
by vinnyvichy 2y ago
Ahh yes, LLMs ( preneutered!) may cause a resurgence of diagramming (used in vengeance)
https://terrytao.wordpress.com/2023/11/18/formalizing-the-proof-of-pfr-in-lean4-using-blueprint-a-short-tour/ https://terrytao.wordpress.com/2023/11/18/formalizing-the-pr...
- vinnyvichy 2y agohttps://news.ycombinator.com/item?id=40978033 https://news.ycombinator.com/item?id=40978033