人工智能
Seed Research | 形式化数学推理新SOTA！BFS-Prover模型最新开源
近日，豆包大模型团队提出 BFS-Prover，一个基于大语言模型 (LLM) 和最优先树搜索 (BFS) 的高效自动形式化定理证明系统。 团队通过该成果发现，简单的 BFS 方法经过系统优化后，可在大规模定理证明任务中展现卓越性能与效率，无需复杂的蒙特卡洛树搜索和价值函数。 在数学定理证明基准 MiniF2F 测试集上，BFS-Prover 取得了 72.95% 准确率，超越此前所有方法。
3/4/2025 9:00:00 AM
Seed Research
科大讯飞董事长刘庆峰 2025 年两会建议：设立 AI 失业保险
据《南方都市报》今日报道，2025年全国两会召开在即，全国人大代表、科大讯飞董事长刘庆峰呼吁发展AI新岗位，完善AI失业保障，“打造AI就业友好型社会”。
3/3/2025 2:13:11 PM
清源
深圳：推出各类创新形态手机产品，率先完成智能手机从“智能工具”向“智能助理”升级
深圳市工信局发布《行动计划》，目标到2026年，全市人工智能终端产业规模达8000亿以上，推出50款爆款AI终端产品。重点发展领域包括手机、计算机、平板电脑等，推动终端从工具向助理转变。
3/3/2025 1:40:27 PM
清源
人工智能如何改变制药行业，对医学的未来意味着什么？
编辑 | 白菜叶制药行业以严谨的研究、复杂的药物开发流程和尖端技术的使用而闻名，而现在，由于人工智能的出现，该行业正在经历一场变革。 从疾病识别和诊断、药物发现、临床试验优化到提高制造效率等应用，人工智能正在加速该行业的发展。 制药行业拥有大量生物、化学数据和患者数据，因此具有独特的优势，可以充分利用人工智能的潜力。
3/3/2025 12:03:00 PM
ScienceAI
北京最大单体智算集群亮相：规模突破 10000P，算力可顶 500 万台高性能笔记本
北京人工智能公共算力平台近日再次实现扩容，智算规模突破10000P，成为北京最大、国内领先的超大规模高性能单体智算集群，将有力支撑各类创新主体万亿参数级通用基础大模型一体化训练和推理。
3/3/2025 11:29:35 AM
清源
荣耀 CEO 李健发布阿尔法计划：未来5年投100亿美元打造 AI 生态！
在2025年全球移动大会（MWC2025）上，荣耀的新任首席执行官李健首次公开亮相，发布了名为 “荣耀阿尔法计划” 的新战略。 这一计划标志着荣耀从传统的智能手机制造商向全球人工智能(AI)终端生态公司转型的决心。 李健在发布会上宣布，荣耀将在未来五年内投入100亿美元，与全球的合作伙伴共同建设一个全新的 AI 设备生态系统。
3/3/2025 11:03:00 AM
AI在线
苹果AI困境：生死赌局，冲不过就出局！
近日，外媒对苹果在人工智能领域的表现进行了深度剖析，认为苹果正面临一场生死攸关的AI赌局。 如果无法在人工智能领域取得突破，苹果可能会在未来的市场竞争中出局。 苹果AI短板暴露苹果在AI领域的短板愈发明显。
3/3/2025 10:26:33 AM
小菲
LLM表现出类似人类的“认知”下降迹象
GenAI问世不到两年，就在各个行业带来了众多创新，包括科学突破和前所未有的自动化和数据处理效率。 大型语言模型（LLM）经常被比作人类智能。 一些人工智能系统甚至在某些任务中表现优于人类。
3/3/2025 10:18:46 AM
AI情报室
科大讯飞成立星盾科技公司 含多项AI业务
近日，合肥讯飞星盾科技有限公司在工商部门完成了注册登记，正式宣告成立。 该公司的法定代表人为胡国平，注册资本为2亿元人民币。 天眼查App显示，合肥讯飞星盾科技有限公司的经营范围十分广泛，涵盖了软件开发、人工智能基础资源与技术平台、人工智能理论与算法软件开发、人工智能应用软件开发、网络与信息安全软件开发以及大数据服务等多个领域。
3/3/2025 10:17:00 AM
AI在线
大型视觉模型何时会有ChatGPT时刻？
2022年11月推出的ChatGPT是自然语言处理（NLP）的一个分水岭，因为它展示了转换器（Transformer）架构在理解和生成文本数据方面的惊人有效性，也被称为人工智能的ChatGPT时刻。 现在，随着预训练大型视觉模型（LVM）的兴起，我们在计算机视觉领域看到了类似的情况。 但是，这些模型何时才能将视觉数据广泛应用呢？
3/3/2025 10:13:09 AM
AI情报室
哈佛研究：生成式AI让美国工人效率飙升33%
一项由圣路易斯联储、范德比尔特大学和哈佛大学联合开展的研究表明，生成式人工智能（AI）在美国工作场所的应用显著提高了工人的生产率。 研究结果显示，使用生成式AI后，美国工人平均每小时的生产率提高了33%。 该研究基于首次具有全国代表性的生成式AI使用调查，通过分析工人使用该技术的程度和频率，衡量其对工作效率的具体影响。
3/3/2025 10:04:49 AM
小菲
苹果或需 2027年才能发布真正现代化、对话式的Siri版本
根据《彭博社》记者马克・古尔曼的报道，苹果公司在重建 Siri 以适应生成性人工智能的时代方面遇到了一些挑战，预计该公司要到2027年 iOS20发布时，才能推出 “真正现代化、对话式的 Siri” 版本。 不过，这并不意味着在此之前 Siri 就没有更新。 消息称，一款新版本的 Siri 预计将在今年5月推出，届时将整合苹果公司在近一年内发布的所有人工智能功能。
3/3/2025 10:03:00 AM
AI在线
智谱AI宣布完成新一笔金额超10亿元战略融资
近日，国内领先的人工智能企业智谱宣布完成了一笔金额超过10亿元人民币的战略融资。 此次融资由杭州城投产业基金、上城资本等多家投资机构共同参与，为智谱的进一步发展和技术创新注入了强劲动力。 据悉，这笔融资将主要用于推动国产基座GLM大模型的技术创新和生态发展。
3/3/2025 9:09:00 AM
AI在线
官方详解 DeepSeek-V3 / R1 推理系统：理论利润率达 545%
3 月 1 日消息，DeepSeek 官方今日在知乎发布《DeepSeek-V3 / R1 . 推理系统概览》一文，详细介绍如何使用大规模跨节点专家并行(Expert Parallelism / EP)来增大 batch . size，如何隐藏传输的耗时，如何进行负载均衡。
3/3/2025 9:00:00 AM
清源
荣耀发布阿尔法计划 5年投入100亿美元建设AI生态
昨晚，MWC2025全球移动大会在上海正式拉开帷幕，荣耀新任CEO李健在会上首次亮相，并正式发布了荣耀的全新人工智能战略计划——“阿尔法计划”。 作为荣耀的新掌舵人，李健在发布会上宣布，未来五年，荣耀将投入高达100亿美元的资金，与全球合作伙伴共同构建AI设备生态，标志着荣耀从智能手机制造商向全球AI终端生态公司的全面转型。 值得注意的是，这也是李健自接任荣耀CEO以来的首次公开亮相。
3/3/2025 8:26:00 AM
AI在线
英语客服印度口音太重？全球最大呼叫中心运营商 Teleperformance SE 推出 AI 语音实时优化系统
全球最大的呼叫中心运营商 Teleperformance SE 推出了一款人工智能系统，可实时调整印度英语客服人员的口音，以提高沟通的清晰度。
3/3/2025 8:16:13 AM
清源
副业要赚翻？这六款 AI 代理简直像开挂
AI 代理（AI Agents）能够让繁琐的人工工作实现高度自动化，而且速度快、准确度高。 它们在写代码、做营销、创作视频以及其他创意或业务领域都越来越出色。 如果现在还不使用 AI 代理，可能很快就会落后。
3/3/2025 8:10:00 AM
dev
神经网络技术的核心：反向传播算法(BP算法)
在前面的文章中介绍训练一个模型，其主要区别就在于神经网络模型的架构；但可能很多人并不知道神经网络模型的核心算法就是——反向传播算法，也被叫做BP算法。 可能很多人都听说过反向传播算法，但可能很多人都没意识到反向传播算法对神经网络的重要性；可以说现在的神经网络模型就建立在反向传播算法之上，没有反向传播算法就没有神经网络的存在。 反向传播(BP)算法了解过人工智能发展史的人应该都知道，人工智能技术并不是最近才出现的新技术；在世界上第一台计算机出现之后的十年，人工智能的概念就已经被提出来了，但人工智能技术的发展却是最近几年才爆火的。
3/3/2025 8:10:00 AM
AI探索时代
资讯热榜
Microsoft Releases 700 Real AI Cases to Explore New Intelligent Work Models
微软发布 700 个真实 AI 案例，探索智能化工作新模式
Li Hang, head of ByteDance AI Lab, resigns; Seed team enters adjustment period
Former DeepSeek executive secretly starts new AI Agent project, already backed by top VC
OpenAI Upgrades ChatGPT Search Functionality to Provide More Precise and Smarter Responses
腾讯LeVo来袭！媲美Suno 4.5的AI唱歌模型，支持零样本音色克隆
Microsoft AI Unveils Code Researcher: 58% Crash Resolution Rate Stuns the Industry!
ChatGPT Sparks Conspiracy Theory Controversy, Accountant Nearly Loses Sanity After Believing It!
标签云
人工智能
AI
OpenAI
AIGC
模型
ChatGPT
DeepSeek
AI绘画
谷歌
数据
机器人
大模型
Midjourney
用户
智能
开源
微软
GPT
Meta
学习
图像
技术
AI创作
Gemini
论文
马斯克
Stable Diffusion
算法
代码
英伟达
Anthropic
芯片
开发者
生成式
蛋白质
腾讯
训练
智能体
神经网络
研究
3D
生成
苹果
计算
机器学习
Sora
Claude
AI设计
AI for Science
GPU
AI视频
人形机器人
搜索
华为
百度
场景
大语言模型
LLM
xAI
预测
伟达
深度学习
字节跳动
Transformer
Agent
工具
模态
视觉
神器推荐
具身智能
文本
RAG
LLaMA
算力
Copilot
大型语言模型
驾驶
API
应用
架构