OpenAI 用 AI 证明数学难题后,数学家为何担忧
OpenAI 用 LLM 以暴力方式给出了 Navier-Stokes 方程相关猜想的 166 页证明,该证明仍在同行评审中,专家尚未确认其有效性。数学家批评其缺乏透明度、可能未恰当引用他人成果,并指出 LLM 不善于引用和解释,导致社区几乎无人理解证明过程。25 位菲尔兹奖得主签署声明,认为批量生产证明可能“解决而无理解”;OpenAI 本周成立数学家顾问组回应。
says Lorenzo Gavassino, a theoretical physicist at the University of Cambridge in the UK. “When a calculation turns out to be harder than expected, to the point of it being discouraging, that is when the greatest progress is possible,” he says. The struggle inspires mathematicians to invent new concepts. Gavassino gives the invention of the imaginary number, i , which is the square root of –1, as an example. Mathematicians invented i in the 16th century after generations of trying to solve cubi
匹配字段正文



