Core Viewpoint - The collaboration between mathematician Terence Tao and the AI model Gemini has successfully solved a long-standing mathematical problem in just ten minutes, showcasing the potential of AI in mathematical proofs [1][3][25]. Group 1: Problem Overview - The problem addressed is the 367 problem proposed by Paul Erdős, which involves the 2-full part of an integer n and the existence of a constant for sufficiently large n [12][14]. - The problem requires verification of the existence of a limit supremum under specific conditions [16]. Group 2: AI's Role in the Solution - Terence Tao utilized Gemini Deep Think to complete the proof, which took only ten minutes, demonstrating the efficiency of AI in mathematical reasoning [19][20]. - Following the AI's proof, Tao spent an additional thirty minutes converting the AI's p-adic algebraic proof into a more fundamental argument [21]. Group 3: Collaborative Efforts - Two days later, Boris Alexeev used the Harmonic Aristotle tool to formalize the proof, taking two to three hours to complete the process [24]. - The problem was ultimately resolved through the collaboration between Gemini and human mathematicians, highlighting the synergy between AI and human expertise [25]. Group 4: Future Implications - This instance is not the first time Tao has employed AI for mathematical work, indicating a growing trend of AI assisting in mathematical proofs [29]. - The advancements in AI's mathematical reasoning capabilities suggest that future mathematics will involve more experimental approaches rather than solely theoretical ones [30].