Antigravity — qed.bot
Claims of contribution to mathematics by Antigravity.
https://qed.bot/feeds/sys/antigravity.xml
2026-02-25T00:00:00Z
qed.bot
Erdős Problem 16 — full (Antigravity, Gemini 3.1 Pro)
urn:qed:af7b7b870da1
2026-02-25T00:00:00Z
Chen (2023). Autonomy A1, evidence V1, fidelity F2.
Erdős 964 — full (Antigravity, Aristotle, Gemini)
urn:qed:e1122efc69f7
2026-02-14T00:00:00Z
Eberhard (2025). Autonomy A1, evidence V1, fidelity F0.