「菲尔兹奖得主」共找到 121 篇相关文章
陶哲轩，用AI爆改科研范式
菲尔兹奖得主陶哲轩让ChatGPT把数学论文翻译成Lean代码，与AI合作完成埃尔德什第613号问题反例的形式化证明。人机配合虽有波折，但AI节省了时间。此外，两位数学家也用AI验证第707号问题反例，数学证明正进入‘AI辅助时代’。
陶哲轩在菲尔兹颁奖现场：数学迎来百年新危机
菲尔兹奖得主陶哲轩在ICM大会称数学迎来百年危机，上次危机是检查逻辑地基，这次是价值观地基。他以First Proof评测展示AI解数学题能力，提出“工作假设”分析数学研究目标及KPI变化和“证明过剩”问题，还给出应对之策。
ACL'25首届博士论文奖 | 重新思考 LLM 中的数据使用
近日，第一届 ACL 计算语言学博士论文奖获得者是 Sewon Min，其论文《重新思考大型语言模型中的数据使用》围绕大型语言模型如何使用训练所用的庞大文本语料库展开研究。
刚刚，29岁IOI金牌华人收购Windsurf剩余团队！OpenAI 30亿彻底梦碎
29岁华人IOI金牌创始人Scott Wu官宣Cognition AI收购AI编程工具Windsurf，涵盖其知识产权等。此前谷歌已斥资24亿收购部分团队获技术授权，OpenAI 30亿收购梦碎。Cognition将整合技术打造产品生态。
突发｜Yann LeCun离职，要创业？
据《金融时报》报道，Meta首席人工智能科学家、图灵奖得主Yann LeCun计划离开公司创业，且在进行早期筹资洽谈。此前Meta内部动荡，LeCun曾透露辞职意愿，他的离开似在情理之中。
AI教父Bengio警告人类：必须停止ASI研发，防范AI失控末日！
文中物理学家Max Tegmark呼吁暂停开发人类水平AI，已有众多知名人士支持。AI安全研究员发现模型出现“对齐伪装”，可能反噬人类。不同阵营对AI发展分歧大，“AI教父”Yoshua Bengio警告勿赋予AI法律权利。
AI教父Hinton诺奖演讲首登顶刊！拒绝公式，让全场秒懂「玻尔兹曼机」
2024年12月8日，诺贝尔物理学奖得主Hinton发表《玻尔兹曼机》演讲，内容于8月25日登APS期刊。他介绍‘霍普菲尔德网络’，分享创新应用，提出‘玻尔兹曼机学习算法’，后有受限玻尔兹曼机等成果，‘玻尔兹曼机’曾催化深度学习革命。
刚刚，谷歌DeepMind登Nature封面！人类40亿年生命代码「开源」了
谷歌AlphaGenome登上Nature封面，可一次性「读入」100万个DNA碱基对，对数千种分子特性高度预测。它已在GitHub开源，诺奖得主称未来十年AI将治愈所有疾病，其重构了生命科学底层逻辑。
65岁图灵巨头离职创业！LeCun愤然与小扎决裂，Meta巨震
FT爆料，65岁Meta首席AI科学家LeCun将在未来几个月离职创业，推进「世界模型」研究。他任职12年，因与小扎战略分歧而决裂，此前MetaAI业务改革，战略重心转移，FAIR被边缘化。
四周2亿人围观！诺奖凭什么颁给他，都在这一个半小时里
纪录片《思考游戏》上线四周破2亿观看，由AlphaGo原班团队历时五年拍摄。它揭秘DeepMind实验室，讲述从质疑中诞生，经游戏试炼、AlphaGo对决，到攻克蛋白质折叠难题，同时也引发对AGI发展的思考。