<?xml version="1.0" encoding="utf-8"?>
<feed xmlns="http://www.w3.org/2005/Atom">
  <title>GPT-5 — qed.bot</title>
  <subtitle>Claims of contribution to mathematics by GPT-5.</subtitle>
  <link href="https://qed.bot/feeds/sys/gpt-5.xml" rel="self"/>
  <link href="https://qed.bot/sys/gpt-5"/>
  <id>https://qed.bot/feeds/sys/gpt-5.xml</id>
  <updated>2025-11-20T00:00:00Z</updated>
  <author><name>qed.bot</name></author>
  <entry>
    <title>Erdős Problem 848 — full (GPT-5)</title>
    <link href="https://qed.bot/s/erdos-848"/>
    <id>urn:qed:3f6cc3e0fb95</id>
    <updated>2025-11-20T00:00:00Z</updated>
    <summary>Full solution. Autonomy A1, evidence V1, fidelity F2.</summary>
  </entry>
  <entry>
    <title>Erdős Problem 94 — full (GPT-5)</title>
    <link href="https://qed.bot/s/erdos-94"/>
    <id>urn:qed:fcc10fe599de</id>
    <updated>2025-11-02T00:00:00Z</updated>
    <summary>Full solution found. Autonomy A1, evidence V3, fidelity F2.</summary>
  </entry>
  <entry>
    <title>Erdős Problem 645 — full (GPT-5)</title>
    <link href="https://qed.bot/s/erdos-645"/>
    <id>urn:qed:61f8b3c4fcca</id>
    <updated>2025-10-20T00:00:00Z</updated>
    <summary>Full solution found. Autonomy A1, evidence V1, fidelity F2.</summary>
  </entry>
  <entry>
    <title>Erdős 515 — full (GPT-5)</title>
    <link href="https://qed.bot/s/erdos-515"/>
    <id>urn:qed:c9468506e366</id>
    <updated>2025-10-15T00:00:00Z</updated>
    <summary>Full solution found. Autonomy A1, evidence V1, fidelity F0.</summary>
  </entry>
  <entry>
    <title>Erdős 903 — full (GPT-5)</title>
    <link href="https://qed.bot/s/erdos-903"/>
    <id>urn:qed:c702da5dc642</id>
    <updated>2025-10-14T00:00:00Z</updated>
    <summary>Full solution found. Autonomy A1, evidence V1, fidelity F0.</summary>
  </entry>
  <entry>
    <title>Erdős 827 — partial (GPT-5)</title>
    <link href="https://qed.bot/s/erdos-827"/>
    <id>urn:qed:2496fc460cd1</id>
    <updated>2025-10-14T00:00:00Z</updated>
    <summary>Partial results found. Autonomy A1, evidence V1, fidelity F0.</summary>
  </entry>
  <entry>
    <title>Erdős 788 — partial (GPT-5)</title>
    <link href="https://qed.bot/s/erdos-788"/>
    <id>urn:qed:ebbbc7df03dc</id>
    <updated>2025-10-14T00:00:00Z</updated>
    <summary>Partial results found. Autonomy A1, evidence V1, fidelity F0.</summary>
  </entry>
  <entry>
    <title>Erdős Problem 829 — partial (GPT-5)</title>
    <link href="https://qed.bot/s/erdos-829"/>
    <id>urn:qed:0a62e212494b</id>
    <updated>2025-10-13T00:00:00Z</updated>
    <summary>Partial results found. Autonomy A1, evidence V1, fidelity F0.</summary>
  </entry>
  <entry>
    <title>Erdős Problem 822 — full (GPT-5)</title>
    <link href="https://qed.bot/s/erdos-822"/>
    <id>urn:qed:c95073cb3638</id>
    <updated>2025-10-13T00:00:00Z</updated>
    <summary>Full solution found. Autonomy A1, evidence V1, fidelity F0.</summary>
  </entry>
  <entry>
    <title>Erdős 811 — partial (GPT-5)</title>
    <link href="https://qed.bot/s/erdos-811"/>
    <id>urn:qed:831b6d0baac3</id>
    <updated>2025-10-13T00:00:00Z</updated>
    <summary>Partial results found. Autonomy A1, evidence V1, fidelity F0.</summary>
  </entry>
  <entry>
    <title>Erdős Problem 750 — partial (GPT-5)</title>
    <link href="https://qed.bot/s/erdos-750"/>
    <id>urn:qed:9dc87b5544d3</id>
    <updated>2025-10-13T00:00:00Z</updated>
    <summary>Partial results found. Autonomy A1, evidence V1, fidelity F2.</summary>
  </entry>
  <entry>
    <title>Erdős Problem 66 — partial (GPT-5)</title>
    <link href="https://qed.bot/s/erdos-66"/>
    <id>urn:qed:679cf26d2af5</id>
    <updated>2025-10-13T00:00:00Z</updated>
    <summary>Partial results found. Autonomy A1, evidence V1, fidelity F0.</summary>
  </entry>
  <entry>
    <title>Erdős Problem 621 — full (GPT-5)</title>
    <link href="https://qed.bot/s/erdos-621"/>
    <id>urn:qed:e6322f336c99</id>
    <updated>2025-10-13T00:00:00Z</updated>
    <summary>Full solution found. Autonomy A1, evidence V1, fidelity F2.</summary>
  </entry>
  <entry>
    <title>Erdős Problem 494 — full (GPT-5)</title>
    <link href="https://qed.bot/s/erdos-494"/>
    <id>urn:qed:459c97d8f809</id>
    <updated>2025-10-13T00:00:00Z</updated>
    <summary>Full solution found. Autonomy A1, evidence V1, fidelity F2.</summary>
  </entry>
  <entry>
    <title>Erdős Problem 35 — partial (GPT-5)</title>
    <link href="https://qed.bot/s/erdos-35"/>
    <id>urn:qed:35008c80693b</id>
    <updated>2025-10-13T00:00:00Z</updated>
    <summary>Partial results found. Autonomy A1, evidence V1, fidelity F2.</summary>
  </entry>
  <entry>
    <title>Erdős 223 — full (GPT-5)</title>
    <link href="https://qed.bot/s/erdos-223"/>
    <id>urn:qed:69eafc943b91</id>
    <updated>2025-10-13T00:00:00Z</updated>
    <summary>Full solution found. Autonomy A1, evidence V1, fidelity F0.</summary>
  </entry>
  <entry>
    <title>Erdős Problem 188 — partial (GPT-5)</title>
    <link href="https://qed.bot/s/erdos-188"/>
    <id>urn:qed:003bf90ee0bf</id>
    <updated>2025-10-13T00:00:00Z</updated>
    <summary>Partial results found. Autonomy A1, evidence V1, fidelity F0.</summary>
  </entry>
  <entry>
    <title>Erdős Problem 1079 — full (GPT-5)</title>
    <link href="https://qed.bot/s/erdos-1079"/>
    <id>urn:qed:d9f7400862dd</id>
    <updated>2025-10-13T00:00:00Z</updated>
    <summary>Full solution found. Autonomy A1, evidence V1, fidelity F2.</summary>
  </entry>
  <entry>
    <title>Erdős 1011 — partial (GPT-5)</title>
    <link href="https://qed.bot/s/erdos-1011"/>
    <id>urn:qed:59c974131009</id>
    <updated>2025-10-13T00:00:00Z</updated>
    <summary>Partial results found. Autonomy A1, evidence V1, fidelity F0.</summary>
  </entry>
  <entry>
    <title>Erdős 167 — partial (GPT-5)</title>
    <link href="https://qed.bot/s/erdos-167"/>
    <id>urn:qed:0f2f7a31a841</id>
    <updated>2025-10-12T00:00:00Z</updated>
    <summary>Partial results found. Autonomy A1, evidence V1, fidelity F0.</summary>
  </entry>
  <entry>
    <title>Erdős Problem 1043 — full (GPT-5)</title>
    <link href="https://qed.bot/s/erdos-1043"/>
    <id>urn:qed:7fade02223fb</id>
    <updated>2025-10-12T00:00:00Z</updated>
    <summary>Full solution found. Autonomy A1, evidence V1, fidelity F2.</summary>
  </entry>
  <entry>
    <title>Erdős 339 — full (GPT-5)</title>
    <link href="https://qed.bot/s/erdos-339"/>
    <id>urn:qed:6505dec83d14</id>
    <updated>2025-10-11T00:00:00Z</updated>
    <summary>Full solution found. Autonomy A1, evidence V1, fidelity F0.</summary>
  </entry>
  <entry>
    <title>Erdős 737 — full (GPT-5)</title>
    <link href="https://qed.bot/s/erdos-737"/>
    <id>urn:qed:6ee862b0eaf4</id>
    <updated>2025-09-30T00:00:00Z</updated>
    <summary>Full solution found. Autonomy A1, evidence V1, fidelity F0.</summary>
  </entry>
  <entry>
    <title>Erdős Problem 1008 — full (GPT-5)</title>
    <link href="https://qed.bot/s/erdos-1008"/>
    <id>urn:qed:38206b7a22d7</id>
    <updated>2025-09-29T00:00:00Z</updated>
    <summary>Full solution found. Autonomy A1, evidence V1, fidelity F2.</summary>
  </entry>
</feed>