我的 X 阅读

与今天的其他船舶完全无关，但我们的模型确实解决了一些重要的数学问题，团队在下面的博客文章中记录了这一点。科学进步的非凡新时代。 https://t.co/AYSuteVNiA

我相信，教孩子们行政管理，就是教他们把时间按件出租；但教他们基础计算，就是赋予他们掌控历史上最强大技术杠杆的能力。

OpenAI 已发布了数学证明。 https://t.co/INFGJU2JU9

天哪，ChatGPT 居然在发展出类似人类的学术技能 引用：谢谢 chatgpt

转帖：含金量最高的推文 & 有史以来最可爱的 handmade 地图

你知道吗，他之所以发这些垃圾推文，正是因为他用来抨击数学的平台完全基于线性代数、信号处理和矩阵乘法。 他还在屏幕上打了一条信息来解释这一点……

我很高兴地宣布，我已从 Renaissance Philanthropy 获得为期两年的资助，用于构建一个开源的代理型计算机代数系统，该系统将与大型语言模型（LLMs）协同工作，支持数学家们开展研究。非常感谢评选委员会和资助方！ 引用：我们很高兴地宣布，由创始捐赠者@xtxmarkets支持的AI for Math Fund今年的资助获奖者： 22位获奖者，30多个组织，从50个国家400多份申请中选出。 由XTX Markets创纪录的1710万美元支持，使他们的总承诺达到3510万美元。 https://t.co/PJhVhMlzsn 1/2

数学家们一个月后仍在研究 OpenAI 的 160 多页 Navier–Stokes 证明。 我让 Claude Fable 5.5 来解释它。它制作了这个 5 分钟的 3D 视频：证明分 8 个步骤。 注意事项：已通过 Lean 检查，但尚未完全经人类验证。需要外部力量。

我们所有的互联网/浏览器工作都由 Handoff 提供支持，它是我们的计算机使用代理——用于购物、预订旅行、订购食物、完成日常事务，以及日常任务。 引用：哇，@hark_labs 做了一个完全优越的 @Muse。它的 harness 完全支持计算机使用（而且相当快），在一个隔离的沙盒中，使用基于 vault 的认证，你可以跨任何应用重复使用（对 Google 来说超级重要），而且你实际上可以看到云端正在使用的“计算机”。另外，它的 UI 如此干净，与大多数杂乱的三栏聊天机器人界面相比，这是一种如此清新的诠释。 目前市场上最棒的个人 AI 产品，也是 AI 增长曲线中最“任务能力强”的代理。

转帖：【集中讲义】广惠一希先生「超几何函数的积分表示的同调代数解释」 2026年11月9～13日：东北大学信息科学研究科206室（11/9仅207室） https://t.co/YkPKDYBQje

转帖：看起来 OpenAI 计划今天在 GitHub 上发布一个大帖，包含数百个新解决的数学问题。其中一些可能相当重要。这可以解释昨晚大量论文发布的现象，因为人们试图抢在它之前发表。WIRED 报道。

完整帖子、回复和讨论：https://t.co/7jLYAxMGwg (15/15)

推动该领域的发展，并培养下一代需要提出的问题以及研究这些问题的人才。(14/15)

但这种晦涩难懂的证明并非此练习的主要价值所在。其主要价值在于：从一个假设出发，找出阻碍其成立的具体障碍，调整假设以（部分）消除该障碍，然后（1/15）

这是埃舍尔最后的杰作，当时他已经身患癌症，1969年。 这些作品将在@MoMath1展出至一月份，不要错过它们！！