全网惊了！陶哲轩带AI下场，33分钟「盲证」数学
全网惊了！陶哲轩带AI下场，33分钟「盲证」数学菲尔兹奖得主陶哲轩再放大招，仅数天时间，开源的概念验证工具借助Copilot迭代至2.0版本。而在最新视频中，他甚至用AI在33分钟「盲做」形式化一页证明，效率惊人。
来自主题: AI技术研报
11260 点击 2025-05-12 12:24
# 热门搜索 #
大模型
人工智能
openai
融资
chatGPT
搜索
菲尔兹奖得主陶哲轩再放大招，仅数天时间，开源的概念验证工具借助Copilot迭代至2.0版本。而在最新视频中，他甚至用AI在33分钟「盲做」形式化一页证明，效率惊人。
最近 X 上很流行 Bento 信息图。
设计公司 Figma 推出多项新功能，包括基于 AI 的网站与网页应用创建工具、面向营销人员的批量素材生成方式，以及一款全新绘图工具。
简单来说，Cursor 0.50 版本核心亮点包括：计费模式大统一、Max Mode 能力爆表、超前瞻的后台 Agent、代码库上下文理解MAX、编辑体验丝滑、多项目工作区支持，以及一系列聊天功能优化！设计师们（哦不，是开发者们）估计又要惊呼YYDS了！
软件开发的未来已来！每位工程师都将配备AI智能体，它们将嵌入日常开发，优化代码、发现漏洞、加速原型设计。黄仁勋认为，未来每个人都将指挥多个AI助手，生产力呈指数级增长。
「大学现在学的就是掌握 ChatGPT 的程度了。」
刚刚，夸克AI超级框全面升级，变身国内最懂搜索的AI。这一次，它真正学会了主动思考，搜商直接爆表！
近年来，基于视频生成模型的可交互世界生成引发了广泛关注。尽管现有方法在生成质量和交互能力上取得了显著进展，但由于上下文时间窗口受限，生成的世界在长时序下严重缺乏一致性。
人工智能来势汹汹，科技巨头们却陷入空前的「AI焦虑」。从谷歌的搜索危机到苹果的AI滞后，再到马斯克的特斯拉销量滑坡，昔日霸主们正面临颠覆性挑战。谁会成为AI时代的「诺基亚」？
当大模型赛道中不少玩家明确表示放弃基础大模型研发，心思放在更聚焦的方向上时，阶跃星辰站出来——就像这家公司第一次亮相时那样，给外界一个明确的回答：