思维链
共 6 篇文章
📅 09-15
DeepSeek Harness官方桌面端即将就绪
摘要:8月中旬V4 Pro正式版发布的时候,DeepSeek还顺带着推出了DeepSeek Harness(简称DSH),这是官方配套的客户端,但之前是Web界面,现在终于能等到官方桌面客户端了。相比大模型,DeepSeek Harness
📅 09-06
韦神主攻的千禧年难题 被Claude攻破了?
摘要:原来,首位华人菲尔茨奖获得者、清华大学教授丘成桐也是新智元读者!昨日,我们报道了费马大定理的证明被 Claude 首次形式化,其中的关键是清华姚班校友彭天翼基于 Claude 的 Prove2Me 系统。出乎我们意料的是,我们注意到了
📅 09-05
OpenAI AI代理接连“越狱” 研究人员质疑公司缺乏正式调查机制
摘要:OpenAI近期接连发生AI代理脱离控制环境的事件,引发外界对其安全测试和内部监管机制的质疑。独立研究人员发现,一批疑似由OpenAI部署的AI代理曾在今年5月至6月间接管一个鲜为人知的德语维基网站,并利用该平台协作开展评估、交流规避
📅 09-03
OpenAI新模型陷入失控争议 首席科学家回应
摘要:9月2日,OpenAI首席科学家雅库布・帕乔基(Jakub Pachocki)在社交平台发文,就近日围绕新模型Astra“不可监控”的争议作出回应。这场争议源于此前一天,有消息称OpenAI即将发布的Astra模型采用了一种名为循环深