ten AIdvances in nothing really

cool article:

Mathematics Without Mathematicians

not wrong yet here is a soft rebuttal for fun.

[at] some point, the human pointing the way will get worse results than [running an LLM]

[1] we already have this with software factories. obsidian is still popular. we have factories. hand-made things get traded. we like diversity. we don't like to think. I want my artisan theorem maker.

AIs will be better teachers than the humans

[2] mit ocw is better than most university courses. sal can teach your kid better than you khan.

AIs will build the cathedral on their own

[3] there is no one cathedral have you seen politics, religion, AI

distance from elementary mathematics to the frontier exceeds what any human can hope to learn in their lifetime, no matter how narrow their focus

[4] sounds like a multi-generational effort that's cool i can let my kid know what i know it will be our little family secret

live in a demon-haunted world

[5] we already do most people don't know how a car works, vaccines work, or their own body works it's a travesty really.

chess is self-contained

[6] a mathematically formalized problem is self contained. have you ever tried to solve sphere-packing density and ended up curing cancer, me neither :'(.

small world we inhabit.

two computers which are superhuman at chess play against each other, who cares

[7] nahh come on. we'll always have paris.

https://www.youtube.com/embed/nmv8BIwAPIs?rel=0

discourse has gotten worse, and vastly more anti-intellectual

[8] hopefully not in my community.

people who used to talk about type systems and compilers now talk about “loops” and “harnesses”

[9] out-talk them if you care or join some other people.

about outcomes in the world

[0] there is no one cathedral. small world.

and so we chope.