People keep saying AI cannot do real mathematics. That argument is getting harder to maintain.
A system has just solved an 80 year old problem that had left top mathematicians stuck, prompting genuine surprise from the field.
Either way, the boundary between human and machine problem solving is starting to look a lot less solid than it used to.
