陶哲轩：千年数学规则被AI按下重启键
陶哲轩：千年数学规则被AI按下重启键陶哲轩，公开演讲承认AI已彻底改变数学工作流。周三，这位菲尔兹奖得主在斯坦福大学发表了一场题为《新数学工作流》的演讲。他要改变自己的工作习惯，不再试图实时跟进所有新证明。
来自主题: AI资讯
6553 点击 2026-05-17 11:19
# 热门搜索 #
大模型
人工智能
openai
融资
chatGPT
搜索
陶哲轩，公开演讲承认AI已彻底改变数学工作流。周三，这位菲尔兹奖得主在斯坦福大学发表了一场题为《新数学工作流》的演讲。他要改变自己的工作习惯，不再试图实时跟进所有新证明。
花 149 块钱，能买到什么级别的保洁服务？答：一个阿姨 + 一个工程师 + 一台重逾百公斤的盘式机器人，上门服务三小时。这个配置放在 58 到家的订单页上，一度让人怀疑是不是系统 Bug，少了打了一个零？
太有意思了，刚看到河南郑州西亚斯学院的消息。有几位 00 后创业者回母校干了件事，给学校捐了 20 亿 Token，希望带动学弟学妹做一人公司创业。郑州西亚斯学院是泡泡玛特老板王宁的母校，看来这学校真挺能出人才的。
这场从 Zig 到 Rust 的迁移，实际上只花了大约六天，涉及 96 万行代码，并且在 Linux x64 glibc 环境下通过了现有测试套件的 99.8%。而六天前，Jarred 还在 Hacker News 上说 这是一堆根本还跑不起来的代码，“最后被全Ω部扔掉的概率非常高”。六天后，同样的代码变成了“Zig 的最后一个版本”。
近期，专为Diffusion模型设计的插件框架——Diffusion Templates正式开源发布。这个框架能大幅降低可控生成技术的训练和使用难度，让开发者能够通过丰富的Templates来精准控制模型的生成结果。
5 月 15 日，杭州西湖云栖小镇。经过前两天雨水的洗礼，春末夏初的空气里透着清新，风也温柔。但小镇里的各大机器人，可顾不上「感受」这份惬意…… 一台四足机器人小心翼翼踩过碎石路，踉跄两步稳住身体，继续执行变电站智能巡检任务；几米外，另一台四足机器人穿过倒塌的废墟，一头钻进模拟浓烟中，展开搜救工作。
针对这一问题，上海人工智能实验室、复旦大学、上海交通大学团队提出了Thoth：一个面向生物实验protocol生成的科学推理模型。一句话概括：Thoth不是让模型“写得像protocol”，而是让模型按照实验逻辑，生成可解析、可评估、可执行的protocol。
马耳他政府刚刚消息：向全体国民提供免费的 AI 课程，以及免费的 ChatGPT Plus 会员。马耳他成为首个把 AI 作为全民基础服务来发放的国家。项目名叫 AI for All（马耳他语 AI għal Kulħadd），意思是“全民 AI”。第一阶段五月启动，由马耳他数字创新管理局负责分发
2022年10月，Elon Musk 以 440 亿美元收购 Twitter，第一件事就是解雇 CEO Parag Agrawal。这位被 Jack Dorsey 亲自提拔的印度裔工程师，在舆论场里几
5月15日，米哈游在北京举办了一场AI基础大模型相关的技术分享会与顶尖校招生招募活动，米哈游创始人刘伟在此次招聘会上分享了部分他对AI业务的看法和愿景。