「人类挑战」共找到 2181 篇相关文章
AI首次拿下IMO官方满分金牌，背后藏着一套自我纠错机制
在第67届国际数学奥林匹克（IMO 2026）上，小红书的「dots-note-3.0」成为首个获官方满分金牌的AI模型。它解题时自我检查修正，有自主探索能力。之后模型要应对生活中长周期、多变任务的挑战。
数学家24小时驳回OpenAI攻破的猜想！“AI证对了每句话，但已跟原猜想无关”
OpenAI宣称其下一代AI模型推翻了Connes刚性猜想，第二天堪萨斯大学的J. L. Nielsen就发文回应，指出AI构造的群不满足附加条件，还逐行核对代码指出‘要证什么’有问题，强调人类审查对AI科研结果很关键。
讲座分享 | 密歇根大学Karthik Duraisamy教授
密歇根大学Karthik Duraisamy教授将开展讲座，主题为数据驱动的湍流建模。会介绍过去十年嵌入学习模型增强的进展，强调简约与约束平衡，指出存在的陷阱及挑战，还提及让数据驱动封闭成为可靠组件的要点。
Temporal：Nvidia、OpenAI 都在用，为什么 Agent 还需要专门的长程任务工具？
本文编译了 Temporal CTO Maxim Fateev 的访谈。Temporal 提出 durable execution，确保工作流可靠执行，即使出错也能继续。它获 1.46 亿美元 C 轮融资，Nvidia、OpenAI 是客户。不过，它也面临 AI 发展和云厂商竞争等挑战。
工业级文本转SQL新思路：成本暴降、超3000列超大数据库依然稳健
华中科大与复旦联合发布AutoLink框架，引入自主智能体，模拟人类工程师工作流。在不输入全量数据库模式下，实现对超大规模数据库模式的高精准链接与筛选，以低Token消耗刷新两大榜单纪录。
在云栖大会，一场关于AI Agent的变化正在发生｜甲子光年
企业应用AI正从“调用模型”转向“构建AI Agent”。云栖大会展示了其在多行业的应用，如教育、工业、零售等。不过，企业落地AI Agent面临技术、场景、合规和商业回报等挑战，阿里云提供了构建方案。
OpenAI惊人自曝：GPT-5真「降智」了！但重现「神之一手」，剑指代码王座
GPT-5发布后引发热议，其IQ测试成绩不佳遭吐槽，但实际是「路由」问题。解锁神级GPT-5关键在prompt，医学家借它重现「神之一手」。它编程能力强，挑战Anthropic，还推动AI向「智能体式推理」发展。
拒绝重复造轮子！抽象 80% 工作场景，打造可复用的"AI 助手工厂”
文章指出，为解决重复开发AI助手的效率问题，智空间团队将高频需求抽象为可复用技术方案，打造“AI助手生产线”。介绍四大高频场景本质、共性挑战及对应方案，还阐述分层架构、解决方案、prompt架构等，最终落地“助手工厂”产品。
提前实测Opus 5：3D细节封神，然而有一个致命缺陷
全网苦等Opus 5，结果其暂缓发布，理由是怕威胁人类对高级AI的控制，遭网友怒批。部分开发者提前实测，它3D细节表现出色，但耗token且看图测试翻车，原定有诸多强大特性。
全球TOP 13战队翻车实录！机器人极限求生，比科幻片还残酷
第五届ATEC科技精英赛线下赛，13支精英战队机器人在真实世界极限挑战中状况百出。比赛打破舒适区，考验机器人行走、操作等能力，暴露了环境感知、智能决策、硬件算力等技术瓶颈。