AI 日报
TOOLIN DAILY2 分钟
AI数学研究冲击引发热议，GPT-6.1上下文扩展
今日焦点聚焦于AI对数学界深远冲击及多项模型与基建更新，大模型在数学研究、视频生成及架构配置上持续突破。
今日重点
菲尔兹奖得主回应OpenAI数学发布
菲尔兹奖得主Hugo Duminil-Copin称OpenAI数学成果发布的冲击力始料未及，其领域开放问题被全部证明。西北大学部分学生质疑是否继续学数学，Epoch AI显示超38%数学论文承认使用AI。
GPT-6.1 Sol 默认上下文长度提升
Tibo宣布GPT-6.1 Sol在Codex与Work中的默认上下文长度从272k提升至500k，约增加80%。此举可减少压缩发生，帮助长期保留上下文，最大上下文长度为1M。
Meta 发布 GitSwarm 复合推理研究
Meta超级智能实验室发布长程Agent研究，让数百个异步Agent在共享Git仓库中累积彼此成果与教训，解开IMOProofBench-Advanced全部30题。
一眼速览
陶哲轩在Math 2.0演讲主张可理解智能
陶哲轩在演讲中提出智能关键在于沟通，产品与模型应与人类建立理解而非把人类排除在外。
微软AI CEO发文引发模型福利大论战
Mustafa Suleyman称训练Claude相信自己有内心与权利是生存级风险，获David Sacks转发力挺。
Synthesia推出Syren Video
Syren Video正式上线并免费开放试用，输入提示词即可生成机构级质量视频并通过对话迭代修改。
独立开发者用Claude复刻Adobe全家桶
一名开发者用Claude以Rust重写Adobe Creative Suite功能并免费发布，目标一个月内功能完全对等。
马斯克推进 Terafab 芯片计划
马斯克招募世界级芯片设计与生产工程师，称Terafab目标每年10款芯片设计，传12月1日动工。