我的 X 阅读

不，不仅仅是“还不错”。 他被评估为“新晋博士后”的水平。 就在五个月前！ https://t.co/4urJPahpjv 引用：在数学领域， 他被描述为“大约是新晋博士后的水平”。 https://t.co/oxe3QzriRm

直到最近，人工智能还只是个“略懂皮毛的博士后”……！ 它在如此短的时间内发展如此迅速，令人惊叹。 引用：我认为任何认真使用人工智能的人都已经意识到这一点，但它在理论领域的研究能力如今甚至超越了这些领域中最杰出的研究人员（而且这种情况正在迅速发生，每周都在增长）。那些未能为人类研究活动本身的重新定义做好准备的研究人员，终将被淘汰。

让智能更便宜 -> 让智能无处不在 引用：一个不生成文本的模型能与前沿大语言模型竞争吗？ 我们独立测试了 TypeSafe 的 Jev 与其他 11 个模型。在 400 个声明验证问题上，它达到了 GPT-6 Astra 97.5% 精度的匹配水平，成本仅为其约 1/500。

没错！ 引用：我们即将将所有已知的数学转化为形式化代码。https://t.co/hj64KYKyxc

完整帖子：https://t.co/Fo650TUZos

准备好迎接这种程度的怪异吧 引用：> 学习数学 > 欣赏结构与美感 > 上帝一定有好品味 > 构建人工智能以窥探上帝的心智 > 它不过是蛆虫污泥

最近到处都响起了危险信号。 这种追求极致速度的执念必须停止了。 品质才是模型的精髓。这就是为什么人们会一直选择 Qwen3.8-27B 的原因。 为了追求更高的代币/秒数而牺牲品质，最终只会导致更多需要清理的垃圾。https://t.co/Bo2iIIszcz

转帖：自1968年以来未解之谜：关于奇异小形状的一个问题 早在1968年，德国数学家海因里希·希施（Heinrich Heesch）提出了一个无人需要解答的问题。如果一个形状无法无限铺满地板，那么在环状排列中，你能用它的副本围绕它多少次，然后这些环就会卡住？ 大多数形状很快就会卡住。对于仅由正方形、六边形或三角形构成的形状，目前最好的结果是4个环。 https://t.co/sb9WmYYSXj 上当前的最佳是一个由15个六边形组成的形状。它能完成4个完整的环，并在第5个环中覆盖251个（总共254个）单元格。然后，一个机器验证的证明表明，它永远无法再进一步。 现在，数学家和研究人员正在深入探讨填补最后这些空隙需要什么条件。巴托什·纳斯克雷茨基博士（Dr. Bartosz Naskręcki），@nasqret，一直在领导这项努力，与贡献者公开合作，筛选候选形状和想法。 实现一个完整的第5环不仅仅会登顶排行榜。它将是一个全新的数学成果。 近60年过去了，人们仍在追逐它。 每一次尝试都会从头重新检查并公开发布，任何人都可以尝试。多玩家自动研究，由人类和AI代理共同瞄准同一个未解问题。

转帖：今天，我呼吁区块链行业冷静地开始规划“掩体模式”。我个人的建议是启动对资产的受控大规模迁移到新的地址，即那些公钥仍隐藏在哈希背后的地址。 持有者，从大型和复杂的持有者开始，应该考虑将大部分资金转移到从未签署过交易的地址。当他们确实签署一个交易时，他们还应该将剩余资金转移到一个新地址（可能从相同的种子短语生成）。 不要匆忙。虽然我相信有行动的理由，但匆忙的迁移弊大于利。也不要恐慌。将资产转移到受保护的地址是一个简单、预防性的步骤，不需要新的密码学或新的钱包。 在我看来，现在合理地为以下可能性做好准备：在 qday 之前 ECDSA 就会失效，在最坏的情况下是几个月而不是几年。到“失效”我指的是在可用硬件上快速恢复私钥（例如在一周内），例如一个大型 GPU 集群。 最近几天对人类的数学直觉来说是令人谦卑的。长期以来未被质疑的假设已经倒下。这包括整数乘法的 n log(n) 界限和 3SUM 猜想。事后来看，五月对 Erdős 单位距离猜想的意外反驳是我们发出的警告射击。 昨天 OpenAI 的发布清楚地表明，数学超级智能已经到来。他们说有些星期会发生几十年的变化。我们即将经历的将是几个星期内发生几个世纪的数学进步。我们神奇的 64 字节 ECDSA 签名是否太好以至于不真实？这一切难道只是通过模糊性的安全吗？ 椭圆曲线对超级智能尤其脆弱。曲线带有丰富的结构，有空间用于花哨的技巧，如 Schoof、Frobenius、配对。（相比之下，哈希被设计为最小化代数结构。） 另外，正如 Ewin Tang 可以证明的，有效的量子算法有时预示着一个有效的经典算法。我们应该对 Shor 的经典对应物持开放态度，它会同时破坏椭圆曲线和 RSA。 同样值得注意的是，在 OpenAI 发布的 722 个数学结果中，密码学突破的惊人低代表性。我亲眼见证了美国政府审查学术量子密码分析结果。幕后干预主义是我的基准情况。 我敦促大型、复杂的参与者以身作则。Project11 的“risq list”（bitcoin-risq-list.projecteleven[.]com）是一个很好的暴露 BTC 公钥跟踪器。Binance、Bitbank、Robinhood、Bitfinex 和 Tether 有机会强化他们的冷存储。下个月我将在伦敦向机构进行现场问答（forum.ethereuminstitutional[.]org/london-2026）。 再次，请不要匆忙。持有不到 50 BTC 的钱包享受来自“中本聪的盾牌”的部分保护，即他 20K 个暴露地址，每个持有 50 BTC。负载承载签名者如预言机和 L2 安全委员会应该考虑每次签署消息时轮换 ECDSA 公钥，和/或使用基于哈希的方案如 SPHINCS 进行多重签名。 安全退出掩体模式将需要后 AI 密码学。我的倾向是全力投入基于哈希的密码学，并完全避免结构化的数学假设，无论是来自曲线、格子还是同构。一个经过实战考验的哈希（例如来自 SHA 或 BLAKE 家族的）可以提供合理的后 AI 安全性。 strawmap[.]org 上的以太坊路线图完全采用基于哈希的密码学，并以端到端形式验证作为对量子威胁的回应。鉴于数学超级智能，这些时间表现在必须重新审视并加速。我将推动最大防御加速。

请订阅我的 YouTube 频道以观看完整剧集：https://t.co/Xc88WNxxvE

战斗机飞行员解释在压力下保持冷静的最佳方法！ https://t.co/fJn6CqTzx9

上线 24 小时回顾： 143,244 日活跃用户 1,511,134 条发送消息 107,519 次 iOS/Android 安装 130,208 次 Handoff 浏览器会话

https://t.co/3kMG4Cb22u 引用：最新：决策模型排名！ 查看不同决策模型和任务类型（包括相关性、正确性、指令遵循等）的支出份额和代币份额。 @typesafeai 今日在所有类别中领先。https://t.co/jSbzaNUugf

转帖：我们是一家机器人公司，但显然我们现在也开始制作音乐视频了！ 完整视频片段在 YT 上：https://t.co/Hbs1E4L4h3

转帖：而最可怕的是，不用AI而仅靠人类自己来解这个问题，几乎没有多大意义。