https://macworks.dev/tags/computer-graphics/Recent content in Computer Graphics on MacWorksHugoenhttps://macworks.dev/docs/today/hackernews-2026-07-20/Mon, 01 Jan 0001 00:00:00 +0000https://macworks.dev/docs/today/hackernews-2026-07-20/<h1 id="hacker-news--2026-07-20">Hacker News — 2026-07-20<a class="anchor" href="#hacker-news--2026-07-20">#</a></h1> <h2 id="top-story">Top Story<a class="anchor" href="#top-story">#</a></h2> <p>Human mathematicians are getting &ldquo;outcounterexampled&rdquo; by AI models. Recent breakthroughs by LLMs like Claude Fable and ChatGPT Sol have systematically dismantled decades-old math problems, including disproving the 100-year-old Jacobian Conjecture and solving questions posed by Erdős and Grothendieck. This marks a massive paradigm shift in formalization, where AI is auto-generating thousands of lines of verifiable Lean code to definitively solve open problems.</p> <h2 id="front-page-highlights">Front Page Highlights<a class="anchor" href="#front-page-highlights">#</a></h2> <p><strong><a href="https://wren.wtf/shower-thoughts/stop-using-opencode/">Stop Using OpenCode</a></strong> · wren.wtf This scathing teardown exposes the wildly popular open-source AI coding agent &ldquo;OpenCode&rdquo; as a security disaster masquerading as a productivity tool. The author highlights catastrophic flaws ranging from completely broken path validation for shell redirections to default-open HTTP servers that allow arbitrary RCEs. It is a stark reminder that slapping an LLM onto a stateful bash terminal without proper sandboxing is a recipe for having your machine compromised.</p>