Recently, OpenAI publicly released 722 cutting-edge mathematical manuscripts, two of which directly target the century-old mathematical problem known as the Kakeya Conjecture. This breakthrough not only expands the boundaries of multidimensional mathematics but also has sparked a deep discussion in the global academic community about the role AI plays in frontier basic scientific research.
In the released manuscripts, the two core papers focus on the three-dimensional Kakeya maximal function conjecture and the full-dimensional proof of four-dimensional general Kakeya sets. The three-dimensional version is stronger than the previously solved three-dimensional Kakeya set version by young mathematician Wang Hong and Zahl; while the four-dimensional version dramatically advances the lower bound of the dimension of four-dimensional Kakeya sets from 3.059 to the full dimension of 4. Notably, the entire argument process of these two manuscripts extensively builds upon the classical mathematical methods and conclusions established by Wang Hong and her collaborators earlier.
Looking back at the development of mathematical research, Chinese young female mathematician Wang Hong once caused a global sensation with her outstanding proof of the three-dimensional Kakeya Conjecture, and was once considered a strong candidate for the Fields Medal. Now, OpenAI, through the large model-assisted generation of a massive proof manuscript, is launching an all-out attack on higher dimensions based on the solid foundation laid by predecessors.
However, a cautious attitude in scientific research remains indispensable. Currently, these two 175-page four-dimensional proof manuscripts are still awaiting independent expert verification. Industry experts point out that if the final argument withstands scrutiny and is confirmed to be valid, it will mark a historic breakthrough in the study of the Kakeya Conjecture and also signify that artificial intelligence has gained the powerful capability to participate in, and even lead, the tackling of humanity's top mathematical problems.
Join Now