Schmitt’s findings reveal that GPT-5, as a leading large language model, has achieved the first fully autonomous mathematical problem-solving process. Its solution not only bypassed conventional logic but also innovatively integrated techniques from algebraic geometry subfields, demonstrating creativity beyond human expectations. In his assessment, Schmitt emphasized that this breakthrough aligns with predictions made by mathematics luminary Terence Tao regarding AI’s potential, compelling the scientific community to accelerate its adaptation to the new reality of independent AI contributions. The proof is currently undergoing rigorous peer review to ensure scientific rigor, reflecting the growing credibility of AI in high-level research.
On the academic publishing front, Schmitt’s paper experimentally embraced a highly digitalized collaborative framework: GPT-5 and Gemini3Pro worked together to construct the proof, Claude handled narrative text generation, and ChatGPT5.2 assisted in producing the formal Lean proof. To maintain research transparency, each paragraph in the paper precisely attributes contributions from AI and humans, with embedded links to original interaction records for 100% traceability. While this approach to upholding academic integrity has been recognized, its operational complexity and time demands have sparked debate. Some experts worry it may devolve into a form of academic bureaucracy that stifles innovation, particularly as AI becomes integrated into daily research, making such a model potentially unsustainable.

This event also prompts a deeper questioning of the nature of science. Although Schmitt’s method is transparent, it exposes the blurring of human-machine boundaries—while AI produces answers independently, the design of prompts and selection of results remain influenced by human will. The scientific community must address a fundamental question: Can purely AI-generated contributions be considered legitimate in the absence of initial human intent? As the AI industry trends toward greater autonomy in large models, surging demand for computing power will accelerate chipmaker innovation, and infrastructure upgrades will become a critical pillar supporting such AI applications, reshaping the landscape of research and commercial use. At the same time, this breakthrough underscores AI’s potential in computing power-intensive tasks, indicating a growing need for the industry to focus on infrastructure optimization to meet future challenges.