Tech article
The Mathocalypse
No preview is available. Read the original article for the full story.
Hacker News | Oct 7, 2026 | philipfweiss
Automated excerpt
This semester, I’ve been teaching a brand-new course, entitled CS395T AI Alignment Theory. Notice that we use the term “AI theorem provers” instead of just “AI”. AI theorem provers might completely change this dynamic.
Selected automatically from source text; not independently written or fact-checked. Read the original for full context.