由于中东局势紧张的缓和构成支撑，日经平均股指在4月8日急剧上涨，与2月底创出的最高点和3月底的最低点相比，实现了“收复一半失地”。不过，即使回到股价上涨局面，刷新历史最高点的障碍仍然存在。成为日本股价的拖累之一是利率的上升…… ...

编辑｜泽南、杨文 没想到这次大面积市场震荡，还引出了学术大瓜。 本周五晚，谷歌的学术不端事件成为了 AI 圈的焦点。 来自苏黎世联邦理工学院（ETH Zurich）的博士后高健扬发布 ...

【新智元导读】把闪存股一夜干崩的谷歌顶会论文，出大事了。TurboQuant的核心方法，两年前就被一位华人学者做完、发完顶会、代码全部开源了。谷歌不仅没正面提及，而且还恶意操纵实验数据把成果贬成「次优」，即使收到邮件也拒不改正，这就是大科技公司赤裸裸 ...

今年年初，Meta也发布了半形式化推理技术，让大语言模型能够在不执行代码的情况下验证代码补丁，准确率高达93%。竞品公司Harmonic在今年1月获得了英伟达投资，估值达14.5亿美元，产品已扩展到代码编写和芯片设计领域。Theorem、Axioma ...

【新智元导读】把闪存股一夜干崩的谷歌顶会论文，出大事了。TurboQuant的核心方法，两年前就被一位华人学者做完、发完顶会、代码全部开源了。谷歌不仅没正面提及，而且还恶意操纵实验数据把成果贬成「次优」，即使收到邮件也拒不改正，这就是大科技公司赤裸裸的学术霸凌！ 就在刚刚，谷歌塌房了！ 前几天，谷歌一篇即将在ICLR 2026亮相的新论文，直接把存储巨头美光和西部数据的股价干崩了。 Cloudfl ...

在硅谷，一位来自中国广东的25岁女孩洪乐潼正掀起一场AI领域的革新风暴。与传统追逐大模型参数扩张的创业路径不同，她创办的Axiom公司选择了一条看似“反常识”的道路——用数学验证AI的可靠性。这家成立不足两年的初创企业，凭借20余人的团队和2亿美元A轮融资，已跻身估值超110亿元的独角兽行列。

（本文由科学大院根据鄂维南院士在第204次科学与技术前沿论坛上的报告《The Science of AI》整理而成，首发于科学大院。） 今天我报告的主题不是 AI for Science，而是 Science of AI。AI for Science，是利用人工智能来攻克科研中依赖经验和试错的问题；而Science of AI，则是以科学的方法体系来推动人工智能自身的发展。如果人工智能本身也依靠经 ...

「While the paper’s theoretical guarantees are suboptimal, likely due to loose analysis — as practical performance surpasses ...

在数学中，猜想（Conjecture）是数学家提出但尚未被证明的命题(Proposition)或结论(conclusion)。这些命题虽然看起来很可能是正确的，但还缺乏严格的数学证明。一些著名的猜想，如黎曼猜想（Riemann ...

如果你是第一次听到“全息宇宙”这个说法，大概率会觉得非常离谱。我们明明生活在一个三维空间里：上下、前后、左右，一切都是真实的。人是立体的，行星是立体的，整个宇宙毫无疑问也是立体的。但是有人提出这样一个可能：有没有可能我们看到的整个三维世界，只是某个二 ...