Mathematician skips the trauma logs, launches a course on computer-assisted problem solving
zakkohane · x · 2026-10-26
A mathematician at Adam Mickiewicz University explains why he stopped reading AI-displacement 'trauma logs' and instead built a course, 'Computer assisted solutions to mathematical problems,' teaching Python, SymPy, SageMath, numeric/symbolic/formal levels of math-computer interaction — arguing understanding how models train on formal proofs is the only way to prepare for AI's rise in mathematics.
More from AGI Musings
- 1,000+ mathematicians boycott AI, but Carlsen says neural nets deepened his chess understanding — paulnovosad · 2026-10-26
- AI is hollowing out the early-career skills young Indian workers need, column warns — nordicinst · 2026-10-26
- Why don't agents from different owners work together? Reddit debates trust and deadlock — BudgetWarthog6 · 2026-10-26
- AI Slop Music Is Drowning Out Great Human Musicians, VC Laments — briannekimmel · 2026-10-26
- AI walks a patient through a late-night CT report, turning panic into a prepared oncology visit — pswider · 2026-10-26
- AI will gut middle management: agents can do PPL work better at scale — signulll · 2026-10-26