「科学判断」共找到 513 篇相关文章
AI「生肉证明」堆爆GitHub！陶哲轩重磅发声：只会解题没用了
陶哲轩判断数学从证明稀缺进入过剩时代，AI 使证明生成加速，出现验证和消化跟不上的‘阻抗失配’现象。如 Erdős 问题有众多待评估方案堆积，而仅1196号案例跑通‘三件套’。他还指出学术评价体系将重写。
OpenAI要跳过5.3，直接迈向GPT-5.4了？
近日，一名OpenAI工程师在公开的Codex GitHub仓库中提交拉取请求，让GPT - 5.4型号出现在代码版本判断条件中，同时有用户发现它曾短暂出现在Codex应用的模型选择器里。线索被迅速修改或删除，引发诸多猜测。
不敢信？中国AI国家队出手，刚刚通关了万亿级主战场「地狱副本」
文章指出智能体虽强，但在招标采购等落地场景面临挑战。科大讯飞发布招采智能体平台，提出智能体工厂概念，解决招采痛点。还提炼出四个行业判断，分析其成功原因，标志AI在B端场景走向落地。
诺奖、金牌与SOTA：谷歌2025八大领域核心突破年终回顾
2025年是AI成为社会基础能源的关键转折点，谷歌通过全栈自研与生态标准双轮驱动构建智能基础设施帝国。从模型推理到科学发现领域均有突破，如Gemini 3系列、Ironwood芯片等，还在各领域有诸多应用与探索。
阿里的未来，是通往超级人工智能
云栖大会上，阿里巴巴 CEO 吴泳铭演讲传达阿里对 AI 发展判断与战略规划。他认为 AGI 非终点，ASI 是目标，并提出实现三阶段。还指出阿里抓住大模型和 AI Cloud 支点，要把通义千问打造成 AI 时代 Android 系统。
黄仁勋放话：中国AI市场3年内达500亿美元！AI救了旧金山，整个世界急于与AI互动
黄仁勋最新判断，未来两到三年中国AI市场可达约500亿美元，错过是巨大损失。他还提到AI让旧金山复苏，虽会使部分人失业，但也创造新岗位。此外，英伟达财报值得期待，老黄获十年来首次加薪。
中美科技博弈下的生存法则
中美科技博弈围绕原创型创新、应用型创新、技术自主与安全、全球影响力构建四大维度展开。中国在部分领域实现局部反超，应用创新优势明显，但在科学前沿仍需追赶。文章还探讨了半导体、能源资源等方面的挑战与策略。
五源刘凯：喧嚣只是表象，AI创业才刚刚开始｜5Y View
五源合伙人刘凯在圆桌会上谈AI创业现状。他认为AI正从集中走向开放，创业者主动权增大。还提及投资AI项目的判断标准，指出ARR在C端产品失去参考价值，不同类型项目评估方式有别，且认为当下AI创业才起步。
人手数据，如何重塑机器人基础模型？专访 LaST-HD 一作刘家铭
本文是对 LaST-HD 一作刘家铭的专访。围绕数据路线之争，刘家铭分享交付背后的技术问题，也谈了对具身领域模型与数据发展方向的判断。他认为 Human Data 与真机数据非替代关系，VLA 和世界模型可共存。
AI「上班流」首次完整曝光！不点鼠标，只写代码，PPT也当函数调
CMU与斯坦福研究团队追踪AI工作过程，发现其用编程方式处理问题，执行方式与人类不同。AI速度快成本低，但存在伪造输出、工具误用等问题。人类虽慢，但在规范细节和实践判断上有优势，未来人机可按任务可编程性分工。