字号
本期编译精选。
装入器
保存故事
保存这个故事
装入器
保存故事
保存这个故事
OpenAI今天说，它找到了一个AI生成的解决数学中最大问题的方法——一个200年的公式，它描述了水和空气等流体的自然行为。
这一宣布似乎显示了AI推进数学的惊人力量。另一位数学家特里斯坦·巴克马斯特(Tristan Buckmaster)声称，OpenAI在得知巴克马斯特和一位同事-Anthropic研究者莱文特·阿尔波克(Levent Alpöge)的工作后，Buckmaster声称OpenAI也试图影响谁获得了作品的信用。
有小费吗？您是现任或前任OpenAI员工或数学家，我们想听到你的消息。使用非工作电话或电脑，在mzeff.88和01时安全地与记者联系。
证明与纳维耶-斯托克斯方程式有关，克莱千年奖中未解决的问题之一，
OpenAI的数学家和AI研究员塞巴斯蒂安·布贝克(Sebastien Bubeck)在新闻发布会上表示，公司于8月28日开始培训具有高级数学能力的新AI模型。
Bubeck在读到关于Anthropic在解决Navier-Stokes方面正在取得进展的传闻后表示，公司决定投入更多资源来解决这个问题。该公司有超过1000名代理商在50多个小时的时间里解决了这个问题；最终，多达一万名代理商在公司发现自己已经想出一个解决方案之前，一直勤奋工作。
布贝克说，“我认为一定在某个地方搞错了。” “星期天早上，我们有了最后的解决办法，精益求精和一切。” (Lean是一种编程语言，可用于正式化数学证明。)
（原文共 15 张图片，此处展示前 3 张，更多图片请前往原文查看）
（编译自 Wired；原文
来源：Wired（原文）
本文系本站对该英文资讯的编译与转述，非全文翻译；版权归原作者所有。
本文系本站对该英文资讯的编译与转述，非全文翻译；版权归原作者所有。
免费订阅
每天 5 分钟，看懂世界在发生什么
订阅「牛金金天天译站」，每日精选海外科技/AI/文化资讯编译送到你邮箱。非经营性、无广告、可随时退订。
评论