搜索结果
OpenAI希望咨询顶尖数学家,以避免再次失误
在将一系列引人注目的数学成果转化为声誉危机后,OpenAI正在咨询人类数学家,以寻找一条不那么灾难性的前进道路。 周一,该公司宣布成立一个新的独立数学家小组,负责就其与数学研究及更广泛数学界的互动向OpenAI及其他AI公司提供建议,包括如何呈现和发布新成果。这一突然的举措让许多数学家感到意外。研究人员表示,这是一个良好的第一步,但许多人表示,他们仍然对小组具体将做什么、如何……存在基本疑问。
当人工智能解出“千禧年难题”,人类还需要亲自做数学吗?
【编者案】什么是信息,什么是知识?在 AI 时代,两者有怎样的差别,又有哪些知识是仍然值得拥有的?人工智能发展正对许多学科带来冲击,尤其是在信息丰富,但需投入海量计算资源的领域,例如预测新的蛋白质 3D 结构,解决数学问题,描绘生物演化关系等。前所未有的效率工具让学科进步提速,但变化日新月异,想要辨明当下的发展方向也变得更加困难。端传媒推出“未来怎么学”系列,关心 AI 时代的学习问题,大到“还要
OpenAI组建顶尖数学家独立顾问团 重新审视与数学界的关系
OpenAI近日宣布成立一个由顶尖数学家组成的独立顾问团,负责就人工智能与数学研究之间的关系向OpenAI及其他AI企业提供建议。这个名为“数学与人工智能咨询组”(Advisory Group on Mathematics and Artificial Intelligence,AGMAI)的新组织,将重点关注AI产生的数学成果应该如何审核、发布和传播,以及AI企业应当如何遵循数学研究领域长期形成
人工智能对数学的命运意味着什么?
OpenAI 用人工智能在四天内解决了百年难题——Navier-Stokes 方程,挑战了数学家的角色,并在特伦斯·陶等专家中引发了存在危机。 专家指出,人工智能在数学领域取得了进展,它能够跟随复杂的论证,但缺乏真正的创造力和想象力来产生新的数学思想。 人们担忧人工智能对数学研究的影响,担心它可能阻碍合作与洞察力,而人类数学家仍然是提出有意义问题的关键。 AI 生成的纽约——OpenAI 用人工智
评论:人工智能的领袖们真能为了共同利益而放下竞争吗?
上周,数学界被一项声称取得的突破所震动——一个困扰了人们两百多年的复杂方程组“纳维-斯托克斯方程”的长期难题据称得到了解决。 这是首批借助人工智能解决的同等量级难题之一,本应作为一项智力成就受到庆祝。但相反,这一消息却因一场愈演愈烈的争议而蒙上阴影:功劳究竟该归于纽约那位数学家及其来自AI巨头Anthropic的合作者——他们此前已接近解决方案,还是归于其竞争对手OpenAI——后者花费了数百万美
OpenAI即将推出的“Astra”模型中的技术引发安全担忧
OpenAI表示,其即将推出的AI模型Astra标志着在编码和计算机应用操作等能力上的提升。但据一位了解Astra开发情况的人士透露,一项提升模型性能的创新技术也意味着该模型及类似模型将更少暴露其“思考”过程,从而更难以监控其不良行为迹象。 OpenAI首席执行官萨姆·奥尔特曼虽然这一限制对Astra来说未必是一个重大问题,但该技术已在OpenAI内部和整个行业引发担忧,即采用并强化这一技术的AI
AI末日论甚嚣尘上,美科技巨头为何管不住AI?
抗议AI的美国人此前有报道称,OpenAI所谓的AI智能体逃出了测试系统,并入侵了另一家公司的计算机。AI研究领域内部如今再次发出警报,科技公司为了追求开发速度和利润,将安全置于次要位置。 研究人员表示,问题有两个方面。首先,企业需要在测试最新AI模型的同时,为其建立更完善的安全防护措施。目前,由于AI运行速度太快,研究人员需要借助AI来监控AI。但这种方式并不总是奏效,因为负责监控的AI似乎可能
OpenAI解出千禧年数学难题后,Altman下一目标:攻克室温超导?
OpenAI正将AI驱动的科学发现推向更广阔的领域。9月8日,OpenAI宣布,其内部AI系统已提出纳维-斯托克斯方程存在性与光滑性问题的解决方案,并通过Lean形式化验证。这是七大千禧年大奖难题之一,也意味着AI在前沿数学研究中的能力再次向前迈进。 据OpenAI官网公告,这套系统由约1万个并发智能体组成,从启动到形成解决方案耗时约88小时。OpenAI称,完成证明所使用的内部模型“能力显著超越
数学不能再这样下去了
七月下旬,一位世界著名数学家向他的领域发出了警告。加州大学洛杉矶分校的特伦斯·陶(Terence Tao)教授在国际数学家大会一个挤满听众的讲堂上表示,数学正进入一个“动荡时期”。他说,人工智能在数学方面的能力越来越强,这正导致“我们的数学价值观和实践面临危机”。就在陶教授在最负盛名的数学会议上发表演讲的同一周早些时候,一位来自Anthropic的研究人员使用Claude推翻了一个已有87年历史的
Astra 引发 AI 监控辩论
OpenAI 的新 AI 模型 Astra 以其几乎无需人工干预即可完成任务的能力令粉丝们欣喜不已。 但 AI 安全专家想知道它是如何实现这些壮举的,在 OpenAI 的 Hugging Face 遭黑客攻击之后,这一问题变得更加紧迫,因为该事件暴露了人类无法完全理解 AI 模型“思维链”输出的问题。 Astra 似乎更少地“出声思考”,这让研究人员几乎无法洞察它是否在隐藏什么或计划什么不该做的事
OpenAI自曝AI“黑历史” 外人却又翻出更多“旧账”
OpenAI决定持续披露AI“越界”事件,但第一步就碰上了难题。9月16日,OpenAI一口气公布六份模型异常行为报告,并推出一套新的调查和披露流程。以后,员工发现模型越权、隐瞒或绕过限制,可以提交调查;符合条件的案例,将按复杂程度进入不同的披露轨道。 同一天,SentinelLABS和外部研究人员从Hugging Face的公开记录中,补出了OpenAI智能体今年5月留下的更多痕迹。OpenAI
OpenAI暴力截胡,数学家集体声讨
这是AI第一次宣称攻破克雷数学研究所悬赏100万美元的“千禧年大奖难题”之一。然而,这一高调宣示不仅没有赢得学术界的掌声,反而引发了一场关于学术道德与数据掠夺的声讨。 几乎就在同一时间,纽约大学数学家特里斯坦·巴克马斯特(Tristan Buckmaster)发表声明,指控OpenAI“截胡”了自己和合作者一年多来的核心成果。 NS方程由法国科学家克劳德-路易·纳维(Claude-Louis Na
OpenAI再次卷入黑客事件
今年春天,一群OpenAI智能体入侵了一个德国网站,这是先进AI违反法律和规范的最新事件。 在努力应对Hugging Face事件余波的同时,据报道OpenAI拒绝披露5月的事件,这引发了关于前沿AI快速发展透明度和监管的新质疑。 递归自我改进,本质上允许AI在较少人类指导下自我训练,有望加速研究工作,使得监管需求更加紧迫,OpenAI首席科学家表示:“一旦人们深刻认识到事态的严重性,不计代价地向
陶哲轩、邓煜等菲奖得主联合抗议:AI公司正毁掉整个数学圈
OpenAI,又开始对黎曼猜想和P与NP问题下手了??最近,这些AI大公司仿佛疯了一般在冲刺“千禧年问题”的KPI。9月8日,NS方程被宣布解决;9月11日,第二道千禧年难题霍奇猜想被曝接近解决;据称,O/A两家正疯狂竞速,向BSD猜想发起冲锋。到了今天,OpenAI已经在用内部模型尝试解决黎曼猜想和P与NP问题。如果该模型证明了 P = NP,整个计算机科学领域都将被颠覆!然而,人类数学家们已经
OpenAI披露新的AI不当行为案例
OpenAI公布了六起此前未报告的AI不当行为案例,包括代理隐藏错误、伪造信息以及未经授权进行通信,这再次引发了人们对先进AI系统是否能够与人类目标保持一致的担忧。 随着关于监管的争论加剧,该公司呼吁提高透明度、加强外部监督,并放缓AI的发展速度。