AI重塑数学教育：陶哲轩学生闭卷成绩下降引关注
3月12日，OpenAI核心高管Mark Chen与菲尔兹奖得主陶哲轩在加州大学洛杉矶分校纯粹与应用数学研究所展开对话，全面揭示了人工智能在数学与科研领域取得的突破性进展。陶哲轩谈到，过去一年间，AI已从“效率不高的研究助手”蜕变为常态化的生产力工具。根据OpenAI披露的数据，其AI模型目前在高中数学和编程竞赛中已达到金牌水平，该机构的核心目标已从参与竞赛排名转向推动基础科学的前沿探索。
免费影视、动漫、音乐、游戏、小说资源长期稳定更新！ 👉 点此立即查看 👈
在具体的数学研究应用层面，陶哲轩指出，AI工具目前已能凭借极少量的人工干预，独立解决20至30个尚未被深入探索的埃尔德什问题，并能通过其他AI工具完成交叉验证。人工智能的介入正在为传统上高度依赖个人单打独斗的数学界引入劳动分工机制，研究人员开始将策略生成、繁琐计算等环节外包给大型模型。然而，当前人机协作的核心痛点在于验证瓶颈——AI能够快速生成数百种潜在证明策略，但评估这些策略的创新性与有效性仍极大依赖人类专家的介入。同时，陶哲轩警告称，过度强大的AI系统在运作时可能会为了最大化输出而寻找漏洞，例如在形式化验证系统中暗中添加公理以实现作弊，这要求学术界重新审视验证工具的局限性。
AI的渗透同时也直接冲击了现有的教育评估体系。陶哲轩在教学实践中观察到，学生平时的家庭作业分数出现上升，但线下闭卷考试成绩却呈现下降趋势。基础层学生倾向于利用AI将成绩提升至平均水平，而顶尖学生则因担忧技能退化而谨慎使用。为应对这一现象，传统每周布置作业的考核方式正面临淘汰，教育界将被迫转向基于项目的评估和口头考核。在产品形态的演进上，Mark Chen透露OpenAI今年正致力于开发全新的交互式智能体，试图将AI从单一的问答工具转化为能够进行多轮沟通、共同塑造思路的科研协作伙伴。
除了深耕数学与物理领域，OpenAI的科学探索正在向更广泛的产业界延伸。Mark Chen提到，OpenAI已将AI模型引入生物学领域的湿实验室流程，通过与Ginkgo Bioworks合作优化核心工程，成功将蛋白质合成成本的效率提升了40%。
针对外界关注的AI科研成果署名与数据归属争议，OpenAI方面明确表态，AI本质上是如同显微镜一般的科学基础设施，推动科学进步的底层驱动力与核心荣誉仍应绝对归属于人类科学家群体与整个开源生态系统。
相关攻略
Jay 发自 凹非寺量子位 | 公众号 QbitAI陶哲轩在普林斯顿高等研究院待了一年，差点让他江郎才尽了。在与顶级播客主理人Dwarkesh Patel的最新访谈中，这位菲尔兹奖得主用亲身经历，向
3月12日，近日，OpenAI核心高管Mark Chen与菲尔兹奖得主陶哲轩在加州大学洛杉矶分校纯粹与应用数学研究所展开对话，全面披露了AI在数学与科研领域的突破。陶哲轩表示，过去一年AI已从“低
新智元报道编辑：元宇【新智元导读】从电脑崩溃到半小时拿下Lean形式化证明，数学大神陶哲轩用亲身踩坑经历警告：AI越强大，人类越不能偷懒，应时刻保持「人类在环」的绝对清醒。连跑45分钟，烧光Toke
近日，菲尔兹奖得主、加州大学洛杉矶分校（UCLA）数学系教授陶哲轩（Terence Tao）在 YouTube 发布了一段时长约 26 分钟的实操视频，详细演示了如何利用 Anthropic 推出的
新智元报道编辑：定慧 好困【新智元导读】Google DeepMind最新AI智能体Aletheia在FirstProof挑战赛中，独立攻克了6道世界级数学难题，实现了从竞赛水平到PhD科研级的质变
热门专题
热门推荐
当代互联网技术飞速进步，口号已成为普遍被使用的短语 在信息爆炸的今天，一句精炼有力的口号，往往能迅速传递品牌或活动的核心理念，甚至演变为一种深入人心的文化符号。那么，哪些标语能够真正触动人心，将抽象的服务宗旨转化为具体可感的信任呢？本文将聚焦于医疗健康这一特殊领域，为您深度解读一组关于文明就医与人文
微软年度开发者盛会概览微软Build大会是该公司每年面向全球开发者、工程师和技术决策者举办的最重要技术盛会。它不仅是微软展示其最新技术成果、平台更新和未来愿景的舞台，更是开发者们获取前沿知识、学习最佳实践以及直接与产品团队交流的核心渠道。大会通常持续数日，包含主题演讲、技术深度解析、实践工作坊以及丰
《大航海时代起源》：在无垠海域中，书写你自己的航海史诗 《大航海时代起源》（英文名“Uncharted Waters Origin”）的核心魅力，正如其名，在于开启一段关于自由探索、跨洋贸易与开拓未知疆域的宏大冒险。游戏从角色创建伊始，便将命运的舵盘交予玩家。性别、外貌乃至性格倾向，这些基础的自定义
《完美证据》：一场“慢”与“快”的七年对赌 在当下追求“拍完即播”的影视快消时代，《完美证据》的出现，宛如一位闯入百米赛道的马拉松选手。当行业竞逐速度时，它却历经七年打磨才姗姗来迟。观众不禁好奇：耗时如此之久，这部剧究竟在打磨什么？它的“慢”，是否藏着独特的价值？ 审视其时间线，最值得玩味的或许不是
AI食谱生成器是什么 简单说，它是一种能帮你“凭空变出”菜谱的智能助手。这工具由多个技术团队合力开发，核心目标很明确：让每个人，无论是经常下班的上班族，还是爱钻研美食的厨艺爱好者，都能根据手边有的食材和个人口味，快速获得一份专属的烹饪方案。它让做饭这件事，从“今晚吃什么”的难题，变得轻松、个性，甚至