bluesky — Axe Ghost. On Steam! — 14 Sep 2026
it's already happening. a mathematician worked with chatgpt to analyse the ai proof of erdos #728. the method then helpe…
#ai-mathematics #proof-verification #collaborative-ai
it's already happening. a mathematician worked with chatgpt to analyse the ai proof of erdos #728. the method then helped him derive a proof of #729