数学曾是艺术，直到AI带着蛮力到来
数学长期被视为与绘画、诗歌并列的人类创造性活动：数学家追求优雅的证明与深刻的洞察，而非机械的穷举。但过去几年，AI在定理证明与竞赛数学上接连突破，其「暴力搜索」式的路径正在改写这门学科的面貌。一批数学家开始思考：如何在拥抱AI工具的同时，守
数学长期被视为与绘画、诗歌并列的人类创造性活动：数学家追求优雅的证明与深刻的洞察，而非机械的穷举。但过去几年，AI在定理证明与竞赛数学上接连突破，其「暴力搜索」式的路径正在改写这门学科的面貌。一批数学家开始思考：如何在拥抱AI工具的同时，守
OpenAI宣布成立数学顾问小组，同时称其AI系统已解决超过100个开放数学问题。该小组仅提供建议，无权延缓或改变公司既有研究方向。这一安排凸显前沿实验室在数学推理竞赛中的速度优先策略，也让成果验证与外部监督问题再次成为焦点。
专注法律、药物发现和税务等高敏感领域，Pramaana Labs获得Khosla Ventures领投的2700万美元种子轮融资，旨在通过形式化验证技术确保AI系统的数学级可靠性，降低关键应用中的灾难性错误风险。