OpenAI's recent achievement in disproving the 80-year-old planar unit distance problem has sparked excitement in the mathematical community and beyond. This breakthrough, which was made by a general-purpose reasoning model, showcases the potential of AI in advancing mathematical understanding. However, it also raises questions about the role of human expertise in the process. While the AI's ability to persevere down paths that humans might have dismissed is impressive, the involvement of human researchers in the validation and improvement of the proof is crucial. This collaboration between AI and human mathematicians highlights the importance of human insight and creativity in the pursuit of mathematical progress. The impact of AI on the world of creative thought is becoming increasingly evident, and it is likely to play a fundamental role in future scientific research. However, it is essential to recognize the value of human expertise and the unique contributions it brings to the table. As AI continues to advance, the interplay between human and artificial intelligence will shape the future of mathematical discovery and innovation.
