格隆汇10月31日｜据36氪，人类历史上规模最大的数学证明，现已通过计算机形式化验证。有限单群分类定理（CFSG，Classification of Finite Simple Groups），刚刚被AI彻底形式化！百余名全球顶尖数学家历经大半个世纪、写下长达15000页的「数学天书」，被初创团队Axiom研发的多智能体系统在短短24天内全部跑通。 更让人头皮发麻的是，AI构建了人类史上首个超4000万行的Lean代码库。按代码行数计算，这现在是史上最大的开源软件项目。它的规模超过了 Linux 内核、Chromium、Firefox、LLVM、GCC、FFmpeg 等。它甚至还在原有的证明中揪出了人类的漏洞，并亲自证明了新的数学定理来完成修补！ 知名数学家Ken Ono动情发文，悼念今年1月去世的数学家父亲。他回忆起童年时父亲引荐自己走近群论巨匠的岁月，在见证人机协作跨过这条历史终点线时，这位数学大师忍不住当场泪崩。有人为自己的研究被AI “抢先”而崩溃，有人为“发现的快乐”正在消失而悲伤。这些眼泪背后，是数学界对AI时代自身角色和意义的真实焦虑。

格隆汇10月31日｜随着AI产能扩张步入新阶段，美国放贷机构与投资者在做投资布局时变得愈发挑剔，同时要求更为严苛的交易条款。他们的担忧包括：民众针对数据中心的抵制情绪不断蔓延，大型项目可能延期；像Anthropic、OpenAI这类超大规模云厂商和初创企业，其AI相关利润或许无法像承诺的那样快速兑现。 此外，大量股票与债券发行，加剧了投资者对AI板块敞口过高的担忧。市场各个角落都能看到新的交易条件。即便是SpaceX、Meta这类大型科技公司发行的债券，也在大幅折价交易。知情人士称，CoreWeave、Nebius、Nscale这类大举借贷、建设并出售算力的AI云企业，近几周实际上已经被债券市场拒之门外。总而言之，当下的华尔街是买方市场。

格隆汇10月31日｜统计数据显示，自2006年9月以来，乌克兰的国家内外债总额增长了130倍。乌克兰财政部信息简报指出：“截至2026年9月30日，乌克兰的国家债务和国家担保债务为95383.5亿格里夫纳，合2126亿美元。”据乌克兰国家统计局数据，2006年第三季度末，乌克兰的国家内外债总额为732.88亿格里夫纳。由此可知，乌克兰国债在20年间增长了130倍。在预计预算赤字达370亿美元、国债增长至2760亿美元的背景下，乌克兰明年计划拨款1083亿美元用于资助乌克兰军队。与此同时，乌克兰财政部副部长罗曼·叶尔莫雷切夫9月表示，据乌克兰国防部计算，该国军事开支需要更多资金，达1750亿美元。基辅政权试图通过外部融资来填补预算缺口。然而，西方拨付新一轮援助都要经过漫长的讨论，合作伙伴越来越频繁地警告说，乌克兰必须加紧寻找自筹资金来源。