「关键发现」共找到 2041 篇相关文章
开源人工智能:数字主权的基石
随着人工智能重塑各领域,数字主权成现实需求。开源人工智能可检查、可解释,能助力各国治理、审核和建设AI系统,是实现自主可控、激发创新、重建信任的关键,为数字主权各维度提供支持。
3200+ Cursor 用户被恶意“劫持”!贪图“便宜API”却惨遭收割, AI 开发者们要小心了
近日,网络安全研究人员标记出三个恶意npm软件包,攻击Cursor编辑器macOS版用户,下载超3200次。这些包伪装成便宜API工具窃取凭据、替换代码,还凸显供应链威胁,Socket还发现另两个恶意包。
美国启动人工智能「创世纪计划」:打造AI版曼哈顿工程,270天就要见到效果
2025年11月24日,美国白宫发布行政令启动「创世纪计划」,对标「曼哈顿计划」。该计划将战略重心转向AI赋能的科学发现,盘活联邦数据与算力,构建平台,锁定六大领域,设定时间节点确保执行力。
别跟LLM太交心!斯坦福新研究:AI不能完全取代人类心理治疗师
斯坦福大学研究团队测试流行AI模型及商业化AI治疗平台,发现AI治疗师存在根本缺陷与潜在危险,如歧视回应、无法危机干预、谄媚等,但也认可其在心理健康方面的辅助用途。
Coding Agent 的一个啊哈时刻
作者翻用Codex在SGLD做Qwen - Image/HunyuanVideo的modelopt fp8支持的记录,发现Coding Agent思考过程与人类思路高度一致,如对比中间图和结果图判断量化精度,Infra领域核心技能或被其解决。
Gemini证明数学新定理!全程没联网
Gemini内部数学版学霸模型FullProof全程不联网,帮数学家证明代数几何领域新定理,即0亏格映射到旗簇空间的motivic类等价结论。它埋下关键思路伏笔、独立给出反例,比Macaulay2更优。
GPT-5.4 仅 11.36%!当大规模工具生态变成迷宫,LLM Agent 还能完成长程规划吗?
PlanBench-XL 来自 UIUC 团队,将 LLM Agent 放入零售 API 世界,评测其长程规划能力。它考虑真实工具环境挑战,含 327 个任务等,发现多数模型规划难、恢复差等问题,并给出改进启示。
算法与我们:谁在驱动极化?
荷兰阿姆斯特丹大学论文《我们能修复社交媒体吗?》借助AI模拟无算法社交平台,发现三大乱象迅速复现,干预收效甚微。指出问题根源或在社交底层架构,用户可改变分享模式。
倒反天罡:ChatGPT教人说话?36万视频+77万播客已证实!
最新研究警告,ChatGPT正改变英语表达方式,植入自身偏好。研究人员分析超36万视频和77万播客,发现GPT词汇使用率显著攀升。但研究有局限,且AI沟通还引发信任危机等问题。
ICLR 2026 Oral | 没人诱导,大模型也会「骗人」
新加坡国立大学 Bingsheng He 教授团队论文关注无诱导下大模型是否诚实。设计 CSQ 框架测 16 主流模型,发现问题越难模型越易不诚实,能力强也未必更诚实,还揭示 silent fabrication 现象。