<?xml version="1.0" encoding="UTF-8"?>
<feed xmlns="http://www.w3.org/2005/Atom">
  <updated>2026-10-14T05:14:51Z</updated>
  <generator>https://njump.me</generator>

  <title>Nostr notes by Peter Bloem</title>
  <author>
    <name>Peter Bloem</name>
  </author>
  <link rel="self" type="application/atom+xml" href="https://njump.me/npub197852v02gnajty5zw5kz6cdncw7fcnfpw4cjg9j748mtm4wx0udqqw8zap.rss" />
  <link href="https://njump.me/npub197852v02gnajty5zw5kz6cdncw7fcnfpw4cjg9j748mtm4wx0udqqw8zap" />
  <id>https://njump.me/npub197852v02gnajty5zw5kz6cdncw7fcnfpw4cjg9j748mtm4wx0udqqw8zap</id>
  <icon>https://media.mathstodon.xyz/accounts/avatars/116/969/055/372/524/648/original/5d09f3b6d2ba28b3.png</icon>
  <logo>https://media.mathstodon.xyz/accounts/avatars/116/969/055/372/524/648/original/5d09f3b6d2ba28b3.png</logo>




  <entry>
    <id>https://njump.me/nevent1qqsfmx449hxenehxan24f4nqv2dzggkulytl8p9p9ysawrme38xtjhszyqhc73f3afz0kfvjsf6jcttpk0pme8zdy96hzfqkt65ld0w4cel35a9kpmz</id>
    
      <title type="html">Social impact statement: This technology allows population-level ...</title>
    
    <link rel="alternate" href="https://njump.me/nevent1qqsfmx449hxenehxan24f4nqv2dzggkulytl8p9p9ysawrme38xtjhszyqhc73f3afz0kfvjsf6jcttpk0pme8zdy96hzfqkt65ld0w4cel35a9kpmz" />
    <content type="html">
      In reply to &lt;a href=&#39;/nevent1qqs98klfxeecqqxq3s4654332uuqjwh222mtcxx2ecuyc0h0h72m0fc6ry0ju&#39;&gt;nevent1q…y0ju&lt;/a&gt;&lt;br/&gt;_________________________&lt;br/&gt;&lt;br/&gt;Social impact statement: This technology allows population-level massacre at a cost of a hundred dollars per person. Produced at scale it could cause more suffering and death per dollar than nuclear weapons.&lt;br/&gt;&lt;br/&gt;However, there are also positive uses: it could be used to help runners improve their form.
    </content>
    <updated>2026-10-26T21:37:21Z</updated>
  </entry>

  <entry>
    <id>https://njump.me/nevent1qqs98klfxeecqqxq3s4654332uuqjwh222mtcxx2ecuyc0h0h72m0fczyqhc73f3afz0kfvjsf6jcttpk0pme8zdy96hzfqkt65ld0w4cel35tk8ddj</id>
    
      <title type="html">Autonomous drones following running people through the woods, ...</title>
    
    <link rel="alternate" href="https://njump.me/nevent1qqs98klfxeecqqxq3s4654332uuqjwh222mtcxx2ecuyc0h0h72m0fczyqhc73f3afz0kfvjsf6jcttpk0pme8zdy96hzfqkt65ld0w4cel35tk8ddj" />
    <content type="html">
      Autonomous drones following running people through the woods, without GPS. Developed, with military funds, at a public university.&lt;br/&gt;&lt;br/&gt;This is not dual use anymore, this is single use. There is only one use here. &lt;br/&gt;&lt;br/&gt;Sometimes I worry that I&amp;#39;m becoming a negative Nancy with all my ethics talk, and then I see colleagues proudly post this kind of thing without a single acknowledgment of the implications.&lt;br/&gt; &lt;img src=&#34;https://media.mathstodon.xyz/media_attachments/files/117/509/331/336/294/921/original/09693867991c287a.png&#34;&gt; &lt;br/&gt;
    </content>
    <updated>2026-10-26T21:32:55Z</updated>
  </entry>

  <entry>
    <id>https://njump.me/nevent1qqsfpzls2ar06c20uc9y8m7ua8gu654n9d20g0cc0ksjv2cldhyr5nczyqhc73f3afz0kfvjsf6jcttpk0pme8zdy96hzfqkt65ld0w4cel3556jrnt</id>
    
      <title type="html">Arguably, something like the Iran war already qualifies, since ...</title>
    
    <link rel="alternate" href="https://njump.me/nevent1qqsfpzls2ar06c20uc9y8m7ua8gu654n9d20g0cc0ksjv2cldhyr5nczyqhc73f3afz0kfvjsf6jcttpk0pme8zdy96hzfqkt65ld0w4cel3556jrnt" />
    <content type="html">
      In reply to &lt;a href=&#39;/nevent1qqsxgchdrze5xs2dls3rkad0f748kft6garffaz77yjwl9sarhzeklqjaclgg&#39;&gt;nevent1q…clgg&lt;/a&gt;&lt;br/&gt;_________________________&lt;br/&gt;&lt;br/&gt;Arguably, something like the Iran war already qualifies, since Claude seems to have played a role in the decision to go to war, but we&amp;#39;re looking for a more direct involvement here. Something that will make the general public say that &amp;#34;AI was responsible for this.&amp;#34;
    </content>
    <updated>2026-10-25T11:15:25Z</updated>
  </entry>

  <entry>
    <id>https://njump.me/nevent1qqsxgchdrze5xs2dls3rkad0f748kft6garffaz77yjwl9sarhzeklqzyqhc73f3afz0kfvjsf6jcttpk0pme8zdy96hzfqkt65ld0w4cel359udxaq</id>
    
      <title type="html">How long until AI unintentionally*, directly causes a single ...</title>
    
    <link rel="alternate" href="https://njump.me/nevent1qqsxgchdrze5xs2dls3rkad0f748kft6garffaz77yjwl9sarhzeklqzyqhc73f3afz0kfvjsf6jcttpk0pme8zdy96hzfqkt65ld0w4cel359udxaq" />
    <content type="html">
      How long until AI unintentionally*, directly causes a single incident in which (a) at least hundreds of people die or (b) at least tens of thousands of people suffer something of comparable magnitude to losing your life&amp;#39;s savings?&lt;br/&gt;&lt;br/&gt;* Not intended by any human being. It may be that the AI itself has some vague notion of intention or that it just craps out in some random way.
    </content>
    <updated>2026-10-25T11:13:57Z</updated>
  </entry>

  <entry>
    <id>https://njump.me/nevent1qqsdvxh070g3cdqfmr7u65je9eth3xaepuezz44r4kmzqss803049kczyqhc73f3afz0kfvjsf6jcttpk0pme8zdy96hzfqkt65ld0w4cel35j7fdqz</id>
    
      <title type="html">I&amp;#39;ll try to keep it brief. :) It&amp;#39;s true that offline ...</title>
    
    <link rel="alternate" href="https://njump.me/nevent1qqsdvxh070g3cdqfmr7u65je9eth3xaepuezz44r4kmzqss803049kczyqhc73f3afz0kfvjsf6jcttpk0pme8zdy96hzfqkt65ld0w4cel35j7fdqz" />
    <content type="html">
      In reply to &lt;a href=&#39;/nevent1qqsr937md3ffacqrns9d07wk9kj3p3fdr4mncy74vh6cqwlsfj3z50gqzzdc9&#39;&gt;nevent1q…zdc9&lt;/a&gt;&lt;br/&gt;_________________________&lt;br/&gt;&lt;br/&gt;I&amp;#39;ll try to keep it brief. :)&lt;br/&gt;&lt;br/&gt;It&amp;#39;s true that offline statistical analysis can only uncover correlation not causation, so that&amp;#39;s a limit to what a purely autoregressive LLM can do. &lt;br/&gt;&lt;br/&gt;There are two important counters though:&lt;br/&gt;- LLMs aren&amp;#39;t trained just autoregressively. They are also trained by RL, which does admit causal analysis to emerge. Admittedly, most of the power comes from the pre-training, but this removes the impossibility argument.&lt;br/&gt;- A huge amount of behaviors don&amp;#39;t require understanding of the causality of the training data. Including, and this is I admit is counter-intuitive, running causal analysis in-context. An LLM could learn to run programs from a suffiently large dataset, and those programs could include existing causal analysis algorithms, which it could then apply in context to data.&lt;br/&gt;- Modern models also have a kind of internal monologue. This pushes its behavior quite far from &amp;#34;sampling from the data distribution&amp;#34;, especially coupled with RL.
    </content>
    <updated>2026-08-26T17:06:34Z</updated>
  </entry>

  <entry>
    <id>https://njump.me/nevent1qqsrqa2hf3zz7hles9szu36ft73wjxqwky28nkvr785hqyqfxm8zepczyqhc73f3afz0kfvjsf6jcttpk0pme8zdy96hzfqkt65ld0w4cel35rtpe53</id>
    
      <title type="html">I see, that makes sense. I agree that that in that sense there ...</title>
    
    <link rel="alternate" href="https://njump.me/nevent1qqsrqa2hf3zz7hles9szu36ft73wjxqwky28nkvr785hqyqfxm8zepczyqhc73f3afz0kfvjsf6jcttpk0pme8zdy96hzfqkt65ld0w4cel35rtpe53" />
    <content type="html">
      In reply to &lt;a href=&#39;/nevent1qqsv3l9rkvpf4yqagw3c9a3ugzl9kwsk3pnjmyfwdwjtm06h7nwt8tgqjy0xl&#39;&gt;nevent1q…y0xl&lt;/a&gt;&lt;br/&gt;_________________________&lt;br/&gt;&lt;br/&gt;I see, that makes sense. I agree that that in that sense there are fundamental parts missing. &lt;br/&gt;&lt;br/&gt;I don&amp;#39;t think they require deep conceptual breakthroughs to achieve, but that&amp;#39;s then not relevant to the discussion (and other AI people do believe there are big breakthroughs required, so I&amp;#39;m not claiming to have the final answer here).
    </content>
    <updated>2026-08-26T13:03:18Z</updated>
  </entry>

  <entry>
    <id>https://njump.me/nevent1qqsv8ctgur6swx0f0rzqsy053rjn5s2s8df7r6dz8f8xy7zt5jafr6qzyqhc73f3afz0kfvjsf6jcttpk0pme8zdy96hzfqkt65ld0w4cel35zdmwc4</id>
    
      <title type="html">At this point I&amp;#39;m more weary of old AI luminaries claiming ...</title>
    
    <link rel="alternate" href="https://njump.me/nevent1qqsv8ctgur6swx0f0rzqsy053rjn5s2s8df7r6dz8f8xy7zt5jafr6qzyqhc73f3afz0kfvjsf6jcttpk0pme8zdy96hzfqkt65ld0w4cel35zdmwc4" />
    <content type="html">
      In reply to &lt;a href=&#39;/nevent1qqs9ykq9vx769m2wqmf04h5rzsy36f8p97d8qk4phzdups0j5sn00zghth2a9&#39;&gt;nevent1q…h2a9&lt;/a&gt;&lt;br/&gt;_________________________&lt;br/&gt;&lt;br/&gt;At this point I&amp;#39;m more weary of old AI luminaries claiming there is a big piece of the puzzle missing (and they have the answer) than I am of big AI labs. LeCun, Sutskever and all the others have a huge incentive to make blind claims like these to raise funds and reclaim relevance. I&amp;#39;m not seeing much evidence in these discussions.
    </content>
    <updated>2026-08-26T12:39:24Z</updated>
  </entry>

  <entry>
    <id>https://njump.me/nevent1qqstyeagqtjdkapjf09tnl8sju44wws9g67gk965rxk473ejl87qvkczyqhc73f3afz0kfvjsf6jcttpk0pme8zdy96hzfqkt65ld0w4cel35l3a037</id>
    
      <title type="html">&amp;gt; But for AI to be better at math than humans are, it would ...</title>
    
    <link rel="alternate" href="https://njump.me/nevent1qqstyeagqtjdkapjf09tnl8sju44wws9g67gk965rxk473ejl87qvkczyqhc73f3afz0kfvjsf6jcttpk0pme8zdy96hzfqkt65ld0w4cel35l3a037" />
    <content type="html">
      In reply to &lt;a href=&#39;/nevent1qqsgrlrdlpc3zya02q04tqshturzgg3uc57a9480ttsdx4wmnw3acsc4zexkj&#39;&gt;nevent1q…exkj&lt;/a&gt;&lt;br/&gt;_________________________&lt;br/&gt;&lt;br/&gt;&amp;gt; But for AI to be better at math than humans are, it would need to be fundamentally different than current LLMs.&lt;br/&gt;&lt;br/&gt;What makes you say that? I agree that there are some gaps to general intelligence (persistence, agency, identity, long-term memory, a stake in the world) but most of those seem engineering problems rather than anything fundamental. &lt;br/&gt;&lt;br/&gt;The hard problems (intuition, common sense, natural language use, tool use, reflection) all seem to have been solved.&lt;br/&gt;&lt;br/&gt;What do you see as the fundamental parts that are still missing?
    </content>
    <updated>2026-08-26T09:24:01Z</updated>
  </entry>

  <entry>
    <id>https://njump.me/nevent1qqsd22p0zpm4tx74tt5qpjfq45y5wh8lqf438ay5p85yf6vf7t3mtnszyqhc73f3afz0kfvjsf6jcttpk0pme8zdy96hzfqkt65ld0w4cel3548hfev</id>
    
      <title type="html">I know. It&amp;#39;s not what I&amp;#39;m saying or thinking though.</title>
    
    <link rel="alternate" href="https://njump.me/nevent1qqsd22p0zpm4tx74tt5qpjfq45y5wh8lqf438ay5p85yf6vf7t3mtnszyqhc73f3afz0kfvjsf6jcttpk0pme8zdy96hzfqkt65ld0w4cel3548hfev" />
    <content type="html">
      In reply to &lt;a href=&#39;/nevent1qqsvwhdy22wdtk54f30tazyvt8pgwz8cxaahr38vaftz5xu2umnhntstv7fxl&#39;&gt;nevent1q…7fxl&lt;/a&gt;&lt;br/&gt;_________________________&lt;br/&gt;&lt;br/&gt;I know. It&amp;#39;s not what I&amp;#39;m saying or thinking though.
    </content>
    <updated>2026-08-21T14:26:28Z</updated>
  </entry>

  <entry>
    <id>https://njump.me/nevent1qqs8yr2culrxwndqkd7z6jrrjyvkkv23mmhzhkmahncwa05htm5hvzszyqhc73f3afz0kfvjsf6jcttpk0pme8zdy96hzfqkt65ld0w4cel355vqdls</id>
    
      <title type="html">Let me go point by point here. - Curation doesn&amp;#39;t mean manual ...</title>
    
    <link rel="alternate" href="https://njump.me/nevent1qqs8yr2culrxwndqkd7z6jrrjyvkkv23mmhzhkmahncwa05htm5hvzszyqhc73f3afz0kfvjsf6jcttpk0pme8zdy96hzfqkt65ld0w4cel355vqdls" />
    <content type="html">
      In reply to &lt;a href=&#39;/nevent1qqs8l7y9uwl7lyv5asetfljqaugrhale3crfyuwc6lsltrgusrmdh3qfaf9vg&#39;&gt;nevent1q…f9vg&lt;/a&gt;&lt;br/&gt;_________________________&lt;br/&gt;&lt;br/&gt;Let me go point by point here. &lt;br/&gt;- Curation doesn&amp;#39;t mean manual selection. It just means that you don&amp;#39;t blindly ingest everything from the internet. This has been done since GPT2, when they used social media upvotes as a proxy for article quality. In GPT3, they included sources proportional to the quality of the source which gives you the best of both worlds. &lt;br/&gt;- All sorts of junk sneaks into the data, but so long as the majority is high quality, it won&amp;#39;t lead to model collapse.&lt;br/&gt;- &amp;#34;Glue on Pizza&amp;#34; came from the Google AI summary which is a poor proxy for current AI capability.&lt;br/&gt;- Watermarking can and does 100% work as advertised. For a simple insight to the idea, consider the bitstream used to feed the PRNG. If you have the complete model output of one session and the model, you can reconstruct that. Save it, use the same stream each session and you have your watermark with no changes to the model (some extra tricks are necessary to watermark subsets of the conversation).&lt;br/&gt;- It is indeed relatively easy to circumvent, although the precise method they use seems to be somewhat robust to basic rephrasing. Still, it&amp;#39;s going to catch out a lot of lazy people.
    </content>
    <updated>2026-08-21T12:41:29Z</updated>
  </entry>

  <entry>
    <id>https://njump.me/nevent1qqsw28pndks90jaqct35ehlufh7x3n363j4vvdhpgxkp8z4u58tlcjqzyqhc73f3afz0kfvjsf6jcttpk0pme8zdy96hzfqkt65ld0w4cel35et728v</id>
    
      <title type="html">My understanding is that it&amp;#39;s mostly happening because the EU ...</title>
    
    <link rel="alternate" href="https://njump.me/nevent1qqsw28pndks90jaqct35ehlufh7x3n363j4vvdhpgxkp8z4u58tlcjqzyqhc73f3afz0kfvjsf6jcttpk0pme8zdy96hzfqkt65ld0w4cel35et728v" />
    <content type="html">
      In reply to &lt;a href=&#39;/nevent1qqsz903l0tn6a8fpezc76t4m4vjug3s4xh2rq2ng7fajnl7gxrv86sg38094v&#39;&gt;nevent1q…094v&lt;/a&gt;&lt;br/&gt;_________________________&lt;br/&gt;&lt;br/&gt;My understanding is that it&amp;#39;s mostly happening because the EU requires it. &lt;br/&gt;&lt;br/&gt;Pre-training datasets are pretty carefully curated and they have strong quality filters, so I don&amp;#39;t think there is much of a risk of model collapse in practice.&lt;br/&gt;&lt;br/&gt;It&amp;#39;s also not so much about special characters or word choice as about the choices between equally good options (by the models&amp;#39; own probabilities). Every time you choose between two equally likely options you are essentially &amp;#34;encoding&amp;#34; one bit (i.e. a coinflip) of information. You can use these bits to create a watermark without losing quality.
    </content>
    <updated>2026-08-21T11:59:05Z</updated>
  </entry>

  <entry>
    <id>https://njump.me/nevent1qqs89q9ggzjljc27204u3lcqjt5vneyfd7kqa3sku9p5qr207xpw0wszyqhc73f3afz0kfvjsf6jcttpk0pme8zdy96hzfqkt65ld0w4cel357qla8u</id>
    
      <title type="html">🥖 A new blog post! 🥖 (Yes another one.) The question of AI ...</title>
    
    <link rel="alternate" href="https://njump.me/nevent1qqs89q9ggzjljc27204u3lcqjt5vneyfd7kqa3sku9p5qr207xpw0wszyqhc73f3afz0kfvjsf6jcttpk0pme8zdy96hzfqkt65ld0w4cel357qla8u" />
    <content type="html">
      🥖 A new blog post! 🥖 (Yes another one.)&lt;br/&gt;&lt;br/&gt;The question of AI coding is usually seen as a binary choice. You buy in or you don&amp;#39;t. It&amp;#39;s not, and it&amp;#39;s important that we move the discussion on from that. &lt;br/&gt;&lt;br/&gt;Vibe-coding is terrible. I creates sloppy code in drifting, unmaintained code bases, it rapidly deskills you and it wastes resources. But vibe-coding isn&amp;#39;t the only fruit.&lt;br/&gt;&lt;br/&gt;&lt;a href=&#34;https://peterbloem.nl/blog/craft-coding&#34;&gt;https://peterbloem.nl/blog/craft-coding&lt;/a&gt;
    </content>
    <updated>2026-08-16T10:05:53Z</updated>
  </entry>

  <entry>
    <id>https://njump.me/nevent1qqsfhl702j30kagtqkhwra76d58q0t4vthhyclugap72qplsd2lfyeqzyqhc73f3afz0kfvjsf6jcttpk0pme8zdy96hzfqkt65ld0w4cel359f0lxr</id>
    
      <title type="html">https://op.tngl.io/every-fucking-website/</title>
    
    <link rel="alternate" href="https://njump.me/nevent1qqsfhl702j30kagtqkhwra76d58q0t4vthhyclugap72qplsd2lfyeqzyqhc73f3afz0kfvjsf6jcttpk0pme8zdy96hzfqkt65ld0w4cel359f0lxr" />
    <content type="html">
      &lt;a href=&#34;https://op.tngl.io/every-fucking-website/&#34;&gt;https://op.tngl.io/every-fucking-website/&lt;/a&gt;
    </content>
    <updated>2026-08-14T20:45:37Z</updated>
  </entry>

  <entry>
    <id>https://njump.me/nevent1qqsf8vj5q0xfsy5kcnzkmeaqufa5jl5guy0jmrfac99au5ahahgjm4qzyqhc73f3afz0kfvjsf6jcttpk0pme8zdy96hzfqkt65ld0w4cel356jlusa</id>
    
      <title>Nostr event nevent1qqsf8vj5q0xfsy5kcnzkmeaqufa5jl5guy0jmrfac99au5ahahgjm4qzyqhc73f3afz0kfvjsf6jcttpk0pme8zdy96hzfqkt65ld0w4cel356jlusa</title>
    
    <link rel="alternate" href="https://njump.me/nevent1qqsf8vj5q0xfsy5kcnzkmeaqufa5jl5guy0jmrfac99au5ahahgjm4qzyqhc73f3afz0kfvjsf6jcttpk0pme8zdy96hzfqkt65ld0w4cel356jlusa" />
    <content type="html">
      In reply to &lt;a href=&#39;/nevent1qqsphy48gjl5y3kxdylg6dzzhhw85hrmkvttt0eelfcrnqhrphr5g0qqm296v&#39;&gt;nevent1q…296v&lt;/a&gt;&lt;br/&gt;_________________________&lt;br/&gt;&lt;br/&gt;From &lt;a href=&#34;https://www.cs.utexas.edu/~EWD/transcriptions/EWD08xx/EWD898.html&#34;&gt;https://www.cs.utexas.edu/~EWD/transcriptions/EWD08xx/EWD898.html&lt;/a&gt; &lt;br/&gt;&lt;br/&gt;(This is the source of the famous &amp;#34;Can Submarines Swim&amp;#34; quote.)
    </content>
    <updated>2026-08-13T11:44:05Z</updated>
  </entry>

  <entry>
    <id>https://njump.me/nevent1qqsphy48gjl5y3kxdylg6dzzhhw85hrmkvttt0eelfcrnqhrphr5g0qzyqhc73f3afz0kfvjsf6jcttpk0pme8zdy96hzfqkt65ld0w4cel35t6t99z</id>
    
      <title type="html">Just found this quite chilling line in a Dijkstra lecture from ...</title>
    
    <link rel="alternate" href="https://njump.me/nevent1qqsphy48gjl5y3kxdylg6dzzhhw85hrmkvttt0eelfcrnqhrphr5g0qzyqhc73f3afz0kfvjsf6jcttpk0pme8zdy96hzfqkt65ld0w4cel35t6t99z" />
    <content type="html">
      Just found this quite chilling line in a Dijkstra lecture from 1984.&lt;br/&gt; &lt;img src=&#34;https://media.mathstodon.xyz/media_attachments/files/117/087/994/355/582/216/original/d5c9d61d3a7559c8.png&#34;&gt; &lt;br/&gt;
    </content>
    <updated>2026-08-13T11:37:58Z</updated>
  </entry>

  <entry>
    <id>https://njump.me/nevent1qqs8y0la76q0vvy0yq5evmj5xg0mtxstgdts9dlr8956nuk98egpawgzyqhc73f3afz0kfvjsf6jcttpk0pme8zdy96hzfqkt65ld0w4cel35flxasu</id>
    
      <title type="html">I would say on a higher level ML models are good for modeling ...</title>
    
    <link rel="alternate" href="https://njump.me/nevent1qqs8y0la76q0vvy0yq5evmj5xg0mtxstgdts9dlr8956nuk98egpawgzyqhc73f3afz0kfvjsf6jcttpk0pme8zdy96hzfqkt65ld0w4cel35flxasu" />
    <content type="html">
      In reply to &lt;a href=&#39;/nevent1qqsf9gjntdxl47sefr7vy5mjvdtcjphyws845xy4l8556vj4xs85c0sqxqpd5&#39;&gt;nevent1q…qpd5&lt;/a&gt;&lt;br/&gt;_________________________&lt;br/&gt;&lt;br/&gt;I would say on a higher level ML models are good for modeling &amp;#34;an intuition&amp;#34; about interesting directions. This is helpful in automated proof search (or game playing) as a fast heuristic to guide the search. &lt;br/&gt;&lt;br/&gt;For human/AI interaction, the question then becomes whether &amp;#34;an intuition&amp;#34; is &amp;#34;a human-like intuition&amp;#34;. There, I think the models have a tendency to diverge from human instincts, which makes it difficult to collaborate. They &amp;#34;experience&amp;#34; the world very differently to us and what is simple to them can be very complex to us.
    </content>
    <updated>2026-07-25T11:04:43Z</updated>
  </entry>

  <entry>
    <id>https://njump.me/nevent1qqstu3tylff5j33luxyrzdccetqns3u46st7cfeh9s7paf85whrnt0czyqhc73f3afz0kfvjsf6jcttpk0pme8zdy96hzfqkt65ld0w4cel35fpqxgj</id>
    
      <title type="html">I&amp;#39;m somewhat hopeful that mathematics will become more about ...</title>
    
    <link rel="alternate" href="https://njump.me/nevent1qqstu3tylff5j33luxyrzdccetqns3u46st7cfeh9s7paf85whrnt0czyqhc73f3afz0kfvjsf6jcttpk0pme8zdy96hzfqkt65ld0w4cel35fpqxgj" />
    <content type="html">
      In reply to &lt;a href=&#39;/nevent1qqsy3q4x7kx0ret06z46lu958pthz9nd3uhnkhxh54ptz8trnlrmlwg4y338u&#39;&gt;nevent1q…338u&lt;/a&gt;&lt;br/&gt;_________________________&lt;br/&gt;&lt;br/&gt;I&amp;#39;m somewhat hopeful that mathematics will become more about understanding than about who can prove the most theorems.&lt;br/&gt;&lt;br/&gt;Once the frontier of what can be proven is entirely the domain of the machines, the question will be: what part of it can we still understand?&lt;br/&gt;&lt;br/&gt;That kind of mathematics would require a whole new set of skills, and tools, but I think it&amp;#39;s a worthwhile pursuit.
    </content>
    <updated>2026-07-24T09:57:39Z</updated>
  </entry>

</feed>