AIGC动态
AIGC,AGI,人工智能
Copilot上大分，仅数天，陶哲轩的估计验证工具卷到2.0！刚刚又发数学形式化证明视频
菲尔兹奖得主陶哲轩近期发布了一个开源项目，旨在通过大模型的协助开发一个概念验证软件工具，用于验证涉及任意正参数的给定估计是否成立。该项目最初的目标...
黄仁勋放话：英伟达全员拥抱智能体！
英伟达首席执行官黄仁勋近期提出，AI智能体将成为未来软件开发的核心工具，彻底改变工程师的工作模式。他指出，未来的工程师将不再专注于手动编写代码，而是...
阿里通义成了AI的“黄埔军校”？
随着AI技术进入决赛圈，头部科技公司对顶尖AI人才的争夺愈发激烈。腾讯、字节跳动等巨头纷纷推出高薪计划吸引人才，而阿里巴巴的通义实验室则因核心人才的频...
字节Seed首次开源代码模型，拿下同规模多个SOTA，提出用小模型管理数据范式
字节跳动首次开源了其代码模型Seed-Coder，该模型规模为8B，超越了Qwen3，并在多个基准测试中取得了领先地位。Seed-Coder通过自身生成和筛选高质量训练数据，...
为什么AI视频工具长得越来越像？
AI视频领域在过去一年多的时间里经历了显著的变化，尤其是在OpenAI发布Sora之后，行业竞争愈发激烈。Sora曾被视为行业标杆，但随着中国玩家如可灵、即梦等崛...
现在的大学生，不用大模型才是异类
在北美顶尖大学校园中，人工智能（AI）工具如 ChatGPT 的广泛使用已成为一种普遍现象，甚至被用于完成作业和撰写论文。这种现象引发了关于教育体系如何应对 A...
英特尔秘密终止 Deep Link 计划
英特尔已正式停止对其Deep Link技术套件的支持，这一决定通过GitHub上的一位代表确认。Deep Link技术于2020年底推出，旨在通过协调Intel CPU和Arc GPU的功能...
DeepSeek精度效率双提升，华为&信工所提出思维链“提前退出”机制
华为与中科院信工所合作提出了一种名为DEER（动态提前退出推理）的新方法，旨在解决大模型在长思维链推理中可能出现的过度思考问题。DEER的核心在于找到推理...
微软开源新版ph4：媲美DeepSeek-R1，参数暴降48倍
微软近期在官网开源了三个新版Phi-4小参数模型，分别是Reasoning、Min-Reasoning和Reasoning-plus。这些模型的最大亮点之一是算力消耗极低，能够在消费级硬件...
2025，我们又一次用AI，交了个朋友。
在2025年5月10日的杭州，一场别开生面的AI聚会如期举行。这次活动吸引了来自全国各地的300名参与者，场地选在了阿里园区内的一个巨大篮球场，既满足了人数需...
