AI & Enterprise

OpenAI内部模型Astra解出10个多年未决难题并公开可机器验证的形式化证明

OpenAI表示，旗下尚未公开的内部模型Astra已在数学、量子复杂性和理论计算机科学领域，针对10个悬而未决至少10年的问题给出新结果，并同步公开可机器验证的形式化证明。公司已在GitHub以Apache 2.0许可证开源249页论文草稿、模型推理过程及基于Lean 4的证明证书。不过，这些结果仍需学界进一步核验其是否准确对应原本的未决问题，以及其学术价值和影响。

Crypto

American Fortress推出免迁移后量子安全方案：加密钱包无需更换地址

American Fortress公开一项加密钱包安全方案，宣称无需更换私钥、无需迁移资金，也无需更换现有地址，即可为比特币、以太坊和Solana等钱包增加后量子安全层。该方案已发布论文，并称兼容HD钱包，但目前尚未经过同行评审，实际安全性和落地可行性仍待观察。