<rss version="2.0" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>Hacker News: frozenseven</title><link>https://news.ycombinator.com/user?id=frozenseven</link><description>Hacker News RSS</description><docs>https://hnrss.org/</docs><generator>hnrss v2.1.1</generator><lastBuildDate>Sat, 10 Oct 2026 06:15:38 +0000</lastBuildDate><atom:link href="https://hnrss.org/user?id=frozenseven" rel="self" type="application/rss+xml"></atom:link><item><title><![CDATA[New comment by frozenseven in "Claude Haiku 5.5"]]></title><description><![CDATA[
<p>The previous Haiku release (4.5) is a year old at this point. But this new one is pretty good on price/performance, so I assume it will be popular for at least a while.</p>
]]></description><pubDate>Thu, 08 Oct 2026 16:22:51 +0000</pubDate><link>https://news.ycombinator.com/item?id=50007809</link><dc:creator>frozenseven</dc:creator><comments>https://news.ycombinator.com/item?id=50007809</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50007809</guid></item><item><title><![CDATA[New comment by frozenseven in "Sharing AI progress in mathematics"]]></title><description><![CDATA[
<p>If you're hoping for these results to be fake, you're going to have a bad time. A <i>really</i> bad time.</p>
]]></description><pubDate>Wed, 07 Oct 2026 12:24:37 +0000</pubDate><link>https://news.ycombinator.com/item?id=49991790</link><dc:creator>frozenseven</dc:creator><comments>https://news.ycombinator.com/item?id=49991790</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49991790</guid></item><item><title><![CDATA[Xiaomi MiMo-v2.6 Breaks Cover: A 1T-Class Chinese Lab Trains in Public]]></title><description><![CDATA[
<p>Article URL: <a href="https://forkast.news/xiaomi-mimo-v2-6-breaks-cover-a-1t-class-chinese-lab-trains-in-public/">https://forkast.news/xiaomi-mimo-v2-6-breaks-cover-a-1t-class-chinese-lab-trains-in-public/</a></p>
<p>Comments URL: <a href="https://news.ycombinator.com/item?id=49761509">https://news.ycombinator.com/item?id=49761509</a></p>
<p>Points: 3</p>
<p># Comments: 0</p>
]]></description><pubDate>Fri, 18 Sep 2026 23:12:49 +0000</pubDate><link>https://forkast.news/xiaomi-mimo-v2-6-breaks-cover-a-1t-class-chinese-lab-trains-in-public/</link><dc:creator>frozenseven</dc:creator><comments>https://news.ycombinator.com/item?id=49761509</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49761509</guid></item><item><title><![CDATA[New comment by frozenseven in "Microsoft exec called AI scraping 'the largest theft of labor in human history'"]]></title><description><![CDATA[
<p>Model collapse is an induced phenomenon, not something you'll ever see in practice. Of course naive predictions of an impending 'collapse' go back to at least GPT-3 (that's over 6 years ago), yet models continue to get smarter. And speaking of predictions, I assume you've been saying that AI is "fake" for just as long?</p>
]]></description><pubDate>Fri, 18 Sep 2026 17:12:04 +0000</pubDate><link>https://news.ycombinator.com/item?id=49757295</link><dc:creator>frozenseven</dc:creator><comments>https://news.ycombinator.com/item?id=49757295</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49757295</guid></item><item><title><![CDATA[New comment by frozenseven in "Warren Buffett Steps Down as Berkshire Chairman, Names Son to Replace Him"]]></title><description><![CDATA[
<p>Instantly reminded me of this:<p><a href="https://www.youtube.com/watch?v=_67JbvXLrmw" rel="nofollow">https://www.youtube.com/watch?v=_67JbvXLrmw</a><p>(I'm not hating on Buffet/Berkshire)</p>
]]></description><pubDate>Fri, 18 Sep 2026 16:52:21 +0000</pubDate><link>https://news.ycombinator.com/item?id=49757022</link><dc:creator>frozenseven</dc:creator><comments>https://news.ycombinator.com/item?id=49757022</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49757022</guid></item><item><title><![CDATA[New comment by frozenseven in "Bend 2 and the Vibe-Coding Trap"]]></title><description><![CDATA[
<p>>Sorry. See the edit at the top if you haven't already.<p>Sorry about what? Getting caught? You entire post is based on a nasty lie about Victor and his work.</p>
]]></description><pubDate>Fri, 18 Sep 2026 14:19:32 +0000</pubDate><link>https://news.ycombinator.com/item?id=49754792</link><dc:creator>frozenseven</dc:creator><comments>https://news.ycombinator.com/item?id=49754792</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49754792</guid></item><item><title><![CDATA[New comment by frozenseven in "Microsoft exec called AI scraping 'the largest theft of labor in human history'"]]></title><description><![CDATA[
<p>Cool. Then don't use LLMs and keep waiting for that prophesied "model collapse" to happen. See how that works out for you.</p>
]]></description><pubDate>Fri, 18 Sep 2026 13:42:29 +0000</pubDate><link>https://news.ycombinator.com/item?id=49754304</link><dc:creator>frozenseven</dc:creator><comments>https://news.ycombinator.com/item?id=49754304</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49754304</guid></item><item><title><![CDATA[New comment by frozenseven in "Why I didn’t sign the Fields medallists’ letter"]]></title><description><![CDATA[
<p>Discussion is indeed impossible if you're trying to insist that this garbage anti-AI letter is anything other than just that.</p>
]]></description><pubDate>Thu, 17 Sep 2026 11:04:16 +0000</pubDate><link>https://news.ycombinator.com/item?id=49739054</link><dc:creator>frozenseven</dc:creator><comments>https://news.ycombinator.com/item?id=49739054</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49739054</guid></item><item><title><![CDATA[New comment by frozenseven in "A misalignment of AI in mathematics"]]></title><description><![CDATA[
<p>Knowledge is not a private guild. And this revolution will not stop just because you're upset.<p>What can be solved, will be solved. And that's a good thing.</p>
]]></description><pubDate>Fri, 11 Sep 2026 20:51:36 +0000</pubDate><link>https://news.ycombinator.com/item?id=49665191</link><dc:creator>frozenseven</dc:creator><comments>https://news.ycombinator.com/item?id=49665191</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49665191</guid></item><item><title><![CDATA[New comment by frozenseven in "Caltech Mathathon – first hackathon ever devoted to research level mathematics"]]></title><description><![CDATA[
<p>I never want to hear anything akin to "<i>math is for everyone!</i>" from this sector of the "math community" ever again.<p>Mathematics is getting solved by AI. And this is a good thing.</p>
]]></description><pubDate>Fri, 11 Sep 2026 12:53:51 +0000</pubDate><link>https://news.ycombinator.com/item?id=49657622</link><dc:creator>frozenseven</dc:creator><comments>https://news.ycombinator.com/item?id=49657622</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49657622</guid></item><item><title><![CDATA[New comment by frozenseven in "On the Navier–Stokes Millennium Prize Problem"]]></title><description><![CDATA[
<p>So far it's just anonymous accounts on X and Reddit during the past few days, no "official leak" or anything like that. But the rumors about Navier-Stokes being solved started the same way. If somebody really solved it, the incentive is to come forward soon before being scooped by another team. We'll see.</p>
]]></description><pubDate>Wed, 09 Sep 2026 18:43:11 +0000</pubDate><link>https://news.ycombinator.com/item?id=49631771</link><dc:creator>frozenseven</dc:creator><comments>https://news.ycombinator.com/item?id=49631771</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49631771</guid></item><item><title><![CDATA[New comment by frozenseven in "On the Navier–Stokes Millennium Prize Problem"]]></title><description><![CDATA[
<p>There was a recent rumor about the Hodge Conjecture. I'd keep an eye on that one. But like the other person who replied, I'm also rooting for Yang-Mills. That has massive potential for unlocking a series of physics results.</p>
]]></description><pubDate>Tue, 08 Sep 2026 19:34:55 +0000</pubDate><link>https://news.ycombinator.com/item?id=49615714</link><dc:creator>frozenseven</dc:creator><comments>https://news.ycombinator.com/item?id=49615714</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49615714</guid></item><item><title><![CDATA[New comment by frozenseven in "On the Navier–Stokes Millennium Prize Problem"]]></title><description><![CDATA[
<p>And don't forget, this is the worst it'll ever be.</p>
]]></description><pubDate>Tue, 08 Sep 2026 18:57:36 +0000</pubDate><link>https://news.ycombinator.com/item?id=49615034</link><dc:creator>frozenseven</dc:creator><comments>https://news.ycombinator.com/item?id=49615034</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49615034</guid></item><item><title><![CDATA[List of mathematical discoveries by artificial intelligence]]></title><description><![CDATA[
<p>Article URL: <a href="https://en.wikipedia.org/wiki/List_of_mathematical_discoveries_by_artificial_intelligence">https://en.wikipedia.org/wiki/List_of_mathematical_discoveries_by_artificial_intelligence</a></p>
<p>Comments URL: <a href="https://news.ycombinator.com/item?id=49610905">https://news.ycombinator.com/item?id=49610905</a></p>
<p>Points: 6</p>
<p># Comments: 0</p>
]]></description><pubDate>Tue, 08 Sep 2026 14:34:24 +0000</pubDate><link>https://en.wikipedia.org/wiki/List_of_mathematical_discoveries_by_artificial_intelligence</link><dc:creator>frozenseven</dc:creator><comments>https://news.ycombinator.com/item?id=49610905</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49610905</guid></item><item><title><![CDATA[New comment by frozenseven in "LLMs as a Cognitive Virus"]]></title><description><![CDATA[
<p>Disappointing to see Michael Levin's name on this.</p>
]]></description><pubDate>Sat, 05 Sep 2026 22:06:15 +0000</pubDate><link>https://news.ycombinator.com/item?id=49581169</link><dc:creator>frozenseven</dc:creator><comments>https://news.ycombinator.com/item?id=49581169</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49581169</guid></item><item><title><![CDATA[New comment by frozenseven in "Z1T: Sparse Transformer‑Like Models for Probabilistic Hardware"]]></title><description><![CDATA[
<p>Weights:<p><a href="https://huggingface.co/Extropic-AI" rel="nofollow">https://huggingface.co/Extropic-AI</a><p>Code:<p><a href="https://github.com/extropic-ai/sparse-transformers" rel="nofollow">https://github.com/extropic-ai/sparse-transformers</a></p>
]]></description><pubDate>Fri, 04 Sep 2026 18:49:28 +0000</pubDate><link>https://news.ycombinator.com/item?id=49568570</link><dc:creator>frozenseven</dc:creator><comments>https://news.ycombinator.com/item?id=49568570</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49568570</guid></item><item><title><![CDATA[Z1T: Sparse Transformer‑Like Models for Probabilistic Hardware]]></title><description><![CDATA[
<p>Article URL: <a href="https://extropic.ai/writing/z1t/">https://extropic.ai/writing/z1t/</a></p>
<p>Comments URL: <a href="https://news.ycombinator.com/item?id=49568558">https://news.ycombinator.com/item?id=49568558</a></p>
<p>Points: 3</p>
<p># Comments: 1</p>
]]></description><pubDate>Fri, 04 Sep 2026 18:48:28 +0000</pubDate><link>https://extropic.ai/writing/z1t/</link><dc:creator>frozenseven</dc:creator><comments>https://news.ycombinator.com/item?id=49568558</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49568558</guid></item><item><title><![CDATA[New comment by frozenseven in "GPT-6 Astra"]]></title><description><![CDATA[
<p>Release the Kraken!</p>
]]></description><pubDate>Thu, 03 Sep 2026 18:45:07 +0000</pubDate><link>https://news.ycombinator.com/item?id=49554727</link><dc:creator>frozenseven</dc:creator><comments>https://news.ycombinator.com/item?id=49554727</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49554727</guid></item><item><title><![CDATA[Lean AI Formalization Leaderboard]]></title><description><![CDATA[
<p>Article URL: <a href="https://lean-lang.org/eval/legacy/">https://lean-lang.org/eval/legacy/</a></p>
<p>Comments URL: <a href="https://news.ycombinator.com/item?id=49541962">https://news.ycombinator.com/item?id=49541962</a></p>
<p>Points: 1</p>
<p># Comments: 0</p>
]]></description><pubDate>Wed, 02 Sep 2026 20:24:03 +0000</pubDate><link>https://lean-lang.org/eval/legacy/</link><dc:creator>frozenseven</dc:creator><comments>https://news.ycombinator.com/item?id=49541962</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49541962</guid></item><item><title><![CDATA[New comment by frozenseven in "Muse Spark 1.3"]]></title><description><![CDATA[
<p>This should probably be primary:<p><a href="https://news.ycombinator.com/item?id=49541149">https://news.ycombinator.com/item?id=49541149</a></p>
]]></description><pubDate>Wed, 02 Sep 2026 19:42:04 +0000</pubDate><link>https://news.ycombinator.com/item?id=49541350</link><dc:creator>frozenseven</dc:creator><comments>https://news.ycombinator.com/item?id=49541350</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49541350</guid></item></channel></rss>