- formatting
- images
- links
- math
- code
- blockquotes
- external-services
•
•
•
•
•
•
-
AI in mathematics may be less like a calculator and more like a tractor
A few analogies for how AI might change mathematical work
-
What should students learn in the AI era?
Rethinking education
-
When AI is a better prover, perhaps our most important job is deciding what is worth proving.
Only for the time being...
-
The AI Safety Paradox
If AI is (expected to be) super-humanly intelligent, should we just build it and let it solve safety?
-
Double descent, grokking, enlightenment, wisdom, aging, ...
Is there a universal rule to explain them all?