Incentivizing mathematics in an era of AI-accelerated proof abundance – mathoverflow.net
Jon Bannon
Despite Timothy Gowers's relief that this recent AI solution of the Erdos Unit Distance Problem only involves a counterexample and not a proof in the positive (see the companion document in the link ...