Romania Justifies Warship Acquisition Through SAFE Over Damen’s Offer
在 5 月 12 日的新闻稿中，罗马尼亚国防部表示，达门的提案不符合该计划的技术要求，回应了最近媒体对 SAFE 从莱茵金属公司采购两架 MMPV 90 的比较。 《海军新闻》还概述了罗马尼亚海军的采购时间表，该时间表从“GOWIND”设计转向“OPV”……罗马尼亚通过安全局对达门的报价证明军舰采购合理的帖子首先出现在《海军新闻》上。
Maryna Viazovska’s proofs of sphere packing formalized with AI
玛丽娜·维亚佐夫斯卡。图片来源：EPFL 2026。为 EPFL 教授 Maryna Viazovska 赢得 2022 年菲尔兹奖的证明达到了一个新的里程碑：通过数学家和人工智能工具之间的合作，通过计算机完成了它们的形式化。 2016 年，Maryna Viazovska 解决了 8 维球体堆积问题，证明了 E₈ 晶格 [...]
