观点 / 方法精选
Thomas Wolf 认为 AI 数学尚未被解决,Navier-Stokes 结果更像反例搜索而非完整证明
原始标题:friends are regularly surprised when i say i don't think math is (yet) "solved," so in the wake of t…
内容摘要
Hugging Face 联创 Thomas Wolf 回应 OpenAI 用下一代模型(强于 GPT-6 Astra)的 agent 群组证明 Navier-Stokes 千禧年问题猜想为假的结果,称其令人印象深刻。
内容分类AI 观点与方法
内容层级精选情报
发布时间(北京时间)
本站收录时间(北京时间)
信息来源X:Thomas Wolf(Hugging Face 联创/CSO) (@Thom_Wolf)
站内情报编号intel-2496d4a8efbfe7ac3cdda4e7