A human face for mathematics
News bulletin: another NASEM webinar on mechanization
Sentimental mathematical education
News flash: new NSF funding for AI in mathematical reasoning
Mechanical understanding of proof?
Kevin's all-synth techno band covers Andrew's greatest hit, part 2
Is AlphaGeometry a dead end?
About "artificial intuition"
All the textbooks will have to change, say donors