bluesky — Tommaso Sciortino — 22 Sep 2026
And sure: a single proof to a single math problem can be explained away. Could be coincidence. But the pattern is creati…
#ai-mathematics #mathematical-reasoning #proof-generation
And sure: a single proof to a single math problem can be explained away. Could be coincidence. But the pattern is creating multiple proofs of lang standing well known math problems is pretty striking and is evidence for (some!) intelligence.