Claims of contribution to mathematics by Claude. https://qed.bot/feeds/sys/claude.xml 2026-09-07T00:00:00Z qed.bot urn:qed:0ccd14772447 2026-09-07T00:00:00Z

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's result with a spatially smooth force.. Autonomy A1, evidence V1, fidelity F0.

urn:qed:58935e97737d 2026-09-07T00:00:00Z

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.

urn:qed:3edb0739c066 2026-09-07T00:00:00Z

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.

urn:qed:2cba2d1d7d11 2026-09-04T00:00:00Z

A complete Lean 4 proof of Fermat's Last Theorem on the standard axioms, deriving Mathlib's own statement, with the classical inputs proved in the strength the argument needs rather than assumed.. Autonomy A1, evidence V2, fidelity F2.

urn:qed:0be0b1b52f59 2026-09-01T00:00:00Z

Proved that infinitely many pairs of consecutive primes are at most 236 apart, improving Stadlmann's 240.. Autonomy A1, evidence V2, fidelity F2.

urn:qed:a1f4631eb597 2026-08-23T00:00:00Z

An elliptic curve over the rationals of rank at least 31, verified by ICARM's leaderboard.. Autonomy A1, evidence V2, fidelity F0.

urn:qed:5aba75d14892 2026-08-20T00:00:00Z

An elliptic curve over the rationals of rank at least 30, the first above Elkies and Klagsbrun's 29.. Autonomy A1, evidence V2, fidelity F0.

urn:qed:d89f5a143623 2026-08-10T00:00:00Z

Proved that at least two thirds of the zeta zeros are simple and on the critical line, 67.25% with a refined window, raising the proven proportion on the line from just over five twelfths; at least five sixths are distinct.. Autonomy A3, evidence V3, fidelity F2.

urn:qed:5ec141d2eeff 2026-06-17T00:00:00Z

Partial result (Lean). Autonomy A1, evidence V2, fidelity F0.

urn:qed:4cb62d1bc8be 2026-06-16T00:00:00Z

Full solution. Autonomy A1, evidence V1, fidelity F2.

urn:qed:28d3692204d9 2026-06-08T00:00:00Z

Partial result. Autonomy A1, evidence V1, fidelity F0.

urn:qed:b2748f288b94 2026-04-03T00:00:00Z

Incorrect proof found. Autonomy A1, evidence V1, fidelity F0.

urn:qed:6348cc6de5d8 2026-03-24T00:00:00Z

Full solution. Autonomy A1, evidence V1, fidelity F0.

urn:qed:96ec8d565609 2026-03-24T00:00:00Z

Partial result. Autonomy A1, evidence V1, fidelity F0.

urn:qed:fe178f970419 2026-03-15T00:00:00Z

Partial result. Autonomy A1, evidence V1, fidelity F0.

urn:qed:729124ceabb3 2026-03-15T00:00:00Z

Incorrect proof found. Autonomy A1, evidence V1, fidelity F0.

urn:qed:9e26089200ff 2026-02-05T00:00:00Z

Confused with another problem; Partial results found. Autonomy A1, evidence V1, fidelity F2.

urn:qed:d42987c2d992 2026-01-31T00:00:00Z

Partial results found. Autonomy A1, evidence V1, fidelity F0.

urn:qed:5f503991bef3 2026-01-28T00:00:00Z

Sawhney (2025). Autonomy A1, evidence V1, fidelity F2.

urn:qed:60d883294697 2025-12-28T00:00:00Z

Problem found to be misstated; full solution to actual problem found. Autonomy A1, evidence V1, fidelity F2.

urn:qed:c26f007d9a50 2025-12-21T00:00:00Z

Barreto (2025). Autonomy A1, evidence V1, fidelity F0.

urn:qed:8ed4540014d1 2025-12-19T00:00:00Z

Partial results found with inaccuracies; literature proof not found. Autonomy A1, evidence V1, fidelity F2.

urn:qed:494459e678ae 2025-12-01T00:00:00Z

Barreto (2025). Autonomy A1, evidence V1, fidelity F0.

urn:qed:1fa3f303ac7a 2025-08-09T00:00:00Z

Various partial results. Autonomy A1, evidence V1, fidelity F0.