Hacker News: 406380581https://news.ycombinator.com/user?id=406380581Hacker News RSShttps://hnrss.org/hnrss v2.1.1Mon, 17 Aug 2026 03:57:38 +0000<![CDATA[New comment by 406380581 in "A SAT Attack on Tarski's High School Algebra Problem"]]>The lower bound had already been established in prior work: https://zenodo.org/records/18568303

]]>Sun, 16 Aug 2026 13:30:24 +0000https://news.ycombinator.com/item?id=49319890406380581https://news.ycombinator.com/item?id=49319890https://news.ycombinator.com/item?id=49319890