DeepMind首个猜想库开源，获陶哲轩力挺！
DeepMind首个猜想库开源，获陶哲轩力挺！谷歌DeepMind重磅出击，开源首个形式化数学猜想库，获陶哲轩力挺！从解析数论的兰道猜想开始，这个开源项目将为AI破解数学难题的未来铺路。
来自主题: AI技术研报
7869 点击 2025-06-12 18:03
# 热门搜索 #
大模型
人工智能
openai
融资
chatGPT
搜索
谷歌DeepMind重磅出击，开源首个形式化数学猜想库，获陶哲轩力挺！从解析数论的兰道猜想开始，这个开源项目将为AI破解数学难题的未来铺路。
近日，抖音内容技术团队开源了 ContentV，一种面向视频生成任务的高效训练方案。该方案在多项技术优化的基础上，使用 256 块 NPU，在约 4 周内完成了一个 8B 参数模型的训练。尽管资源有限，ContentV 在多个评估维度上取得了与现有主流方案相近的生成效果。
张小龙说，设计就是分类，我认为写作也是一种分类，有助于定义问题和讨论问题，所以在探讨 AI 编码之前，需要分清出什么时候是在氛围编码（Vibe coding），什么时候是在用 AI 辅助编程。
大数据和大模型已成为具身智能领域业界和学术界的焦点，人们也在期待人形机器人真正步入大数据、大模型时代。然而，行业一直缺乏稳定的人形机器人全身遥操作与数据采集方案。
百事可乐首个人形机器人「百事蓝宝」正式C位出道！现场与大卫·贝克汉姆、智元机器人联合创始人兼首席技术官彭志辉同框互动，进行传统文化太极表演，这一出场，瞬间刷屏社交媒体，让人切实感受到：机器人不仅能说会道，更能成为品牌传递情绪价值的新出口。
想象一下，你是一位游戏设计师，正在为一个奇幻 RPG 游戏搭建场景。你需要创建一个 "精灵族树屋村落"—— 参天古木和树屋、发光的蘑菇路灯、半透明的纱幔帐篷... 传统工作流程中，这可能需要数周时间：先手工建模每个 3D 资产，再逐个调整位置和材质，最后反复测试光照效果…… 总之就是一个字，难。
豆包大模型1.6惊艳亮相，成为国内首款多模态SOTA模型，256k对话窗口，深度思考最长上下文。它不仅能看会想，还能动手操作GUI，国内最有潜力考清北。
6月举办的AIPCon7，又有7家Palantir的客户详细介绍并演示了Agent用例，这次有3家医疗，2家金融，1家电商，1家汽车客户。
一个名叫 “Dolores” 的聊天机器人，正在悄悄改变澳洲慢性疼痛患者的生活。它不仅能陪你聊天，
这家简化软件开发流程的AI 初创公司 Lovable 正在进行大规模融资谈判，有望成为欧洲最大的人工智能新锐企业之一。