标签: AI

陶哲轩12年前的预言,现在AI帮他兑现了

陶哲轩12年前的预言,现在AI帮他兑现了

菲尔兹奖得主陶哲轩在2013年提出“用计算机可读的形式化语言取代LaTeX”的预言,如今通过AI辅助和Lean证明系统基本实现。他发起的新项目在48小时内处理了2200万个代数关系,背后是“AI生成+Lean验证+社区协作”的闭环。

沃顿商学院的研究人员创造了“认知投降”来描述当人们让人工智能为他们思考时会发生什么

沃顿商学院的研究人员创造了“认知投降”来描述当人们让人工智能为他们思考时会发生什么

沃顿商学院研究人员在一项新研究中提出了“认知投降”概念,描述人们过度依赖AI输出并放弃独立思考的现象。实验发现,参与者接受AI错误答案的比例高达80%,且使用AI后自信水平反而提升11.7%。已经有商业应用如Moot将这种心理货币化,让AI“辩论团队”替用户做人生决定。