Annals of Mathematics

Did AI Just “Solve” Math? (Let’s Take a Closer Look)

Cal Newport

A top mathematical publication where a human-generated proof of the planer unit distance problem would be a significant achievement.