bluesky — Petra Schwer — 10 Sep 2026
This is exactly what those companies are after: tricking everybody into the perception that 'all math is solved by AI'.…
#philosophy-of-mathematics #ai-in-mathematics #mathematical-culture
This is exactly what those companies are after: tricking everybody into the perception that 'all math is solved by AI'. Here's my reply to this.
web.mathi.uni-heidelberg.de/media/Meanin...