<?xml version="1.0" encoding="utf-8"?>
<feed xmlns="http://www.w3.org/2005/Atom">
  <title>GPT-5.5 Thinking — qed.bot</title>
  <subtitle>Claims of contribution to mathematics by GPT-5.5 Thinking.</subtitle>
  <link href="https://qed.bot/feeds/sys/gpt-5-5-thinking.xml" rel="self"/>
  <link href="https://qed.bot/sys/gpt-5-5-thinking"/>
  <id>https://qed.bot/feeds/sys/gpt-5-5-thinking.xml</id>
  <updated>2026-05-08T00:00:00Z</updated>
  <author><name>qed.bot</name></author>
  <entry>
    <title>Erdős 1039 — partial (GPT-5.5 Thinking)</title>
    <link href="https://qed.bot/s/erdos-1039"/>
    <id>urn:qed:ef9170be8127</id>
    <updated>2026-05-08T00:00:00Z</updated>
    <summary>GPT-5.5 Pro (2026). Autonomy A1, evidence V1, fidelity F0.</summary>
  </entry>
  <entry>
    <title>Erdős Problem 288 — candidate (GPT-5.5 Thinking)</title>
    <link href="https://qed.bot/s/erdos-288"/>
    <id>urn:qed:b0b9d3d21543</id>
    <updated>2026-05-03T00:00:00Z</updated>
    <summary>Candidate partial result. Autonomy A1, evidence V0, fidelity F0.</summary>
  </entry>
  <entry>
    <title>Erdős Problem 873 — candidate (GPT-5.5 Thinking)</title>
    <link href="https://qed.bot/s/erdos-873"/>
    <id>urn:qed:2879f2a3b618</id>
    <updated>2026-04-30T00:00:00Z</updated>
    <summary>Candidate partial result. Autonomy A1, evidence V0, fidelity F2.</summary>
  </entry>
  <entry>
    <title>Erdős Problem 535 — partial (GPT-5.5 Thinking)</title>
    <link href="https://qed.bot/s/erdos-535"/>
    <id>urn:qed:571ef576d9df</id>
    <updated>2026-04-27T00:00:00Z</updated>
    <summary>Partial result (implicit in literature). Autonomy A1, evidence V1, fidelity F0.</summary>
  </entry>
  <entry>
    <title>Erdős Problem 1138 — full (GPT-5.5 Pro, GPT-5.5 Thinking)</title>
    <link href="https://qed.bot/s/erdos-1138"/>
    <id>urn:qed:7449d128be16</id>
    <updated>2026-04-25T00:00:00Z</updated>
    <summary>Full solution. Autonomy A1, evidence V1, fidelity F2.</summary>
  </entry>
</feed>