DeepSeek DeepThink — qed.bot
Claims of contribution to mathematics by DeepSeek DeepThink.
https://qed.bot/feeds/sys/deepseek-deepthink.xml
2026-01-28T00:00:00Z
qed.bot
Erdős Problem 647 — incorrect (ChatGPT Deep research, DeepSeek DeepThink, Gemini)
urn:qed:74d10d26fa5e
2026-01-28T00:00:00Z
Incorrect proof found. Autonomy A3, evidence V1, fidelity F1.