<?xml version="1.0" encoding="utf-8" standalone="yes"?>
<rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom" xmlns:content="http://purl.org/rss/1.0/modules/content/">
  <channel>
    <title>Mathematical Proof on Cognaptus</title>
    <link>https://cognaptus.com/tags/mathematical-proof/</link>
    <description>Recent content in Mathematical Proof on Cognaptus</description>
    <generator>Hugo -- 0.145.0</generator>
    <language>en-us</language>
    <lastBuildDate>Fri, 10 Jul 2026 00:00:00 +0000</lastBuildDate>
    <atom:link href="https://cognaptus.com/tags/mathematical-proof/index.xml" rel="self" type="application/rss+xml" />
    <item>
      <title>The Proof Is in the Process</title>
      <link>https://cognaptus.com/blog/2026-07-10-compelling-accurate-title/</link>
      <pubDate>Fri, 10 Jul 2026 00:00:00 +0000</pubDate>
      <guid>https://cognaptus.com/blog/2026-07-10-compelling-accurate-title/</guid>
      <description>MaxProof shows how conservative verification, targeted repair, and population search can turn an inconsistent reasoning model into a more reliable decision system.</description>
    </item>
  </channel>
</rss>
