我的 X 阅读

我在我们的 STEMBench 上测试了 Mistral Large 4——每个 6 个领域 20 个问题——它获得了相当不错的得分。 它绝对有能力跨领域进行原创研究，而且相当均衡。欧洲 AI 的巨大胜利！

“彻底破坏”——@NSF 如何掏空其社会科学研究。 美国资助社会学、语言学和考古学研究的机构今年新拨款减少了90% 而博士后奖学金呢？完全没有拨款。 https://t.co/xP6xw7zp9P

疯狂的开源发布 - 今天上午10:00 PT

游戏并非偏袒重置机制。 用户只是更关心使用量，而不是你推出的任何功能或优化。 你根本就不该触及使用量。

转发： “如何证明”这一视角的重要性正在逐渐降低，而重点似乎将变成“如何优化书面证明，使其易于人类理解”和“如何在一组可证明命题中找到结构”。

转发：第十届几何群论研讨会 2026年11月25日（周三）至26日（周四） 爱媛大学理学部教学楼S32 https://t.co/8VAW518bnb #DTimeInfo

仅群论领域就有 22 篇论文！ 引用：更准确地说，他们并非“解决了 722 个独立问题”，而是： • 722 篇论文 • 372 个结果族（将相关论文归类为一个整体的成果单元） 一个结果族可能不仅包含主要结果论文，还包含多篇相关论文、推论、其他证明等等。 按领域划分的 722 篇论文 看来代数几何是重点研究领域。 概率论与统计力学：105 代数几何与复几何：89 理论计算机科学：73 数学物理：59 数论：58 组合数学：50 微分几何：49 算子代数：31 凸几何与度量几何：30 代数：29 偏微分方程：29 实分析与复分析：26 拓扑学：26 群论：22 动力系统与遍历理论：19 泛函分析：19 数理逻辑：8 此外，将这89本关于代数几何和复几何的书籍大致按主题划分，我们得到： * MMP、丰度、奇点等：29本 * 法诺方程、正性、有理数曲线等：19 本书 * 复几何、仿射几何等：15 本书 * 霍奇几何、代数循环、K3 几何、超凯勒几何：13 本书 * 模空间、布里奇兰稳定性、GW 理论等：7 个问题 - 饭高正则化、变分、坎帕纳型问题：5 个问题 - 几何朗兰兹问题：1 个问题 他们说的就是这样。

活动在户外举行，就在雕像旁边！开始了？！ 引用：这学期我将在这里教授环论课程。https://t.co/kWwaC7Z3Ys

以下是我的笔记： https://t.co/XTkEeKk0Js

快讯：我们仍然不知道关于素数的许多基本事实 引用：令人震惊的是，在 2026 年，我们仍然能发现有关 *multiplication* 的新事物

CET 时间上午 8:15 正，我开始了为我们数学专业的学生上的第一堂课，标题是“计算机辅助的数学问题解决方案”。不，我并没有料到自己会在这样一个数学史上具有里程碑意义的时刻开始这堂课。那么我做了什么呢？我给学生们讲了一个精彩的故事，讲述从数学数值方法，到符号方法，再到数学证明形式化的演变过程。我们举了很多例子，比如“2 的平方根是什么？”、“Python 中的浮点数真的是一个数吗？”、“证明 1+1/(1+1/(... )) = (1+sqrt(5))/2 中的等式意味着什么？”。我几乎没有谈到人工智能，因为这是关于人类理解的故事。我告诉学生们，现在尤其重要的是要明白，他们需要努力工作才能跟上现实的步伐，而学习即将涌现的美丽新概念将会令人着迷。90 分钟后，他们完全错过了我们应该停下来的时刻，所以我不得不突然暂停。但随后他们留下来，提出了许多问题，比如 SymPy 中的 simplify 策略、真理与可证明性之间的区别等等。他们甚至养成了一种健康的偏执，总是检查他们讨论的变量的定义域。那是一段美好的时光。所以，是的，让这个世界涌现更多这类 AI 生成的新结果吧。我们还在这里，我们需要训练人们去思考。这一点不会改变。而且从现在起，我们可以朝着无限多的全新方向发展。勇敢的新世界！ 引用：我们正在发布一款内部前沿模型产生的大量新数学成果。 我们一直在与高级研究所的独立数学与人工智能顾问小组进行磋商，并借鉴了他们的建议和公开推荐，来指导我们如何发布这些成果。 https://t.co/7N6TPlft1P

顺便说一句，刚开始而已 引用：立即重新关注所有带有格罗滕迪克头像的账号。 他的精神这些天正在造访我们所有人。 上升的海洋——实现了。

根据 Gemini 的解释，上述关于 2025 年的证明并未被全球广泛接受。 因此，截至今年 9 月，弗林特-希尔斯级数是否收敛仍然是一个未解之谜。 所以，这一次，我们取得了突破。

成为大型语言模型认为我们的那个社会 引用：Claude 确信这样规模的事件会成为头版新闻，因为它是从新闻历史中推断出来的……但如今的新闻媒体根本无法处理这类事情，而是表现出极端的回避行为。

但是…… 收敛性证明早已发表。 去年才发表，2025年？ 丢番图 FLINT-HILLS 级数 [JST 机器翻译] | 文献信息 | J-GLOBAL 论坛 https://t.co/nIiPNyikqR “FLINT-HILLS 级数的收敛性证明” .