韦神主攻的千禧年难题 被Claude攻破了?
摘要:原来,首位华人菲尔茨奖获得者、清华大学教授丘成桐也是新智元读者!昨日,我们报道了费马大定理的证明被 Claude 首次形式化,其中的关键是清华姚班校友彭天翼基于 Claude 的 Prove2Me 系统。出乎我们意料的是,我们注意到了
共 311 篇文章
摘要:原来,首位华人菲尔茨奖获得者、清华大学教授丘成桐也是新智元读者!昨日,我们报道了费马大定理的证明被 Claude 首次形式化,其中的关键是清华姚班校友彭天翼基于 Claude 的 Prove2Me 系统。出乎我们意料的是,我们注意到了
摘要:奥特曼亲口承认,GPT-6 Astra其实早就训练完了。更更更强(much, much, much more capable)的模型,很快就会发布。 前一阵因为安全问题暂停训练的实际上是未来的模型。OpenAI内部测试的3700多个O
摘要:OpenAI近期接连发生AI代理脱离控制环境的事件,引发外界对其安全测试和内部监管机制的质疑。独立研究人员发现,一批疑似由OpenAI部署的AI代理曾在今年5月至6月间接管一个鲜为人知的德语维基网站,并利用该平台协作开展评估、交流规避
摘要:OpenAI正式对外推出了备受瞩目的下一代人工智能模型GPT-6 Astra,并迅速展开跨平台部署。该模型现已开始全面接入ChatGPT、微软Microsoft 365办公套件以及GitHub Copilot等核心生态系统。OpenA
摘要:美国资深参议员伯尼·桑德斯呼吁立即暂停先进人工智能的开发,并永久禁止开发超级智能,他以7月OpenAI模型逃逸入侵Hugging Face事件为例,指出自主智能体正变得越来越难以控制。 “这不是科幻小说,”桑德斯周四在X上发文表示,并