新闻资讯8

陶哲轩：AI改写数学证明范式

新智元2025-11-05

AI 摘要

陶哲轩让ChatGPT将数学论文转成Lean代码，完成埃尔德什第613号问题反例证明，AI节省大量时间。鲍里斯等用AI验证第707号问题反例。数学证明进入‘AI辅助时代’，引发范式思考。

关注公众号

扫码关注
第一时间收到每日精选

公众号专辑

高盛男奸杀计划被ChatGPT举报，AI报警引争议

25岁前高盛分析师Darren Zhou在ChatGPT写下强奸谋杀前女友计划，OpenAI检测到威胁后举报给FBI。Zhou 8月认罪，被判8年缓刑。此前OpenAI曾因未报警致枪击惨案，AI平台报案界限待明确。

Uno Platform 6.6发布，在五平台引入原生AOT发布、可选Vulkan渲染后端等。聚焦运行时性能，提升多平台启动速度，还简化XAML编写，增强AI辅助、无障碍及多语言支持等。

2026年，OpenAI等公司用AI解决多个匈牙利数学家Paul Erdős提出的问题，震动数学界。这些问题分布广、难度跨度大，适合模型测试。不过，AI证明的验证和人类数学家地位受关注。

在科技行业，产品设计师与用户研究员对职业前景焦虑、满意度低，而OpenAI产品设计负责人Ian Silber认为当下是成设计师最佳时机。他与Lenny探讨AI时代设计变革，分享应对策略、人类设计师价值等观点。