Claims of contribution to mathematics by GPT-5.6. https://qed.bot/feeds/sys/gpt-5-6.xml 2026-07-15T00:00:00Z qed.bot urn:qed:9d772c4a5da2 2026-07-15T00:00:00Z

Resolved the main problem in the affirmative.. Autonomy A?, evidence V3, fidelity F2.

urn:qed:34a41d20f5f9 2026-07-14T00:00:00Z

Proved that χ(G) − ζ(G) ≫ n/(log n)^3 almost surely, as Heckel predicted, so the difference tends to infinity.. Autonomy A1, evidence V1, fidelity F2.

urn:qed:c345dde5e446 2026-07-14T00:00:00Z

Proved that the series converges.. Autonomy A1, evidence V2, fidelity F2.

urn:qed:8011145c5132 2026-07-14T00:00:00Z

Resolved: the sum of M_k over k ≤ n is at least n^(3/2 − o(1)), so M_n > n^(1/2 − o(1)) for infinitely many n.. Autonomy A1, evidence V1, fidelity F2.