「数据问题」共找到 5184 篇相关文章
刚刚，DeepMind通用科学智能体AlphaEvolve突破数学极限，陶哲轩合作参与
DeepMind发布革命性进化编码智能体AlphaEvolve，由LLMs驱动，可演化代码库、发现和优化算法。它结合LLM创造力与自动化评估，减少幻觉，在多领域应用前景大，还与陶哲轩合作探索数学应用。
在智算中心，部分国产芯片闲置率高达80%？
随着人工智能发展，智算中心成为科技竞争“新基建”。国内建设热潮出现波动，存在投资热度与阶段性“算力过剩”并存现象，还面临国产芯片闲置率高问题，提出需“精细化”管理提升算力利用率 。
给视频模型建一座「全能训练场」：300项任务、可验证奖励，VBVR-Pro系统探索视觉推理
针对原生视觉推理缺少完整训练评估基础设施的现状，NTU等多校联合推出VBVR-Pro系统，构建了从任务构建、模型训练、能力评测到强化学习优化的完整闭环，论文、数据、代码均已公开。
来吧，往死理卷，9.8K Star TypeWords～～～
本文推荐Star量9.8K的开源背词项目TypeWords，针对「眼熟单词写不出」的痛点，设计了无提示输出的练习闭环，面向技术人给出使用指南，同时说明其本地存储特性与同步限制。
SGLang 的 DeepSeek-V4.1 Flash Day 0 优化实录：4×B300 上 BS=1 达到 764 tokens/s
本文是SGLang团队的DeepSeek-V4.1 Flash Day 0优化实录，详解了架构适配、KV cache压缩、kernel优化到DSpark适配全流程，公开4×B300 GPU实测吞吐数据，附复现代码与步骤
每周免费送1亿Token！扎克伯格押注王牌产品Muse：AI会24小时替你赚钱，我只负责抽成
本文整理科技记者对扎克伯格的播客访谈，扎克伯格公开反对AI技术被少数机构垄断，介绍了Meta全新推出的个人AI产品Muse的产品设计、商业模式与研发思路。
GPT-5.6仅用一天改写数学史，「双菲」五人团队8年纪录被破！
GPT-5.6一天打破陶哲轩五人团队8年大素数空隙纪录，提出「倾斜剩余类」构造法，当天通过Lean语言机器验证。此前数学家张益唐、陶哲轩等在素数分布问题上各有探索。
给Agent加上知识图谱，开源版Palantir
Semantica是LLM、向量库与Agent框架下的语义/上下文层，能把碎片化企业数据变成结构化、可查询的上下文图与知识图谱。介绍了其面向对象、功能、优势、使用方法、架构等内容。
Specula在67个开源系统中找到382个深层bug，数月形式化验证缩短到几小时
截至2026年8月19日，Specula已在67个开源系统找出382个bug。它让coding agent自动生成TLA + 模型和正确性不变量，运行检查并复现问题，将数月的形式化验证缩短到几小时，降低了形式化方法使用门槛。
独家专访临界点CEO乔天杰：机器人运动会7冠背后，灵巧手真正该比什么？｜甲子光年
8月22 - 26日，第二届世界人形机器人运动会举行，灵巧手首次单独参赛。临界点携OmniHand获7金4银3铜，CEO乔天杰接受专访，探讨灵巧手能力衡量、自由度、工程化及产业应用等问题。