Yu Deng 及合作者在 arxiv 发布希尔伯特第六问题论文，这个世纪数学难题是否已被最终解决？

论文链接：https://arxiv.org/abs/2503.01800

Aidan Gomez认为，简单扩大模型规模带来的边际效益正在递减，而推理能力将成为未来突破口——从"买更大的算力"变成了"多给AI一点思考时间"。未来需要开发更适合处理推理任务的芯片，以及建设更适合分布式计算的数据中心。

俄罗斯总统新闻秘书佩斯科夫当天在记者会上表示，俄方注意到美方在乌克兰问题上持“平衡得多”的立场，但只有在乌克兰问题解决之后，俄罗斯和美国才可能开展经贸投资合作。但欧盟方面“尚未释放出平衡信号”。

自进入喷气式时代后，世界战斗机发展方向一直就和著名的奥运口号“更高更快更强”保持一致，不断追求高空高速性能，到20世纪60年代一度达到了极致。当时，美国和苏联分别推出了YF-12（SR-71“黑鸟”为侦察型）和米格-25这两种具备“双3”性能的高空高速战斗机。但好景不长，很快美苏两国都发现了双3战斗机的性能弊端，最终YF-12没能投入服役，米格-25尽管有一定数量服役，但只是作为截击机使用（相当于一个空中飞行的防空导弹发射车），而没能成......

2024 年 11 月 29 日，来自韩国首尔延世大学的 Jineon Baek 在 arXiv 贴出了一篇长达 119 页的论文，声称解决了困扰数学界近 60 年的移动沙发问题。 论文地址：Optimality of Gerver's Sofa 移动沙发问题指的是 1966 年Leo Moser正式提出的一个平面优化问题：在宽度为 1 的直角平面走廊中，能够刚性（即不变形）地通过的沙发面积最大值是多少？ 最简单可行解是边长为 1 的正......