Misc

Mathematics and AI

The fall of the theorem economy by David Bessis

Duet for the end of Math by Matilde Marcolli

Raw Mathematics by Manuel Rivera

Articles documenting how AI helped solve problems:

Claude’s cycles by Donald Knuth

The neurosurgery resident who proved Crouzeix’s conjecture by Alex Townsend and Anne Greenbaum

Mathematics

Birds and Frogs by Freeman Dyson