B · 普通
【OpenAI发布前沿大模型的全新数学能力测试成果】10月7日电，OpenAI正在公开其内部前沿大模型生成的一系列全新数学研究成果，相关内容通过GitHub代码库发布，同时附带了论文修订与引用的规范协议。本次公开的成果包含Lean语言形式化证明，可让数学证明内容直接通过计算机完成校验；单份成果平均消耗的算力，约等于ChatGPT Pro三小时的深度推理时长。
相似电报
10月10日电，美国政府强制要求AI公司报告并修复安全问题。
10-10 06:52
【美债期货正经历资产管理机构大规模去杠杆 被迫抛售迹象浮现】10月10日电，资产管理机构正在抛售长久期美国国债期货合约，显示在现券收益率徘徊于多年高点附近之际，
10-10 06:42
10月10日电，Anthropic称针对评估及内部应用中模型出现的非预期行为展开调查。
10-10 06:04
10月10日电，谷歌员工正在测试新版Gemini 4，代号“Carbon”。
10-10 03:43
10月10日电，AI初创公司TypeSafe AI以75亿美元估值融资，Andreessen Horowitz领投。
10-10 01:00
【景嘉微：CH37系列正推进客户导入及小批量量产】10月9日电，景嘉微在互动平台表示，CH37系列面向具身智能、边缘计算等通用市场，具备充沛AI算力、灵活计算精
10-09 20:52
评论