DeepMind首个猜想库开源，获陶哲轩力挺！
DeepMind首个猜想库开源，获陶哲轩力挺！谷歌DeepMind重磅出击，开源首个形式化数学猜想库，获陶哲轩力挺！从解析数论的兰道猜想开始，这个开源项目将为AI破解数学难题的未来铺路。
来自主题: AI技术研报
7048 点击 2025-06-12 18:03
# 热门搜索 #
大模型
人工智能
openai
融资
chatGPT
谷歌DeepMind重磅出击，开源首个形式化数学猜想库，获陶哲轩力挺！从解析数论的兰道猜想开始，这个开源项目将为AI破解数学难题的未来铺路。
近日，抖音内容技术团队开源了 ContentV，一种面向视频生成任务的高效训练方案。该方案在多项技术优化的基础上，使用 256 块 NPU，在约 4 周内完成了一个 8B 参数模型的训练。尽管资源有限，ContentV 在多个评估维度上取得了与现有主流方案相近的生成效果。
张小龙说，设计就是分类，我认为写作也是一种分类，有助于定义问题和讨论问题，所以在探讨 AI 编码之前，需要分清出什么时候是在氛围编码（Vibe coding），什么时候是在用 AI 辅助编程。
想象一下，你是一位游戏设计师，正在为一个奇幻 RPG 游戏搭建场景。你需要创建一个 "精灵族树屋村落"—— 参天古木和树屋、发光的蘑菇路灯、半透明的纱幔帐篷... 传统工作流程中，这可能需要数周时间：先手工建模每个 3D 资产，再逐个调整位置和材质，最后反复测试光照效果…… 总之就是一个字，难。
一个名叫 “Dolores” 的聊天机器人，正在悄悄改变澳洲慢性疼痛患者的生活。它不仅能陪你聊天，
这家简化软件开发流程的AI 初创公司 Lovable 正在进行大规模融资谈判，有望成为欧洲最大的人工智能新锐企业之一。
普林斯顿大学AI实验室与复旦大学历史学系联手推出了全球首个聚焦历史研究能力的AI评测基准——HistBench，并同步开发了深度嵌入历史研究场景的AI助手——HistAgent。这一成果不仅填补了人文学科AI测试的空白，更为复杂史料处理与多模态理解建立了系统工具框架。
你有没有想过，写日记这件事可能彻底变了？传统的日记本就像一个沉默的容器，你把想法倾倒进去，它只是默默接受，从不回应。但现在，一种全新的日记体验正在改变这一切——它不仅能听懂你的心声，还能与你对话，帮你发现那些隐藏在字里行间的人生模式。
刚刚，LeCun竟然亲自出镜，重磅讲解了V-JEPA 2！就在外界猜测他已被边缘化之际，这位AI老将用一支视频回应了质疑：要坚定不移做世界模型！这位20年孤勇者押注的方向，是将引领AI的下一个潮流，还是走上了歧路？
6 月 12 日消息，科技媒体 404Media 昨日（6 月 11 日）发布博文，报道称在维基百科编辑们的强烈反对下，维基媒体基金会（Wikimedia Foundation）宣布暂停测试 AI 文章摘要功能。