Haider. · @haider1 · X·2026-09-16 18:30·58分钟前
AI 导读

有消息称,AI 公司因 Navier-Stokes 证明引发数学界敌意反应,正搁置部分重大问题的解法,等待更好的处理方式。Haider 批评部分数学家的反对"自私且可悲",认为 AI 公司不应因此退缩,并反问解决所有千禧年难题并不会让数学消失。

Haider.@haider1
30AI 编辑部评分,满分 100
2026-09-16 18:30· 58分钟前
AI 导读

有消息称,AI 公司因 Navier-Stokes 证明引发数学界敌意反应,正搁置部分重大问题的解法,等待更好的处理方式。Haider 批评部分数学家的反对"自私且可悲",认为 AI 公司不应因此退缩,并反问解决所有千禧年难题并不会让数学消失。

the screams from some mathematicians about AI assisting with millennium problems are getting beyond selfish

even more pathetic when AI companies start holding back because of them

let them cry

do they seriously think math disappears if we solve all the millennium problems?

Anthony Leverrier"I’m told that the AI companies, having been burned by the hostile response to the Navier-Stokes proof, are now sitting on solutions to some very major problems...

来源:Haider.· x.com