「时间检验奖」共找到 473 篇相关文章
等了十年，特斯拉Robotaxi终于上线！马斯克：仅需4.2美元一口价
上周日，特斯拉在德克萨斯州奥斯汀启动Robotaxi服务，首批乘客4.2美元一口价。服务限定试运营，覆盖区域受限，车内有安全监控员。目前体验平稳但不成熟，未来能否后发先至待验证。
英伟达发现RL Scaling！创造力暴涨，做基座模型做不了的事！
过去学界争论强化学习（RL）对语言模型的作用，此前研究认为其效果有限。本文发现问题出在训练时间短，提出ProRL，让训练突破2000步以上，结果惊人，小模型也能有出色表现。
陶哲轩，用AI爆改科研范式
菲尔兹奖得主陶哲轩让ChatGPT把数学论文翻译成Lean代码，与AI合作完成埃尔德什第613号问题反例的形式化证明。人机配合虽有波折，但AI节省了时间。此外，两位数学家也用AI验证第707号问题反例，数学证明正进入‘AI辅助时代’。
我在WAIC看见的十大趋势
上海世界人工智能大会（WAIC）热度空前，一票难求。本文总结了WAIC呈现的十大核心趋势，如中国AI因DeepSeek而不同，开源大模型进入中国时间，AI创新来到ToC阶段，第一批商业化AI终端是汽车、耳机和眼镜等。
哈萨比斯出的难题，GPT之父接上了：用一个知识停在1930年的模型
GPT之父Alec Radford等用1931年前数据训练13B模型Talkie，切断现代知识污染。研究者测试其能力，探讨它对未来的“预感”、规避污染问题及数据多样性等，同时训练中也面临时间泄漏、数据质量等难题。
Python逆天改命！开源Hermes首次击败OpenAI Codex
纯Python写的开源项目Hermes Agent，在11项基准测试中以6:5战绩击败OpenAI用Rust写的Codex。它通过三大工程优化，将启动时间从701ms降至258ms。这表明在AI Agent领域，架构比语言性能更重要。
“美国大豆包”Gemini翻身：输出速度碾压同行、智能水平重回第一梯队
过去 Gemini 被吐槽，如今 Google 推出 Gemini 3.8 Flash，六周内第三款 Flash、四个月内第四次更新。新模型成绩佳，输出快，成本低，智能体评测进步大，从经济型选项成生产主力，但实际表现待检验。
14岁CEO自曝真相！硅谷热捧「神童」，但一分钱都不敢给
年仅14岁的澳大利亚少年Alby Churven勇闯YC，创办前端公司Clovr和游戏化学习平台Finkel。他分享创业经历，认为青少年创业优势是时间多、无经济压力，但也因年龄缺乏可信度，融资难。还有15岁少年Bilal Bakr也做出两个项目。
明天，是GPT-4o的葬礼。
美国时间2月13号早上10点，GPT - 4o将正式下线，引发用户集体哀悼。虽其能力被新模型超越，但它有人文关怀，能给人温暖。如今AI行业重编码能力，忽略人文，GPT - 4o时代或成AI黄金时代。
谷歌约战，DeepSeek、Kimi都要上，首届大模型对抗赛明天开战
太平洋时间8月5 - 7日，8款前沿AI模型将在Kaggle Game Arena展开为期3天的国际象棋比赛，参赛方都是AI界顶流。谷歌称现有基准测试难跟上模型发展，这场比赛是探索新评估方法。赛制为单败淘汰制。