OpenAI的通用AI模型推翻了离散几何学中的核心猜想，证明单位距离图的数量可以超出线性增长。该模型通过125页的推理，结合不同数学领域，展示了AI在代数数论与组合几何之间的独特连接能力。数学家们验证了这一结果，认为AI的能力可能改变未来数学研究的方式。

数学家们研究了在平面上放置n个点时，能有多少对点的距离恰好为1的问题。该问题由保罗·厄尔德什于1946年提出。最近，OpenAI的内部模型证明了一个长期的猜想，展示了新的构造方法，超越了传统的“方格”构造。这一结果标志着AI首次独立解决了数学中的重要开放问题，显示了AI在数学研究中的潜力。

Velox是一个学习4D物体几何和外观的框架，通过压缩时空彩色点云生成动态形状标记。它使用两个解码器来监督这些标记，分别捕捉几何和外观，表现出色于视频生成、3D跟踪和图像生成等任务。

2025年美国数学奥林匹克几何题讨论了三角形ABC及其边上点D、E、F的性质，证明了外心OM与ON相等，利用了旋转相似性和密克定理得出结论。

在《键盘沉睡时》第三集中，riclib利用六只鸡骨架制作了鸡肉洋葱汤和Frango à Brás，通过烤箱和压力锅结合提取胶原蛋白和风味，展示了烹饪的几何结构和无浪费原则，最终成功使用Bosch烤箱的烤架模式完成了美味的菜肴。

数学追求严谨与直觉的平衡，历史上数学家们为形式化而努力，催生了新领域。Lean程序的出现增强了数学证明的严谨性，但可能限制了创造力与多样性。数学家需在严谨与直觉之间寻求新的平衡。

本文提出了一种3D潜在表示方法，联合建模物体的几何形状和视角依赖的外观。通过编码RGB-深度图像的随机子样本，模型在统一的3D潜在空间中学习几何和外观的表示，能够重现高光和菲涅尔反射等视角依赖效果。实验结果表明，该方法在视觉质量和输入保真度上优于现有技术。

我与Quanta Books合作出版的短书《六个数学要素》涵盖数字、代数、几何、概率、分析和动力学六个基本概念，连接现实直觉、数学历史与现代应用。预计于10月10日出版，目前可预订。

最近的初中数学题不仅仅是计算，涉及不等式、函数和几何思维。以“求极值”为例，已知 \(x + y = 5\)，求 \(\sqrt{x + 1} + \sqrt{y + 3}\) 的最大值为 \(3\sqrt{2}\)。多种解法展示了不同的数学思维方式，强调了均匀性在求解中的重要性。

微软团队于2025年12月开源TRELLIS.2，旨在通过单张图像生成高质量3D资产，简化建模流程。该项目支持多种分辨率，提升几何细节和纹理一致性，适用于3D内容制作与创意探索。

腾讯混元团队推出的WorldPlay是一个实时交互的世界模型，解决了生成速度与内存占用之间的平衡。该模型通过双重动作表示法、重构上下文记忆机制和情境强迫蒸馏方法，实现了长期几何一致性，能够以24 FPS生成720p高清流媒体视频，展现出优秀的泛化能力。

腾讯混元团队推出的世界模型WorldPlay，实现了实时交互式世界建模，解决了生成速度与内存占用的平衡问题。该模型采用双重动作表示法、重构上下文记忆机制和情境强迫蒸馏方法，能够以24 FPS生成720p高清流媒体视频，展现出优秀的泛化能力，为具身智能和游戏开发等领域开辟了新前景。

几何形状的简化涉及多种算法，如ST_Letters、ST_RemoveRepeatedPoints和ST_Simplify等。通过添加顶点和去除重复点，可以有效简化形状。ST_SnapToGrid和ST_ReducePrecision函数确保几何形状的有效性。PostGIS 3.6引入了处理共享边界的函数，如ST_CoverageClean和ST_CoverageSimplify。

布洛赫球是可视化量子比特状态的工具，北极和南极分别代表经典比特的0和1，赤道上的点表示均匀叠加态。量子门可视为在球面上的旋转，帮助理解量子态的变化。它将抽象的量子状态映射到三维空间，便于理解量子计算的核心概念。

2025年高联二试几何题讨论了三角形ABC中，点D为边BC的中点，点E和F在角BAC的平分线上，满足特定角度关系。文章通过重心坐标和反演法证明了点A、P、D共线，并详细推导了相关几何关系和计算过程。