Archivara — qed.bot Claims of contribution to mathematics by Archivara. https://qed.bot/feeds/sys/archivara.xml 2025-12-26T00:00:00Z qed.bot Erdős Problem 897 — full (Archivara, Aristotle) urn:qed:a0d51f7c54ea 2025-12-26T00:00:00Z Full solution (Lean). Autonomy A3, evidence V2, fidelity F2.