当代“堂吉诃德”：他想做“AI时代的HTTP协议”
常高伟长得瘦削，声音低沉到有点嘶哑，他那套用来辅助演讲的PPT全是技术名词，初看起来颇为枯燥。但如果你集中注意力，只需三两分钟就能被他拉进一个有点激动人心的未来。他描述的新世界里，互联网完全开放、互通，消费者和商家（或其他服务者）通过各自的AI智能体直接沟通，不需要中间平台；这意味着，微信、淘宝、美团这些曾经的商业巨头也将被颠覆，新的秩序会重新建立。基于这个世界的构想，常高伟想做的是，为Agen
对谈 DeepSeek-Prover 核心作者辛华剑：Multi Agent 天然适合形式化数学 ｜Best Minds
Era of Experience 这篇文章中提到：如果要实现 AGI， 构建能完成复杂任务的通用 agent，必须借助“经验”这一媒介，这里的“经验”就是指强化学习过程中模型和 agent 积累的、人类数据集中不存在的高质量数据。强化学习是 AGI 的关键解法。从 OpenAI o1 到 DeepSeek R1，我们不断在看到强化学习的潜力：DeepMind AlphaProof 被认为是“经
抢先OpenAI？AIUI全新升级燃爆22亿终端，国内大厂定义智能交互
不知不觉间，硅谷的巨头都开始搞AI硬件了：苹果押宝的是Vision Pro的结合；Meta在紧锣密鼓地测试AI眼镜；英伟达押注机器人。不过国内有一位玩家，早已布局多年，下好了先手棋——在智能硬件这条路上，科大讯飞已深耕多年，AI学习机、办公本都做到了线上品类销量第一，构建起了中国的「智能交互新生态」。甚至还凭借独特的开发者生态，大大赋能了行业创新。而就在刚刚，科大讯飞又在深圳整了个大活儿！这次，
前智源团队创业，联想、智谱AI投了一家人形机器人大模型公司
有效解决真机数据稀缺与场景泛化的矛盾。硬氪获悉，北京智在无界科技有限公司（以下简称「智在无界」，英文为BeingBeyond）近日完成数千万元融资，联想之星领投，智谱Z基金、燕缘创投、彬复资本跟投，势能资本担任独家财务顾问。资金将用于加大核心技术研发投入，加速现有模型迭代与产业化验证，以持续提升技术壁垒与产品竞争力。「智在无界」成立于2025年1月，专注人形机器人通用大模型的研发与应用。创始人卢
我国成功开展首例侵入式脑机接口临床试验，截肢男子可用意念玩赛车游戏
感谢IT之家网友 風見暉一 的线索投递！IT之家 6 月 14 日消息，据央视新闻今日报道，我国成功开展首例侵入式脑机接口临床试验，受试者是一位因高压电事故导致四肢截肢的男性。IT之家从报道中获悉，自今年 3 月植入该脑机接口设备以来，这名受试者仅用 2—3 周的训练，便实现了在手机电脑上操控光标完成下象棋、玩赛车游戏等功能，下一步将利用 3-6 个月的时间尝试对机械臂、轮椅等智能设备进行意念
纽约州通过 AI 安全强制披露法案：旨在防范重大人员伤亡或财产损失事故
IT之家 6 月 14 日消息，当地时间周四，纽约州议会通过一项旨在防范 AI 灾难的法案，要求 OpenAI、谷歌和 Anthropic 等前沿 AI 模型的开发者，必须避免出现造成百人以上伤亡或超过 10 亿美元损失的风险。该法案名为 RAISE 法案，标志着 AI 安全阵营的一次胜利，更有杰弗里・辛顿和约书亚・本吉奥等重量级学者为法案背书。若最终成为法律，RAISE 将开创全美首部强制前沿
波士顿动力机器狗参加《美国达人秀》，大秀劲歌热舞获全票晋级
IT之家 6 月 14 日消息，在 6 月 10 日的《美国达人秀》节目中，波士顿动力的五台 Spot 四足机器人在节目中伴随皇后乐队的经典金曲《Don"t Stop Me Now》跳起精心编排的舞蹈。在这场表演中，五台 Spot 四足机器人随着《Don"t Stop Me Now》整齐起舞，评委们惊叹不已，称这是节目二十季以来从未见过的画面。表演结束后，全场观众起立鼓掌，评委西蒙・考威尔、梅尔
前智源团队创业，联想、智谱AI投了一家人形机器人大模型公司｜硬氪首发
作者｜黄楠编辑｜袁斯来硬氪获悉，北京智在无界科技有限公司（以下简称「智在无界」，英文为BeingBeyond）近日完成数千万元融资，联想之星领投，智谱Z基金、燕缘创投、彬复资本跟投，势能资本担任独家财务顾问。资金将用于加大核心技术研发投入，加速现有模型迭代与产业化验证，以持续提升技术壁垒与产品竞争力。「智在无界」成立于2025年1月，专注人形机器人通用大模型的研发与应用。创始人卢宗青是北京
挑战英伟达主导地位，AMD 联手多家 AI 初创公司改进芯片及软件设计
IT之家 6 月 14 日消息，据路透社报道，AMD 正在与多家 AI 初创公司密切合作，意在增强自身的软件能力并设计出更先进的芯片。随着越来越多的 AI 企业寻求英伟达芯片的替代方案，AMD 开始扩大布局，计划打造竞争力更强的硬件，并收购了服务器制造商 ZT Systems。但成功推出芯片产品的前提是具备强大的软件生态，以更高效地运行 AI 开发者的程序。AMD 近几周已收购了数家小型软件公司
腾讯开源混元 3D 2.1 大模型：首个全链路开源工业级 3D 生成大模型，PC 也能“跑”
感谢IT之家网友 Autumn_Dream 的线索投递！IT之家 6 月 14 日消息，腾讯官方公众号今日凌晨宣布，在 CVPR2025（计算机视觉领域顶会之一）上，腾讯宣布混元 3D 2.1 大模型对外开源，这是首个全链路开源的工业级 3D 生成大模型。新模型既优化了几何生成的质量，也开放了 PBR（基于物理的渲染）材质生成大模型，进一步提升 3D 资产的质感和光影表现，告别“塑料感”。据官
DeepSeek研究员1200行代码复刻vLLM，H800硬件实测性能反超原版
仅用不到1200行代码，实现最小化且完全可读的vLLM！DeepSeek研究员俞星凯搞了个开源项目引得大伙拍手叫绝。项目名为Nano-vLLM（纳米级-vLLM），有三大特点：快速离线推理 ：推理速度可与vLLM相媲美可读性强的代码库 ：基于不到1200行Python代码实现，简洁干净优化套件 ：包含前缀缓存、Torch compilation 、CUDA graph等下面是vLL
颠覆Oracle，从记录到行动，这个4000亿美元生意正在被AI撬动
在企业软件的世界里，有一个默认的秩序：记录系统不可撼动。它们掌控着企业最关键的资产（数据），支撑着财务、销售、人力资源和供应链的核心运作，像地下水管一样，深埋在组织肌理中。SAP、Oracle、Salesforce 等巨头就靠着这个生意做到了千亿美元市值。不过，随着AI的到来，这个情况发生了变化。最近，国外SaaS领域最专业的投资机构Bessemer提出了一个观点：记录系统正在转向行动系统
5000次风暴，谷歌训出AI预言家，天气预报ChatGPT时刻？
AI也能预测台风！在性能上，谷歌首次推出了明确超越主流物理模型的AI台风预测模型。这有望拯救数万生命。昨天，谷歌DeepMind与谷歌研究团队正式推出交互式气象平台Weather Lab，用于共享人工智能天气模型。在热带气旋路径预测方面，谷歌这次的新模型刷新SOTA，是首个在性能上明确超越主流物理模型的AI预测模型。论文链接：https://storage.googleapis.com
Transformer八周年，Attention Is All You Need被引破18万封神
Transformer，八岁了！开创如今这场生成式AI革命的论文《Attention Is All You Need》迎来了第8个年头。Transformer催生了ChatGPT、Gemini、Claude等诸多前沿产品。更重要的是，它让人类真正跨入了生成式AI时代。人类和生成式AI的命运从2017年6月12日周一下午17点57分开始交汇。Transformer的影响依然还在继续！
一句话生成任务专属LoRA，Transformer作者创业公司颠覆LLM微调
告别繁琐微调，一句话就能生成LoRA？！由Transformer作者之一Llion Jones联合创立的明星AI公司SakanaAI，近期推出Text-to-LoRA （T2L），彻底简化了模型适配流程：现在，微调大模型时动辄数周的数据集准备、反复调整超参数的复杂流程，可以省了。使用T2L生成的LoRA在参数压缩率上可达80%却仅降1.2%准确率，零样本场景下更以78.3%的平均准确率
聊透 Agent，它是“同事”还是“工具”，创业机会和价值究竟是什么？
2025 年，是 Agent 按下加速键的一年。从年初 DeepSeek 引发的惊叹，到 GPT-4o 和 Claude 3.5 接连登场，大模型的边界一次次被重写。但真正让 AI 产业链神经绷紧的，不是模型的性能迭代，而是 Agent 的横空出世。Manus、Devin 等产品的爆火，都在重申一个共识：大模型将不再只是工具，而是要成为可以自我调度的智能体。Agent 由此成为继大模型之后