霍斯金森：人工智能在数学领域的进展超出预期
-
最新报道：币界网消息，Cardano创始人查尔斯·霍斯金森表示，人工智能在高级数学领域的快速进展远超他的预期，尤其是在生成和正式验证复杂数学证明方面。他在最近的一次YouTube广播中讨论了与Navier-Stokes千年奖问题相关的AI生成方法的说法，称现代AI系统展现出的数学能力令人惊叹。霍斯金森指出，AI的出现使得数学证明的生成能力超出了他的想象，并强调了解决Navier-Stokes问题对数学和物理的重要性。他警告称，研究人员在使用强大的AI模型时应注意保护自己的知识产权。
下一篇
bbx上线$bulla、$lit、$solv永续合约
- 币界网消息，bbx于2026年9月9日15:00（UTC+8）上线bullausdt、litusdt、solvusdt永续合约。$bulla对应bulla meme资产，$lit对...
24小时热点
热点专题
411015