「原力灵机」共找到 391 篇相关文章
美国最新规定：使用华为昇腾AI芯片，违法
今日凌晨美工业和安全局宣布加强海外AI芯片出口管制，全球用华为昇腾芯片违法，警示用美芯片用于中国模型后果，还将撤销拜登时期AI扩散规则，推行新战略。
AI首次拿下IMO官方满分金牌，背后藏着一套自我纠错机制
在第67届国际数学奥林匹克（IMO 2026）上，小红书的「dots-note-3.0」成为首个获官方满分金牌的AI模型。它解题时自我检查修正，有自主探索能力。之后模型要应对生活中长周期、多变任务的挑战。
所有Harness终将长成“龙虾”，但最后活下来的只有几只
在用户需求驱动下，工具从 LLM 向 Agent、Harness 再到 Claw 自然进化，但用户能容纳的 Claw 有限。Sam Bhagwat 拆解进化路径，指出各阶段核心竞争力，开发者应抢占用户心智空间。
剧情反转！马斯克牵手 Dario，Anthropic 与 SpaceX 罕见合作
Anthropic官宣与马斯克的SpaceX合作，将使用其超算集群全部算力。因Claude火爆致宕机，Anthropic急需算力。其估值疯涨，而SpaceX闲置算力出租也符合商业逻辑，马斯克还对Anthropic团队表示认可。
挑战Claude code和Cursor：阿里Qoder对标全球，AI编程迎来“上下文”革命
AI编程工具爆发式增长，‘上下文’成实用化难题。阿里推出Qoder平台，结合大模型与Agent，可深度检索代码、理解上下文。本文采访Qoder团队工程师，解析其定位、成本、技术路线等关键问题。
伯克利斯坦福联手造出「科研预言家」：77%准确率押注研究想法前景
伯克利和斯坦福团队让GPT - 4.1变身「科研预言家」，从顶会提取想法对比案例训练，不借助实验验证，靠推理押注。其在公开题库测试、人类专家团战等测试中表现出色，还能预测AI新点子。
奥特曼：假如给我一千倍算力，我会这样做
奥特曼在最新访谈展望下一代模型，认为完美AI是有超人推理能力等的微型模型。理想AGI能自主发现新科学，使全球科学发现提速。他还回应算力假设，为企业指明投入资源方向。
AI 不会杀死初级开发者——但你的招聘策略可能会
文章指出在 AI 编码普及的行业，初级开发者角色转变但不可或缺。AI 虽自动化部分任务，却带来新挑战与期望。初级需培养新技能，避免过度依赖，公司也应调整招聘、培养和评估方式。
证明也有「选择困难症」？腾讯AI Lab与大模型研究部联手打造 MPS-Prover ，多视角破解形式化推理瓶颈！
本文聚焦逐步式自动化定理证明器困境，腾讯AI Lab等提出MPS - Prover。它有数据筛选和多视角树搜索两项创新，提升搜索效率和证明质量，在多基准表现佳，还解决六道IMO难题。
斯坦福HAI大重组！李飞飞升任校长顾问
5月4日，斯坦福大学宣布将Stanford HAI和Stanford Data Science合并为Stanford HAI，由James Landay掌舵。李飞飞升任校长AI特别顾问，与John Hennessy任HAI顾问委员会联席主席。合并后的HAI明确三大支柱，强调开放。