多跳问题」共找到 407 篇相关文章

新闻资讯8

陶哲轩再爆:一个月三破18年未解难!AlphaEvolve彻底改写数学研究规则

一项封尘18年的数学难,在短短30天内被AlphaEvolve与人类联手三度突破,和差集指数θ从1.173050提升至1.173077,刷新加法组合学天花板,展示了AI与人类协作的新范式。

新智元
新闻资讯7

别再什么工作被AI取代!Karpathy直指本质:你的工作「可验证」吗?

前特斯拉AI负责人Andrej Karpathy提出,软件1.0自动化能指定的任务,软件2.0自动化能验证的任务。判断任务能否被AI接管,关键看是否满足可重置、可高效试错、可自动奖励三条准则。

新智元
算法论文8

Codeforces难不够刷?谢赛宁等造了个AI出机,能生成原创编程

LiveCodeBench Pro团队推出AutoCode框架,利用LLM自动化竞赛编程创建与评估。该框架结合验证器 - 生成器 - 检查器框架与双重验证协议,在测试用例生成上可靠性佳,还能生成新,同时揭示了LLM在创作上的优劣势。

机器之心
新闻资讯7

具身智能落地四:路线图、陷阱、生态位与破局思路|甲子引力X

在「渡口——甲子引力X2025科技产业投资大会」上,梅卡曼德创始人邵天兰探讨具身智能落地。他指出落地有陷阱,企业应耐心发展;智能机器人对手是人工与专用设备,要找生态位,梅卡曼德做通用组件应对挑战。

甲子光年
新闻资讯7

GPT-5“变笨”实锤,退休教授出了道井字棋送分,结果它真送了

退休经济学教授用井字棋简单测试GPT - 5,其表现拉胯,与“博士级AI”宣传不符。后续操作离谱,或因OpenAI策略调整。此外,OpenAI在测ChatGPT新功能,奥特曼开始炒GPT - 6。

量子位
算法论文8

用「进化+压力测试」自动生成的竞赛级编程,各家大模型谁更hold住?

北京大学与通用人工智能研究院联合提出 UniCode 框架,构建进化式评测系统,能自动生成高质量算法目与抗污染测试用例。通过对 19 个前沿大模型测试,展现高挑战性与强判别力,为代码能力评估开辟新路径。

机器之心
算法论文8

230个大模型在婴幼儿认知上集体翻车!揭秘多模态大模型的核心知识缺陷

ICML 2025研究揭示多模态大模型在基础认知能力上表现不佳。研究者建测评库CoreCognition测试230个主流模型,发现其存在核心知识缺陷,扩规模难补短板,还需补齐核心知识。

量子位
新闻资讯7

2025 IMO真撕碎AI数学神话,全球顶尖模型齐翻车!冠军铜牌都拿不到

2025 IMO数学竞赛中,全球顶尖AI模型均翻车。冠军Gemini 2.5 Pro仅得31分,连铜牌都拿不到。Grok - 4表现糟糕,DeepSeek - R1也令人失望。AI虽有思路,但逻辑细节不足,离成奥数大师尚远。

新智元
新闻资讯7

王田苗三具身大牛:大模型还在「拨号上网」,机器人靠什么拿下真实订单?| WRC 2026

在2026世界机器人大会的圆桌论坛上,王田苗向具身智能头部企业CXO抛出尖锐。嘉宾围绕量产卡点、大模型应对物理世界不确定性及产业终局生态展开讨论,并就商业化落地节奏达成共识。

AI科技评论
算法论文8

AAAI 2026 Oral | 拒绝「一刀切」!AdaMCoT:让大模型学会「看下菜碟」,动态选择最佳思考语言

多语言大模型面临语言选择难,现有跨语言推理方法存在缺陷。新加坡研究团队推出AdaMCoT框架,通过自适应路由机制动态选语言推理,提升跨语言事实推理准确性与一致性,效果超越传统方法。

机器之心