GPT-6 Astra联手数学爱好者证明57年「摆圆」难题,N≤20最优排列获严格证明
10月12日,一名数学爱好者与OpenAI的GPT-6 Astra模型联手,将困扰数学界57年的「圆盘装箱」难题推进到了新的里程碑——N≤20的所有情况均获得严格证明。 57年悬而未决的经典难题 「摆圆」问题的标准表述是:给定N个半径为1的…
10月12日,一名数学爱好者与OpenAI的GPT-6 Astra模型联手,将困扰数学界57年的「圆盘装箱」难题推进到了新的里程碑——N≤20的所有情况均获得严格证明。 57年悬而未决的经典难题 「摆圆」问题的标准表述是:给定N个半径为1的…
窗口扩容80%,从272k到500k OpenAI工程师Thibault Sottiaux(Tibo)10月12日宣布,已在Codex与Work环境中将GPT-6.1 Sol的默认上下文窗口从27.2万token提升至50万token,扩容…
2026年10月12日,AI 原生基础设施企业无问芯穹宣布完成 C 轮融资,本轮金额 23 亿元,公司成立至今累计融资 43 亿元。一句话结论:无问芯穹以 23 亿元刷新中国 AI 原生基础设施赛道单轮融资纪录,其估值支撑来自一套覆盖 37…
10月11日,OpenAI 宣布将于 10 月 23 日正式停用 GPT-4o 最早一批 API 快照(版本标识「2024-05-13」),该版本正是 2024 年 5 月 GPT-4o 首次对外亮相时所使用的训练权重,也是一款具备完整多模…
10月10日,OpenAI被曝在API价格页悄然挂出一款尚未正式发布的生命科学领域新模型——gpt-rosalind-discovery。该模型与已公开的gpt-rosalind-research定价一致,外界据此推测其瞄准的正是药物发现环…
10月12日,OpenAI工程师Tibo(Sottiaux)在社交平台宣布,Codex和Work环境下的GPT-6.1 Sol默认上下文窗口从27.2万token一次性扩容至50万token,增幅约83%。这是该模型自发布以来最大幅度的工程…
10月10日,纽约大学教授加里·马库斯(Gary Marcus)公开呼吁各大厂商立即将所有具备联网能力的开放式AI智能体下架,直至技术缺陷与安全隐患得到彻底修复。这一呼吁的导火索是《纽约时报》近日披露的一起由Anthropic智能体引发的严…
10月10日,科技观察家、Azeem Azhar 在伦敦出差时忘带笔记本电脑,被迫开启为期一周的”纯语音办公”实验。他借助 OpenAI 此前面向 ChatGPT 推出的 GPT-Live 语音智能体,以说话代替打字…
8.7亿美元A轮,a16z与红杉入局 10月10日,美国AI初创TypeSafe AI宣布完成8.7亿美元(约63亿元人民币)A轮融资,由a16z、红杉资本、DCVC联合领投。融资完成后,公司估值达到75亿美元(约543.75亿元),距离其…
纽约大学教授、知名 AI 学者盖瑞·马库斯(Gary Marcus)近日公开发声,强烈呼吁立即将所有具备联网能力的开放式 AI 智能体(Agent)从市场上下架,直到技术缺陷与安全隐患得到彻底修复。 源于Anthropic智能体安全事故 马…