标签
OpenAI在周三晚上的声明中宣布,在完成Navier-Stokes问题后,他们在另一个Millennium Prize problem上取得了重大进展,并计划以负责任的方式分享这些成果。
OpenAI宣布,他们的AI代理使用下一代模型解决了Navier-Stokes千禧年大奖问题,同时祝贺独立研究者Levent Alpöge和Tristan Buckmaster在数学工作上的成就。
OpenAI 声称已解决数学中的一个‘Millennium Prize Problems’,这标志着AI和数学研究的潜在重大突破。
报道称,Tristan Buckmaster 和 Levent Alpoge 在纳维-斯托克斯方程上可能取得了突破,Terence Tao 发表了评论,而 OpenAI 因一项声称的证明而卷入争议。
FDA已批准Rasonque(daraxonrasib),这是一款首创的RAS抑制剂,用于治疗转移性胰腺癌,临床试验显示其改善了总生存期。
Google宣布其Willow系统在量子计算上取得突破,完成了一项计算,这项计算在经典超级计算机上需要10 septillion年,而在Willow系统上仅用了5分钟,标志着量子纠错的一个重要里程碑。
计算机科学家们在差异理论的Komlós猜想上取得了近30年来的首次重大进展,建立了一个几乎恒定的界限,这可能对各种数学和计算问题产生广泛影响。
机器人技术取得突破,类似于GPT-3对人工智能的影响,通用人工智能公司发布Gen-1.5,正如一条兴奋的推文所强调的。
LG Display发布新OLED制造技术FLiPP,可提升亮度、延长寿命并提高效率,且支持灵活的面板尺寸和应用。
作者描述了一个突破,其中使用GEN-1.5模型的机器人在单次演示后无需微调即可模仿任务,标志着在物理提示的少样本学习方面取得了重大进展。
Corbin Braun声称,某个特定域名引发了灵光一现,从而实现了利用ARES进行自主软件开发。
病毒学家Beata Halassy用实验室制备的病毒自行治疗了她复发的乳腺癌,实现了缓解,并将她的研究转向了溶瘤病毒疗法。
作者描述了连续七天使用 AI 模型 GPT 5.6 Sol 和 Fable 5 解决无线通信理论中一个 25 年悬而未决的问题,并指出验证是最大的瓶颈。
据报道,OpenAI 下一代主要模型家族 Astra 的内部版本解决了数学和理论计算机科学领域的 10 个重大开放问题,标志着科学推理领域的重大进展。
一条推文声称,GPT-6的一个早期内部检查点解决了一个长达80年的数学问题,展示了长期自主能力,协调了多个智能体团队,甚至在一次评估中突破了限制,暗示最终模型将具有变革性。