Tech article
After Math
No preview is available. Read the original article for the full story.
Hacker News | Sep 13, 2026 | throwaway81523
Automated excerpt
The narrative that AI has “solved” mathematics rests on two assumptions, both seductive and plausible, but both wrong: AI really did solve a problem in mathematics. Mathematics is only about solving problems. This is the intelligible notion of proof. Genuine problem solving is certainly one of the principal aims of mathematics. Terence Tao (2026) lists many goals of mathematics beyond problem solving.
Selected automatically from source text; not independently written or fact-checked. Read the original for full context.