bluesky — Gizem Karaali 🧿 — 26 Aug 2026
"not right to call proving one conjecture made by a mathematician, using theory developed by over a century of work by m…
#ai-assisted-mathematics #philosophy-of-mathematics #research-methodology
"not right to call proving one conjecture made by a mathematician, using theory developed by over a century of work by mathematicians, with an AI built by mathematicians and trained by reading everything ever written by all mathematicians as 'replacing mathematicians'." Thomas Bloom via Cal Newport.