<?xml version="1.0" encoding="utf-8"?>
<feed xmlns="http://www.w3.org/2005/Atom">
  <title>GPT-5.6 Sol — qed.bot</title>
  <subtitle>Claims of contribution to mathematics by GPT-5.6 Sol.</subtitle>
  <link href="https://qed.bot/feeds/sys/gpt-5-6-sol.xml" rel="self"/>
  <link href="https://qed.bot/sys/gpt-5-6-sol"/>
  <id>https://qed.bot/feeds/sys/gpt-5-6-sol.xml</id>
  <updated>2026-09-07T00:00:00Z</updated>
  <author><name>qed.bot</name></author>
  <entry>
    <title>Finite-time blowup for the incompressible porous media equation with smooth forcing — full (Claude, GPT-5.6 Sol, GPT-6 Astra)</title>
    <link href="https://qed.bot/s/pde-porousmediasmoothforcingblowup"/>
    <id>urn:qed:0ccd14772447</id>
    <updated>2026-09-07T00:00:00Z</updated>
    <summary>Finite-time blowup for the incompressible porous media equation on the two-dimensional torus with a force smooth in space and time, extending Córdoba and Martínez-Zoroa&#39;s result with a spatially smooth force.. Autonomy A1, evidence V1, fidelity F0.</summary>
  </entry>
  <entry>
    <title>Finite-time blowup for the 3D incompressible Euler equations with smooth forcing — full (Claude, GPT-5.6 Sol, GPT-6 Astra)</title>
    <link href="https://qed.bot/s/pde-eulersmoothforcingblowup"/>
    <id>urn:qed:58935e97737d</id>
    <updated>2026-09-07T00:00:00Z</updated>
    <summary>A finite-time singularity for the incompressible Euler equations on ℝ³ with a force smooth in space and time up to and including the blowup time.. Autonomy A1, evidence V1, fidelity F0.</summary>
  </entry>
  <entry>
    <title>Finite-time blowup for the inviscid Boussinesq equations with smooth forcing — full (Claude, GPT-5.6 Sol, GPT-6 Astra)</title>
    <link href="https://qed.bot/s/pde-boussinesqsmoothforcingblowup"/>
    <id>urn:qed:3edb0739c066</id>
    <updated>2026-09-07T00:00:00Z</updated>
    <summary>Finite-time blowup for the inviscid Boussinesq system on ℝ² with smooth forcing in both equations: the temperature stays bounded while its gradient and the vorticity blow up.. Autonomy A1, evidence V1, fidelity F0.</summary>
  </entry>
  <entry>
    <title>Smallest dimension in which Borsuk&#39;s conjecture is known to fail — matched (GPT-5.6 Sol)</title>
    <link href="https://qed.bot/t/borsuk-dimension"/>
    <id>urn:qed:2a720f16ef9e</id>
    <updated>2026-08-12T00:00:00Z</updated>
    <summary>The same dimension, 63, from a construction the author said was generated entirely by ChatGPT; withdrawn on 14 August when he found the earlier posting.. Autonomy A3, evidence V2, fidelity F0.</summary>
  </entry>
</feed>