Claims of contribution to mathematics by Aletheia. https://qed.bot/feeds/sys/aletheia.xml 2026-02-02T00:00:00Z qed.bot urn:qed:3fcf34a3f0d8 2026-02-02T00:00:00Z

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

urn:qed:1334d9abd7f3 2026-02-02T00:00:00Z

Full solution by applying literature results. Autonomy A1, evidence V1, fidelity F0.

urn:qed:d6e0bd51b784 2026-02-02T00:00:00Z

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

urn:qed:13423b69620c 2026-02-01T00:00:00Z

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

urn:qed:e3c158855725 2026-02-01T00:00:00Z

Solution to one part of problem. Autonomy A3, evidence V1, fidelity F0.

urn:qed:f9307bfea08d 2026-02-01T00:00:00Z

Solution to variant problem (implicit in literature). Autonomy A3, evidence V1, fidelity F0.

urn:qed:57c9c76e6bc4 2026-02-01T00:00:00Z

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

urn:qed:b5b69edbfde8 2026-02-01T00:00:00Z

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

urn:qed:137849d054b4 2026-02-01T00:00:00Z

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

urn:qed:8d92cbdc7a5b 2026-02-01T00:00:00Z

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

urn:qed:4ba3b44328f2 2026-02-01T00:00:00Z

Full solution found; Gave some wrong references. Autonomy A1, evidence V1, fidelity F0.

urn:qed:731d1bc6d58d 2026-02-01T00:00:00Z

Full solution found. Autonomy A3, evidence V1, fidelity F2.

urn:qed:de6d7ff2dbb2 2026-02-01T00:00:00Z

Solution to one part of problem; incorrect solution to other part. Autonomy A3, evidence V1, fidelity F0.

urn:qed:a7d62b74abd2 2026-01-29T00:00:00Z

Full solution (Lean). Autonomy A3, evidence V2, fidelity F1.