理论
半个世纪后，著名的麦凯猜想终获证明！数学家夫妇终结了一个未解群论难题
故事始于 2003 年，一位名叫 Britta Späthen 的德国研究生首次接触到了麦凯猜想（McKay conjecture），这是数学群论中最大的未解难题之一。 作为群论的一个著名猜想，麦凯猜想由数学家约翰・麦凯（John McKay）于 1972 年提出，主要涉及有限群的表示论，特别是关于群的不可约特征标的性质。 最开始， Britta Späthen 的目标并没有那么大。
3/4/2025 1:21:00 PM
机器之心
耶鲁、剑桥等开发MindLLM，将脑成像直接转换为文本
编辑 | 萝卜皮将功能性磁共振成像 (fMRI) 信号解码为文本一直是神经科学界面临的一项重大挑战，它有望推动脑机接口的发展，并加深对大脑机制的了解。 然而，现有的方法往往存在预测性能不佳、任务种类有限以及跨受试者泛化能力较差等问题。 针对这一问题，耶鲁大学（Yale University）、达特茅斯学院（Dartmouth College）和剑桥大学（University of Cambridge）的研究人员提出了 MindLLM，一种专为主题无关且用途广泛的 fMRI 到文本解码而设计的模型。
3/4/2025 1:01:00 PM
ScienceAI
首个强化生成模型AbNovo实现多目标、多约束抗体从头设计，发表于ICLR 2025
编辑 | ScienceAI近期，上海交通大学医学院张海仓课题组联合中原人工智能产业技术研究院与中国科学院计算技术研究所，提出了一项名为AbNovo 的抗体设计新方法。 该方法基于强化学习与深度扩散模型，能够在多目标、多约束条件下实现抗体从头设计。 该研究以「Multi-objective antibody design with constrained preference optimization」为题发表在国际机器学习顶会ICLR2025上。
3/4/2025 1:00:00 PM
ScienceAI
没有捷径：RAG入门不推荐直接使用成熟框架
春节期间我在 Github 开源的 RAG 项目目前已经攒了 134 个 Star，盲猜可能也是因为最开始用的就是 Ollama 本地部署 DeepSeek-r1:7b 的方案，年后当本地部署知识库和 deepseek火了起来之后，被动蹭了一波流量。 1、为什么重复造轮子？ 但是，在过去的一个月时间里也收到了很多网友的私信，询问关于为什么市面上已经有了类似 AnythingLLM、Cherry Studio、Dify、RAGFlow 等成熟的开源框架，还要重复造轮子去编一个不是很好用的 RAG 项目。
3/4/2025 11:01:00 AM
韦东东
REVOLVE：响应演化驱动的智能优化框架，破解传统AI优化瓶颈
iDreamer 致力于打造一个激发科研热情的全球中心。 我们帮助教授将愿景变为现实，为学生照亮塑造未来的道路。 在这里，没有资源的壁垒，没有思想的界限，只有团结一心追求卓越。
3/4/2025 11:00:00 AM
新闻助手
企业实施RAG过程中：常见误解与澄清，内含项目升级预告
春节之后的一个月的时间内，微信和小红书上数了下大概有 150 多个过来咨询 RAG 在企业落地的网友，一路聊下来按照对方的诉求大概分为三类，第一种是最多的就是年后返工公司领导让落地 RAG，但是一时没有头绪的过来咨询的；第二种是看过我公众号上的相关案例后，想外包给我来做具体实施的；第三种有点出乎意料的是，相关的媒体来交流行业观察的。 第一种类型也是最开始比较多的，最初我也是问啥答啥，但是大概聊了五六个之后发现情况有点不对，大部分其实是比较基础的问题，或者我认为问大模型能比问我更快扫盲的，再加上后来确实肉眼可见的人在变多，我索性和每个人说如果是咨询的话 200 块每小时（现在涨到了 500），这样就大部分人就索性不问了，虽说前后也是有十几个人很干脆的问完问题后直接发了红包，不过不得不说收费确实是个很好的互相筛选。 以上是碎碎念，言归正传，这篇给大家介绍下我目前几个项目实践踩坑过程中总结出的些经验。
3/4/2025 10:53:59 AM
韦东东
Claude公司估值615亿美元再融35亿，那DeepSeek…
刚刚，Claude背后公司Anthropic官宣新一轮融资：35亿美元！ 投后估值达到615亿。 在Clauede-3.7发布后，此轮新融资便浮出水面，并在今天正式公布。
3/4/2025 10:33:14 AM
NYU教授震怒警告：孩子不学编程，只会葬送美国未来！
纽约时报最近的一篇文章写得非常精彩，可能成为周末阅读量最高的文章之一。 文章认为初级程序员甚至全部软件工程师迟早被AI取代，现在的AI让人动动嘴就能做出个人应用。 对此，马库斯怒斥道——这种观点，简直就是在误人子弟！
3/4/2025 9:30:00 AM
新智元
DeepSeek搭建个人知识库教程，你学会了吗？
各位朋友，是不是经常被 AI 气得火冒三丈，恨不得把键盘给砸了？ 你让它查公司去年的财务数据，它却开始背诵经济学原理；你让它分析竞品的策略，它却大谈特谈马斯洛需求理论。 我太能理解这种感受了，这就好比你花钱雇了个助理，结果这助理啥都不会，只会照搬百度百科的内容！
3/4/2025 9:26:37 AM
派大星
性能无损，模型隐私保护效果提升50%!蚂蚁数科创新跨域微调框架| AAAI 2025 Oral
大模型的快速及持续发展，离不开对模型所有权及数据隐私的保护。 AAAI 2025期间，蚂蚁数科、浙江大学、利物浦大学和华东师范大学联合团队提出了一种创新的跨域微调框架ScaleOT，可以实现在模型性能无损的前提下，将模型隐私保护效果提升50%。 相比于知识蒸馏技术，还降低了90%的算力消耗，为百亿级参数模型的跨域微调提供了一种高效和轻量化的解决方案。
3/4/2025 9:20:00 AM
量子位
阿里PC-Agent重构人机交互，精准拆解跨应用指令，自动化办公更进一步
面向复杂PC任务的多模态智能体框架PC-Agent，来自阿里通义实验室。 从Office到浏览器，跨APP工作流都可以交给AI来完成了。 指令1（翻译）：在记事本应用程序中，打开“文档”中的“备忘录”文件，查看上午的第二项活动。
3/4/2025 9:10:00 AM
量子位
一文读懂大模型 RAG：检索、增强与生成的技术详解
大模型（Large Language Model，LLM）的浪潮已经席卷了几乎各行业，但当涉及到专业场景或行业细分领域时，通用大模型往往面临专业知识不足的问题。 相对于成本昂贵的“Post-Training”或“Supervised Fine-Tuning”（监督微调，SFT），基于RAG的技术方案成为了一种更优选择。 本文笔者将从RAG所解决的问题及模拟场景入手，详细总结相关技术细节，与大家分享~一、初识：RAG所解决的问题及模拟场景1.
3/4/2025 9:10:00 AM
小喵学AI
Seed Research | 形式化数学推理新SOTA！BFS-Prover模型最新开源
近日，豆包大模型团队提出 BFS-Prover，一个基于大语言模型 (LLM) 和最优先树搜索 (BFS) 的高效自动形式化定理证明系统。 团队通过该成果发现，简单的 BFS 方法经过系统优化后，可在大规模定理证明任务中展现卓越性能与效率，无需复杂的蒙特卡洛树搜索和价值函数。 在数学定理证明基准 MiniF2F 测试集上，BFS-Prover 取得了 72.95% 准确率，超越此前所有方法。
3/4/2025 9:00:00 AM
Seed Research
标点符号成大模型训练神器！KV缓存狂减一半，可处理400万Tokens长序列，来自华为港大等 | 开源
文字中貌似不起眼的标点符号，竟然可以显著加速大模型的训练和推理过程？ 来自华为、港大、KAUST和马普所的研究者，就提出了一种新的自然语言建模视角——SepLLM。 起因是团队发现某些看似无意义的分隔符，在注意力得分中占据了不成比例的重要地位。
3/4/2025 9:00:00 AM
量子位
Claude 3.7硬控马里奥90秒，GPT-4o开局暴毙！Karpathy直呼基准失效，游戏成LLM新战场
LLM评估基准的「黄金标准」，正在失效？ 一大早，AI大神Karpathy发出质疑，「目前存在一种评估危机，我真的不知道现在该看哪些指标了」。 诸如MMLU、SWE-Bench Verified、Chatbot Arena等这些基准，各有自己的优劣之处。
3/4/2025 8:40:00 AM
新智元
Hinton怒斥马斯克「电锯」屠遍美国科学界！3410位大佬联名将其从英国皇家学会除名
AI教父Hinton和马斯克吵起来了！ 今天，Hinton公开叫板，「马斯克应该被英国皇家学会除名，最关键原因是他正在对美国科学机构造成巨大损害」。 这番言论如同一枚重磅炸弹，瞬间点燃了舆论战场。
3/4/2025 8:30:00 AM
新智元
AI优先事项：IT领导者强调生产力而非创新
随着AI技术的飞速发展，IT领导者对其的投资热情日益高涨，然而，在AI的应用焦点上，IT领导者们却存在不小的争议。 是专注于提高员工生产力，还是探索更高级的应用如推动创新?这一选择将直接影响企业的未来发展。 一项新调查显示，IT领导者在使用AI时仍然瞄准的是低垂的果实，专注于提高员工生产力，而非更高级的应用，如推动创新或增加收入。
3/4/2025 8:10:00 AM
Grant Gross
使用Rust构建高性能机器学习模型
译者 | 布加迪审校 | 重楼机器学习主要使用Python来完成。 Python之所以大受欢迎，是由于它易于学习，并且有许多机器学习库。 而现在，Rust正成为一种强有力的替代语言。
3/4/2025 8:00:00 AM
布加迪
资讯热榜
标签云
人工智能
OpenAI
AIGC
AI
ChatGPT
AI绘画
DeepSeek
模型
数据
机器人
谷歌
大模型
Midjourney
智能
用户
开源
学习
GPT
微软
Meta
图像
AI创作
技术
论文
Gemini
Stable Diffusion
马斯克
算法
蛋白质
芯片
代码
生成式
英伟达
腾讯
神经网络
研究
计算
Anthropic
Sora
3D
AI for Science
AI设计
机器学习
开发者
GPU
AI视频
华为
场景
人形机器人
预测
百度
苹果
伟达
Transformer
深度学习
xAI
Claude
模态
字节跳动
大语言模型
搜索
驾驶
具身智能
神器推荐
文本
Copilot
LLaMA
算力
安全
视觉
视频生成
训练
干货合集
应用
大型语言模型
亚马逊
科技
智能体
AGI
DeepMind