B · 普通
【OpenAI发布前沿大模型的全新数学能力测试成果】10月7日电，OpenAI正在公开其内部前沿大模型生成的一系列全新数学研究成果，相关内容通过GitHub代码库发布，同时附带了论文修订与引用的规范协议。本次公开的成果包含Lean语言形式化证明，可让数学证明内容直接通过计算机完成校验；单份成果平均消耗的算力，约等于ChatGPT Pro三小时的深度推理时长。
相似电报
【国资委主任程福波到中国移动调研加快6G核心技术攻关、推进新一代通信网建设等工作进展】10月10日电，国务院国资委党委书记、主任程福波10月8日到中国移动调研企
10-10 07:39
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
评论