搜索关键词 数学证明
AI & Enterprise
Cardano创始人Charles Hoskinson：AI数学证明能力进展超预期
Cardano（ADA）创始人Charles Hoskinson表示，AI在复杂数学证明生成及形式化验证方面的进展速度超出预期，并特别关注围绕纳维-斯托克斯方程的相关突破说法。与此同时，他提醒，研究人员若过度依赖集中式云端AI服务，研究数据和知识产权可能面临外泄风险，因此有必要建设私有AI环境。
AI & Enterprise
OpenAI与Anthropic接连推新模型 能否放缓开源阵营追赶
Anthropic与OpenAI近期相继推出新一代AI模型。Anthropic发布Claude Fable 5.1，称其在编程和多步骤知识型工作中的表现较6月版本进一步提升，并同步下调部分调用费用。OpenAI则计划推出Astra，已在闭门演示中展示多代理协作、桌面操作和自动化研究等能力；该模型还被内部标记为首个网络安全风险达到“Critical”级别的模型。
AI & Enterprise
OpenAI下一代模型Astra曝光：支持多Agent协作，可执行长周期任务
科技记者Alex Heath披露，OpenAI于8月初向部分重要客户演示了下一代模型Astra。该模型可协调多个Agent完成数学证明、操作桌面软件，并生成演示文稿和财务审核材料。OpenAI称，Astra面向可持续数天至数周的长周期任务设计，能够记住此前修改，并与人类或其他Agent协同工作。
