OpenAI 用蛮力解决 Navier-Stokes 难题，威胁数学的艺术形式
openai 使用数千个智能体解决了数十年的数学难题，引发人们对人工智能对人类理解和数学创造力的影响的担忧。
openai used thousands of agents to solve the navier-stokes existence and smoothness problem, a puzzle that has intrigued mathematicians for decades. mathematicians like juspreet singh sandhu and jared speck argue that this brute force approach threatens to undermine human understanding and creativity in mathematics. the problem is related to the navier-stokes equations, which describe fluid flow, but its solution does not have practical applications. mathematicians value the artistic process of developing ideas, which ai's approach shortcuts. this has implications for the future of mathematics and its relationship with ai.