AI在线 AI在线

理论

数学大一统的惊人胜利！天才数学家用30年破解不可能，边看《星战》边写论文

数学大一统的惊人胜利！天才数学家用30年破解不可能，边看《星战》边写论文
一个与「数学大一统理论」相关的领域，一项长期以来被视作几乎不可能的数学证明，如今取得了突破。 在历经30年的努力后，数学家们证明了这个数学构想——几何Langlands Program。 著名数学家、Max Planck研究所的Peter Scholze（菲尔兹奖得主，他没有参与这项证明）兴奋地表示：看到它得到解决真是太好了。
4/8/2025 9:37:00 AM
新智元
奥特曼最新访谈认可“套壳”：多数改变世界的公司，最初都是这样的

奥特曼最新访谈认可“套壳”：多数改变世界的公司，最初都是这样的
奥特曼最新访谈回应一切！ 在一档播客节目中，OpenAI CEO奥特曼分享了对4o吉卜力风突然走红以及大多数创业公司都是“套壳包装”的看法，并谈到了AI编程、AI智能体等前沿技术的发展趋势。 尤其是当中提到了一个“杰文斯悖论”的典型案例——当编程成本下降时，全球对软件的需求会呈指数级增长。
4/8/2025 9:27:00 AM
量子位
清华耶鲁推理模型新范式：动态推理实现高效测试时扩展，大大节省Token消耗

清华耶鲁推理模型新范式：动态推理实现高效测试时扩展，大大节省Token消耗
推理性能提升的同时，还大大减少Token消耗！ 清华、耶鲁团队提出推理模型新范式：动态推理实现高效测试时扩展。 测试时扩展（test-time scaling）技术加速推动了大语言模型在复杂推理领域的突破。
4/8/2025 9:16:00 AM
量子位
首个个性化对齐大模型问世！可精准识别用户内在动机和偏好，还有百万用户画像开源数据集 | 蚂蚁&人大

首个个性化对齐大模型问世！可精准识别用户内在动机和偏好，还有百万用户画像开源数据集 | 蚂蚁&人大
如何让大模型更懂「人」？ 虽然现有大模型经过了人类价值观对齐训练，但其对齐效果往往会让少数群体的声音被系统性淹没。 那随之而来的问题是，当大模型服务全球用户，标准化对齐范式是否正在制造新的数字鸿沟？
4/8/2025 9:12:00 AM
量子位
CLIP被淘汰了？LeCun谢赛宁新作，多模态训练无需语言监督更强！

CLIP被淘汰了？LeCun谢赛宁新作，多模态训练无需语言监督更强！
最近AI圈最火的模型非GPT-4o莫属，各种风格图片持续火爆全网。 如此强悍的图片生成能力，得益于GPT-4o本身是一个原生多模态模型。 从最新发布的LLM来看，多模态已经成为绝对的主流。
4/8/2025 9:10:00 AM
新智元
中科大ICLR2025：特定领域仅用5%训练数据，知识准确率提升14%

中科大ICLR2025：特定领域仅用5%训练数据，知识准确率提升14%
让大语言模型更懂特定领域知识，有新招了！ 来自中国科学技术大学MIRA实验室的王杰教授团队提出了提出了一个创新的框架——知识图谱驱动的监督微调（KG-SFT），该框架通过引入知识图谱（KG）来提升大语言模型（LLMs）在特定领域的知识理解和处理能力。 实验结果表明，其在多个领域和多种语言的数据集上取得了显著的效果，成功入选ICLR 2025。
4/8/2025 9:00:00 AM
量子位
大语言模型（LLM）是如何思考的？讲讲推动下一代人工智能推理的五种途径

大语言模型（LLM）是如何思考的？讲讲推动下一代人工智能推理的五种途径
译者 | 张哲刚审校 | 重楼大语言模型（LLMs）最早时期只是具备自动完成的功能，迄今为止，进步巨大，与当初已经不可同日而语。 然而，仅仅是生成流畅的文本并不足以体现真正的智能——真正的智能是需要推理能力的。 这意味着，大语言模型需要能够解决数学问题、能够调试代码、能够得出合乎逻辑的结论，还要能够检查和改正自身的错误。
4/8/2025 8:18:38 AM
张哲刚
如何对AI应用实施安全管控（带示例）

如何对AI应用实施安全管控（带示例）
作者 | 陈峻审校 | 重楼今年初，随着DeepSeek惊艳全球，各个企业和组织都敏锐地察觉到了人工智能（AI）技术为其赋能的机遇。 虽然居多IT专业人员都认为各项数字化服务都值得用AI进行提速提效，但是相对于All in AI的狂热，信息安全技术人员有必要在保持冷静的同时，积极筹备，尽快制定出针对那些涉及AI应用的安全性管控措施。 下面，我将以自己在企业中的项目经验，依次从网络、系统、应用、模型、数据、以及合规，六个层面和你讨论一些具体、可落地的安全检查要点。
4/8/2025 8:10:03 AM
陈峻
初级开发者过度依赖 AI 的风险

初级开发者过度依赖 AI 的风险
当ChatGPT等工具出现故障时，软件开发人员离开工位、临时休息或沮丧地靠在椅背上的场景并不罕见。 对许多技术从业者而言，AI辅助编码工具已成为日常便利。 即便是像2025年3月24日那样的短暂中断，也可能导致开发工作停滞。
4/8/2025 8:05:00 AM
AI小蜜蜂
AI在供应链中的潜力

AI在供应链中的潜力
在当今动态且不断发展的商业环境中，AI已成为一股关键力量，有望通过提高效率、敏捷性和决策能力来推动各行业变革。 各行各业的CEO正在认识到AI的潜力，尽管许多人预见到，为了在AI主导的世界中蓬勃发展，需要对当前运营进行调整。 在供应链领域，这种矛盾体现得尤为明显，AI的潜力在很大程度上尚未得到开发，根据Gartner的调查，只有17%的供应链组织表示已成功大规模部署了AI。
4/8/2025 5:00:00 AM
Noha Tohamy
模态编码器 | 超强开源CLIP模型OpenCLIP

模态编码器 | 超强开源CLIP模型OpenCLIP
来自LAION、UC伯克利、HuggingFace等的工作，这篇工作的研究动机也很简单，CLIP 模型在多模态领域展现出了巨大潜力，但原始 CLIP 模型未完全开源，限制了其更广泛的应用和深入研究。 OpenCLIP 旨在通过开源的方式，让更多开发者能够无门槛地利用这一先进模型，推动多模态技术在各个领域的应用和发展。 模型架构和原始CLIP无异，下面简单介绍这篇工作中的一些研究规律和实验结果。
4/8/2025 4:20:00 AM
Goldma
AI问答的核心！知识图谱：突破传统 RAG 的天花板

AI问答的核心！知识图谱：突破传统 RAG 的天花板
看似简单的 AI 问答系统，背后却隐藏着无数技术难题。  当我们询问"组件 A 与组件 B 有什么区别"这样的问题时，传统检索增强生成(RAG)系统往往会犯难。 它们就像只会做加法的计算器，遇到了需要乘除法的复杂方程...传统 RAG 的三大痛点传统 RAG 技术已成为 AI 应用的标配，但它面临三个根本性挑战：信息孤岛：文档被切分成互不相关的小块，丢失了上下文联系视野局限：只能基于文本相似度检索，无法理解概念间的逻辑关系推理能力缺失：无法像人类那样进行跨文档的综合分析例如，你问系统："A组件和B组件有什么区别？
4/8/2025 3:45:00 AM
大数据AI智能圈
Llama 4发布36小时差评如潮！匿名员工爆料拒绝署名技术报告

Llama 4发布36小时差评如潮！匿名员工爆料拒绝署名技术报告
Meta最新基础模型Llama 4发布36小时后，评论区居然是这个画风：失望，非常失望不知道他们后训练怎么搞的，总之不太行在[各种测试]2中失败……还被做成表情包调侃，总结起来就是一个“差评如潮”。 具体来看，大家的抱怨主要集中在代码能力。 最直观的要数经典“氛围编程”小球反弹测试，小球直接穿过墙壁掉下去了。
4/8/2025 3:44:00 AM
大模型部署工具 Ollama 使用指南：技巧与问题解决全攻略

大模型部署工具 Ollama 使用指南：技巧与问题解决全攻略
一、Ollama 是什么？ Ollama 是一个开源的本地大模型部署工具，旨在简化大型语言模型（LLM）的运行和管理。 通过简单命令，用户可以在消费级设备上快速启动和运行开源模型（如 Llama、DeepSeek 等），无需复杂配置。
4/8/2025 3:22:00 AM
wayn
模态编码器 | 最强CLIP模型EVA-CLIP-18B

模态编码器 | 最强CLIP模型EVA-CLIP-18B
来自智源王鑫龙团队的工作，将EVA-CLIP模型参数扩展至18B，简单看下结果，EVA-CLIP-18B性能远超其他模型。 项目地址：。 首先，随着大型语言模型(LLMs)参数量的增长至千亿级别，与其配套的视觉基础模型却未能同步扩展，这种不对等限制了多模态应用的整体效能。
4/8/2025 3:00:00 AM
Goldma
Meta LLaMA 4：对抗 GPT-4o 与 Claude 的开源王牌

Meta LLaMA 4：对抗 GPT-4o 与 Claude 的开源王牌
2025 年 4 月，Meta 正式发布了 LLaMA 4 系列的首批两款模型。 这两款模型模型分别是：LLaMA 4 Scout 与 LLaMA 4 Maverick，均采用了 专家混合架构（Mixture-of-Experts, MoE）。 据 Meta 表示，这是首次有 LLaMA 模型实现 文字与图像的统一处理能力，具备真正意义上的多模态理解。
4/8/2025 2:26:00 AM
LLM幻觉，竟因知识「以大欺小」！华人团队祭出对数线性定律与CoDA策略

LLM幻觉，竟因知识「以大欺小」！华人团队祭出对数线性定律与CoDA策略
大语言模型（LLMs）已经彻底改变了AI，但「幻觉」问题如影随从，堪称LLM癌症。 LLM会一本正经、义正辞严的捏造事实，「脸不红，心不跳」地说谎。 「幻觉」被普遍认为与训练数据相关。
4/8/2025 2:22:00 AM
新智元
比DeepSeek更惊艳，生成式决策如何让机器人拥有创造力？

比DeepSeek更惊艳，生成式决策如何让机器人拥有创造力？
当传统机器人遇见生成式AI，会擦出什么样的火花？ 技术的演进从不停滞。 如今，我们正处在具身智能发展的关键节点，生成式决策技术正悄然改变着这个领域的游戏规则。
4/8/2025 2:00:00 AM
大数据AI智能圈