陶哲轩携AI再战数学！o4-mini秒怂弃赛，Claude 20分钟通关
陶哲轩携AI再战数学！o4-mini秒怂弃赛，Claude 20分钟通关陶哲轩YouTube视频第二弹震撼来袭！这一次，他让AI挑战在Lean中形式化代数蕴含证明，结果Claude约20分通关，o4-mini太过谨慎直接「弃赛」。
来自主题: AI资讯
7974 点击 2025-05-15 12:08
# 热门搜索 #
大模型
人工智能
openai
融资
chatGPT
搜索
陶哲轩YouTube视频第二弹震撼来袭！这一次，他让AI挑战在Lean中形式化代数蕴含证明，结果Claude约20分通关，o4-mini太过谨慎直接「弃赛」。
25岁天才Michael Truell率团队打造AI编程工具Cursor，仅用两年实现年收入2亿美元、估值达90亿美金，并未投入任何市场推广费用。Cursor重塑了软件开发范式，或将成为下一个科技巨头的雏形。
空间音频，作为一种能够模拟真实听觉环境的技术，正逐渐成为提升沉浸式体验的关键。
人工智能工具如何重塑教育科技行业版图？
R1 横空出世，带火了 GRPO 算法，RL 也随之成为 2025 年的热门技术探索方向，近期，字节 Seed 团队就在图像生成方向进行了相关探索。
2025年的春天，硅谷弥漫着不安与躁动。#谷歌 的股价走势正在动摇投资者对这个帝国的信心——2月初GOOGL曾短暂触及206美元的历史高点，仿佛一切尽在掌握；但随后如自由落体般下滑，到4月初已跌至145美元附近。
此次开源的 Wan2.1-VACE-1.3B 支持 480P 分辨率，Wan2.1-VACE-14B 支持 480P 和 720P 分辨率。通过 VACE，用户可一站式完成文生视频、图像参考生成、局部编辑与视频扩展等多种任务，无需频繁切换模型或工具，真正实现高效、灵活的视频创作体验。
AI算力，卷到天上了！这12颗计算卫星，每一颗都具备太空计算和太空互联的能力，将组成全球首个太空计算星座。它们的背后，是商业航天企业国星宇航牵头发起的“星算”计划。
进入2025年，AI的打法逻辑变了。
字节拿出了国际顶尖水平的视觉–语言多模态大模型。