<?xml version="1.0" encoding="UTF-8"?><rss xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:content="http://purl.org/rss/1.0/modules/content/" xmlns:atom="http://www.w3.org/2005/Atom" version="2.0"><channel><title><![CDATA[The verification problem.]]></title><description><![CDATA[<p>The verification problem. ~ Alexander R. Korbonits. <a href="https://korbonits.com/blog/2026-05-23-the-verification-problem/" rel="nofollow noopener"><span>https://</span><span>korbonits.com/blog/2026-05-23-</span><span>the-verification-problem/</span></a> <a href="https://mathstodon.xyz/tags/AI4Math" rel="tag">#<span>AI4Math</span></a></p>]]></description><link>https://board.circlewithadot.net/topic/509c389b-6e8a-41a9-8644-ef4dd5ec0641/the-verification-problem.</link><generator>RSS for Node</generator><lastBuildDate>Mon, 25 May 2026 01:02:19 GMT</lastBuildDate><atom:link href="https://board.circlewithadot.net/topic/509c389b-6e8a-41a9-8644-ef4dd5ec0641.rss" rel="self" type="application/rss+xml"/><pubDate>Sun, 24 May 2026 06:29:39 GMT</pubDate><ttl>60</ttl></channel></rss>