AI资讯新闻榜单内容搜索-2.0

关键词: AI,AI数学,sympy,陶哲轩

菲尔兹奖得主陶哲轩再放大招，仅数天时间，开源的概念验证工具借助Copilot迭代至2.0版本。而在最新视频中，他甚至用AI在33分钟「盲做」形式化一页证明，效率惊人。

关键词: AI,AI数学,AI科研,陶哲轩

本周二，我们报道了菲尔兹奖得主陶哲轩的一个开源项目 —— 在大模型的协助下编写了一个概念验证软件工具，来验证涉及任意正参数的给定估计是否成立（在常数因子范围内）。这才几天的时间，这个估计验证工具的 2.0 版本就来了！

关键词: AI,谷歌AI,Gemini,Gemini 2.0 Flash Experimental,AI生图

谷歌Gemini原生图像生成功能又双叒升级了！

关键词: AI,GeoSense,AI测评,人工智能

多模态大模型几何解题哪家强？

关键词: AI,Skywork-R1V,Skywork-R1V 2.0,昆仑万维

昆仑万维Skywork-R1V 2.0版本，开源了！这一次，它的多模态推理实现了再进化，成为最强高考数理解题利器，直接就是985水平。而团队也大方公开了各项技术秘籍，亮点满满。可以说，R1V 2.0已成为团队AGI之路上的又一里程碑。

关键词: Veo2,可灵2.0,Veo,可灵,AI视频

最近终于有时间来测试一下最新版的据说超级强的可灵2.0，想着来都来了不如顺便就把Veo 2也一起测了。前几天可灵2.0在北京有发布会，我没有去，主要是比较忙，最主要是可灵也没邀请我，不过还好，Veo 2也没邀请我，让我可以非常好地保持住自己的客观。

关键词: 可图2.0,可灵2.0,可灵,可图,Ai新闻

“史上最强视觉生成模型”，现在属于快手。一基双子的可灵AI基础模型——文/图生图的可图、文/图生视频的可灵，都重磅升级到2.0版本。可图2.0，对比MidJourney 7.0，胜负比「(good+same) / (same+bad)」超300%，对比FLUX超过150%；

关键词: 可灵AI 2.0,可灵AI,可灵,AI视频

在 Sora 之前，就已经受到全世界用户的认可的生成式视频工具是什么？——可灵 AI。无需折腾剪辑软件，几分钟，就能拿到自然如实拍，画面质感如电影的动态视频。

关键词: Devin,AI编程，AI工程师,Devin 2.0

由 Founders Fund 支持的旧金山初创公司 Cognition AI 于 2024 年初发布 Devin。

关键词: 商汤大模型,日日新大模型,日日新SenseNova V6,商汤SenseNova V6

商汤最新升级的日日新SenseNova V6解锁的新能力—— 原生多模态通用大模型，采用6000亿参数MoE架构，实现文本、图像和视频的原生融合。从性能评测来看，SenseNova V6已经在纯文本任务和多模态任务中，多项指标均已超越GPT-4.5、Gemini 2.0 Pro，并全面超越DeepSeek V3：