Core Insights - The article discusses the recent claims regarding AI's capabilities in solving mathematical problems, highlighting both the skepticism and the actual breakthroughs achieved with AI assistance [1][2][3]. Group 1: AI's Role in Mathematical Discoveries - UCLA professor Ernest Ryu utilized ChatGPT to solve an unsolved problem in convex optimization, demonstrating AI's potential in mathematical research [4][19]. - Ryu's work involved a complex dynamic system represented by differential equations, where he proved that a rolling ball in a bowl would eventually settle at the lowest point, a significant challenge in optimization theory [7][8][19]. - The proof process was highly interactive, with ChatGPT providing numerous ideas, although many were incorrect, showcasing the necessity of expert guidance in AI-assisted research [19][21]. Group 2: AI as Co-Author - Another professor, Paata Ivanisvili, announced that GPT-5 Pro helped him discover a counterexample to a mathematical proposition, leading him to list ChatGPT as a co-author on his paper [24][27]. - The article notes that AI has previously appeared as a co-author in academic papers, raising questions about the ethics and responsibilities of AI in research [36][39]. Group 3: Future of AI in Research - The experiences shared by Ryu and Ivanisvili indicate a shift towards collaborative research between human experts and AI, suggesting that future scientific advancements may rely on deep interactions between the two [39]. - The article encourages researchers to share their experiences with AI in their work, reflecting a growing trend of integrating AI into academic research [39].
前两天刚被群嘲,ChatGPT转头就解决了一个数学难题
机器之心·2025-10-23 07:45