「时间控制」共找到 820 篇相关文章
陶哲轩，用AI爆改科研范式
菲尔兹奖得主陶哲轩让ChatGPT把数学论文翻译成Lean代码，与AI合作完成埃尔德什第613号问题反例的形式化证明。人机配合虽有波折，但AI节省了时间。此外，两位数学家也用AI验证第707号问题反例，数学证明正进入‘AI辅助时代’。
我在WAIC看见的十大趋势
上海世界人工智能大会（WAIC）热度空前，一票难求。本文总结了WAIC呈现的十大核心趋势，如中国AI因DeepSeek而不同，开源大模型进入中国时间，AI创新来到ToC阶段，第一批商业化AI终端是汽车、耳机和眼镜等。
比豆包手机还狠！Gemini电视登场CES，谷歌打响客厅革命第一枪
2026年CES上科技新品频出，谷歌将Gemini AI引入Google TV，让电视具备自然语言内容发现与推荐、教育深度学习等功能，还增强语音控制能力，打响客厅AI革命第一枪，同时涂鸦智能展示了AI生活助手等产品。
哈萨比斯出的难题，GPT之父接上了：用一个知识停在1930年的模型
GPT之父Alec Radford等用1931年前数据训练13B模型Talkie，切断现代知识污染。研究者测试其能力，探讨它对未来的“预感”、规避污染问题及数据多样性等，同时训练中也面临时间泄漏、数据质量等难题。
VerseCrafter：给视频世界模型装上4D方向盘，精准运镜控物
复旦大学与腾讯等机构提出VerseCrafter，这是通过显式4D几何控制实现的动态逼真视频世界模型，能精准控镜和指挥物体3D运动。它用独特方法构建4D可控世界模型，实验超现有SOTA方法，代码与模型已开源。
腾讯急了！同时放出3只龙虾，龙虾生态加速
龙虾（OpenClaw）持续火爆，成为两会热议话题，大厂纷纷入局。腾讯坐不住，3月6日线下提供龙虾服务，现又推出3只龙虾，包括企业微信接入、WorkBuddy远程控制及QClaw内测，解锁无限可能。
Python逆天改命！开源Hermes首次击败OpenAI Codex
纯Python写的开源项目Hermes Agent，在11项基准测试中以6:5战绩击败OpenAI用Rust写的Codex。它通过三大工程优化，将启动时间从701ms降至258ms。这表明在AI Agent领域，架构比语言性能更重要。
咖啡机变聪明后，我连咖啡都喝不上了
一位科技记者用升级到Alexa Plus的博世咖啡机煮咖啡遭拒，社区也有诸多类似吐槽。生成式AI助手虽能力提升，但因LLM随机性，在控制场景易翻车，新旧技术切换引发混乱，边界待明确。
开源基金会：使用 Apache Iceberg 和 SparkSQL 构建可复制的 ML 系统
文章指出传统数据湖在机器学习工作负载的事务保证和版本控制方面表现不佳，而 Apache Iceberg 与 SparkSQL 结合，能带来数据库般的可靠性。文中介绍其优势、构建可重现特征管道方法、生产实施案例及相关最佳实践等。
14岁CEO自曝真相！硅谷热捧「神童」，但一分钱都不敢给
年仅14岁的澳大利亚少年Alby Churven勇闯YC，创办前端公司Clovr和游戏化学习平台Finkel。他分享创业经历，认为青少年创业优势是时间多、无经济压力，但也因年龄缺乏可信度，融资难。还有15岁少年Bilal Bakr也做出两个项目。