IEEE Spectrum · AI· Benjamin Skuse·· 8 小时前AI 评分74
AI破解重大未解数学问题引发数学界争议
AI Solves a Major Unsolved Math Problem. Not Everyone Is Happy
AI 导读
OpenAI宣布解决Navier–Stokes存在性与光滑性问题,在海德堡获奖者论坛上引发数学界激烈争论。该问题是七个千禧年大奖难题之一,目前仅Poincaré猜想被人类解决;Anthropic曾用未发布版Claude研究Riemann假设并取得相关进展,OpenAI据称正聚焦Hodge猜想。
来源:IEEE Spectrum · AI · spectrum.ieee.org