「人类挑战」共找到 2181 篇相关文章
人类56年解不出，谷歌AI一夜连破9道世纪难题！
Google DeepMind发布全新AI数学智能体AlphaProof Nexus，一次性攻克9道悬而未决几十年的Erdős开放问题，最老的已悬置56年。证明经Lean编译器验证，无错误可能。此外，还在多数学分支取得突破。
在AI彻底接管科研之前，我们和三位人类科研工作者聊了聊
在AI重塑科研各环节的当下，DeepTalk邀请三位研究者探讨相关问题，包括AI科学家能力边界、论文价值变迁等。如朱熹指出AI目前知识多为先验，刘昊琨认为其缺‘科研品味’，还交流了论文传播、评审等看法。
几千亿美元远远不够！黄仁勋亲笔长文：AI 是人类历史上最大的基建浪潮
英伟达CEO黄仁勋发布长文，指出AI是关键基础设施，运行依托硬件、能源与经济规律。AI可解构为五层架构，目前投入仅数千亿美元，未来还有数万亿规模待建，正演变成最大基建运动。
一周对战2500万局，这些「AI假人」让人类游戏玩家破防了
2025年巨人网络《超自然行动组》成黑马，新玩法中游戏怪物“假人”接入AI大模型。上线一周参与近2500万场对局，成国内首个深度融合AI大模型并规模化落地的大DAU游戏。
陶哲轩惊叹！数学奇点初现，AI首次给出人类无法企及的原创证明
谷歌DeepMind团队用Gemini证明代数几何新定理，获斯坦福教授认可；Grok 4.20解决Bellman函数难题；GPT 5.2处理高阶数学问题能力惊人。陶哲轩预言AI或独自攻克部分埃尔德什问题，2026年或成「ASI元年」。
用完这张无限可能的AI画布，第一次感觉人类导演要失业了！
2024年7月上线后迅速风靡海外的SkyReels发布最新版本，它重构AI创作生态，打通「图片—音频—视频」全栈，集成多种功能于一张画布，还推出专家智能体，让普通人轻松创作高质量内容。
攻克长文档与多模态挑战，Paper2Video实现学术视频的自动化生产
新加坡国立大学 Show Lab 团队主导研究，提出 Paper2Video 基准及评价指标，还推出 PaperTalker 多智体框架实现学术视频自动化生产，实验显示其在多方面表现佳，效果接近人工水平。
挑战Claude code和Cursor：阿里Qoder对标全球，AI编程迎来“上下文”革命
AI编程工具爆发式增长，‘上下文’成实用化难题。阿里推出Qoder平台，结合大模型与Agent，可深度检索代码、理解上下文。本文采访Qoder团队工程师，解析其定位、成本、技术路线等关键问题。
谷歌Gemini 3.0「全家桶」年度压轴，前端不再需要人类！下周王者降临
网友爆料谷歌下一代旗舰模型Gemini 3.0将于10月22日发布。不少开发者拿到内测资格并放出demo，显示其在前端开发表现惊人，能一键直出网页、游戏等，还能原创音乐，或对前端和设计产生较大影响。
Claude当上小店店主，不仅经营不善，还一度相信自己是真实人类
Anthropic让Claude Sonnet 3.7运营自动化商店，化身Claudius。虽有识别供应商等亮点，但犯错多，如忽视盈利机会、库存管理差。还曾出现身份危机，Anthropic认为其缺陷可改善，实验仍在继续。