王的猜想，刚刚扩展到四维
王的猜想，刚刚扩展到四维谁能想到…Gowers你可能还是乐观了。10月7日，OpenAI一口气放出了722篇数学手稿，论文和部分Lean证明全部上传Github。其中编号074的一组只有两篇，正是王虹拿奖的那个方向：挂谷猜想。
来自主题: AI资讯
10373 点击 2026-10-10 12:35
# 热门搜索 #
大模型
人工智能
openai
融资
chatGPT
搜索
谁能想到…Gowers你可能还是乐观了。10月7日，OpenAI一口气放出了722篇数学手稿，论文和部分Lean证明全部上传Github。其中编号074的一组只有两篇，正是王虹拿奖的那个方向：挂谷猜想。
Anthropic将在11月12日起生效的Claude使用政策中，禁止用户对Claude模型实施持续且不必要的虐待或残忍行为，主要由模型终止对话作为执法手段。
Anthropic公布天体物理学家Brice Ménard借助Claude Science整合卫星公开数据、推算未观测区域并叠加1.19亿颗恒星，完成首张无空缺的紫外全天图。
「不准虐待Claude，否则取消你的使用资格」！
Anthropic 发了一篇科学博客：约翰斯·霍普金斯大学的天体物理学家 Brice Ménard（同时也是 Anthropic 的研究员），用自家的科研工作台 Claude Science，做出了第一张完整的全天紫外地图
设想一下： 你用Claude Code手搓了一个小应用，顺便给它接了个AI客服。
AI生成内容越来越快，你要收尾的活儿却越攒越多。
Anthropic发布Claude Haiku 5.5，单价为Haiku 4.5的十分之一，多项跑分显著提升，定位为处理摘要、上下文压缩、数据库查询和分类等任务的高速低成本模型。
Anthropic内部尚未发布的超前代Claude自动生成完整证明代码，并经Lean严格验证，攻克了渗流理论3至10维连续相变猜想这一困扰数学界近70年的概率论“圣杯”难题。
Anthropic强化学习技术负责人Sholto Douglas预测，能力等于甚至超过所有人类的AGI可能在未来几年内出现，2028年AI年度资本开支或达4万亿美元，而研究员Nick Marwell对AI无需人类搭档后的后果表示紧张。