把张益唐坑苦的雅可比猜想,被Fable 5证伪了?
把张益唐坑苦的雅可比猜想,被Fable 5证伪了?今天上午,一位在 Anthropic 工作的数学家 Levent Alpoge 发了一条推文。学术圈的反应很快。斯坦福的数论学家 Jared Duker Lichtman 转发并逐步拆解了这个反例,还顺手挖出了一段几乎像电影桥段的历史巧合(后面细说)
搜索
今天上午,一位在 Anthropic 工作的数学家 Levent Alpoge 发了一条推文。学术圈的反应很快。斯坦福的数论学家 Jared Duker Lichtman 转发并逐步拆解了这个反例,还顺手挖出了一段几乎像电影桥段的历史巧合(后面细说)
7 月 14 日,Anthropic 正式发布 Claude for Teachers,面向美国 K12 教师免费开放高级功能,支持备课、课程设计、学习分析等教学场景。而在此之前,OpenAI 已经推出 ChatGPT for Teachers,同样聚焦教师教学支持,并计划向美国 K12 学区开放。
“中国的Anthropic”走出了比Anthropic更陡峭的增长曲线。
机器之心编辑部 由 OpenAI 前首席技术官 Mira Murati 创立的 AI 初创公司 Thinking Machines Lab,刚刚发布了自研 AI 模型 Inkling。与 OpenAI、Anthropic 或 Google 的旗舰模型不同,Inkling 是一款开放权重模型,外部开发者和企业可以直接下载,并根据自身需求进行修改。
你半夜失眠问Claude该不该辞职,它体贴得像个认识了十年的老朋友。
一个比Anthropic更好的AI to B故事。
最近一段时间,越来越多人开始讨论一个词:Loop。刚开始看到这个说法,我也觉得有点抽象。Agent 本身不就会反复思考、调用工具、修改代码吗?为什么还要专门设计一个 Loop?周末两天看完 Claude Code 团队写的一篇文章,我才发现,这件事其实没有那么玄乎。
这个月刚过半,AI圈就已经卷出天际了!
Cursor挖人,挖到Anthropic家里去了!就在刚刚,Claude核心设计一号位Jenny Wen官宣跳槽,下一站——出任Cursor「设计主管」。在这条公开帖里,Jenny用几句话交代了自己这段时间的三件大事:生了个孩子,辞了份工作,换了家公司。
同一个问题,换一种语言问 Claude,得到的可能不只是措辞不同的答案。