Comment by kevinbuzzard

A discussion by Boris Alexeev on recent events in AI + mathematics