#AI证明

数学家难以理解OpenAI AI代理解决复杂数学难题的“证明”

OpenAI利用其AI代理团队声称解决了Navier-Stokes方程这一数学难题，但数学界对其“证明”的可理解性提出质疑。