「歧视性回应」共找到 693 篇相关文章
超越DeepSeek-R1，数学形式化准确率飙升至84% | 字节&南大开源
字节跳动Seed团队与南京大学联合发布CriticLean框架，将数学自然语言到Lean 4代码的形式化准确率从38%提升至84%。该框架创新性地将评估模型置于核心，解决语义对齐等问题，还构建了相关基准测试和数据集。
谷歌Gemini最强性价比模型发布，1块8读完3本三体
谷歌推出Gemini 3.1 Flash-Lite，号称性价比最高的Gemini 3系列模型，每百万输入token仅0.25美元，读完3本《三体》只需1.8元。性能表现佳，还支持可调思考层级。两小时后ChatGPT推出GPT - 5.3 Instant回应。
“代码 + 编译器”要消失了？马斯克在 xAI 全员会上放话：到今年年底，AI 或将直接生成二进制
xAI 近期出现离职潮，马斯克公开全员大会视频回应。他表示离职是阶段适配问题，还预测到 2026 年底 AI 或直接生成二进制，跳过编程。此外介绍了 xAI 新架构及各团队进展，强调基础设施重要性，甚至提及将算力扩展到月球。
起底“豆包手机”：核心技术探索早已开源，GUI Agent布局近两年，“全球首款真正的AI手机”
当红的“豆包手机”技术详情被证实，其助手技术基于字节自研的UI-TARS模型，该模型初代开源后引发热议，“豆包手机”用的闭源版性能更优。UI-TARS历经迭代，成果成热门开源多模态智能体。
墙体的AI革命！智能超表面如何让建筑「听懂」6G信号？
在5G基站功耗高、室内信号衰减成瓶颈的当下，文章探讨6G如何借智能超表面和建筑无线友好性优化室内流量。还分析建筑设计对信号的影响，以及人类移动行为给超表面嵌入建筑信道带来的挑战。
全球百万网友迷上赛博「养鱼」，我也被这群AI小丑鱼拿捏了
Draw A Fish是一款AI小游戏，让全球百万网友上头。玩法简单，在画布画鱼，达到一定相似度就能放虚拟鱼缸。它门槛低、有成就感和互动性，背后是基于PyTorch的卷积神经网络，用ResNet18架构和QuickDraw数据集训练。
“智元机器人收购A股上市公司是创新需要…现金流能撑三年”
智元机器人收购A股上纬新材后公开亮相，董事长邓泰华透露融资、出货等规划。其团队高管回应收购舆论、技术成果及合作等问题，如远征A2高温行走突破、与上市公司合作原因等，还提及出海和工业场景ROI规划。
谷歌IMO金牌模型可以用了！推理性能秒了o3、Grok 4
谷歌拿下IMO金牌的模型Gemini 2.5 Deep Think已在Gemini App推出，速度更快、实用性更强。该模型仅对Ultra订阅用户开放，月费约1803元。其推理性能超o3、Grok 4，有迭代开发等优势。
【博客转载】CUDA Reduction
文章来自Lei Mao，介绍CUDA归约操作。先阐述归约操作在并行计算中的常见性，接着实现两个批量归约求和kernel，还给出构建和运行示例的命令及结果。最后探讨大数组归约求和的方法及性能影响。
押中 Figma、Scale AI 的 Thiel Fellowship， 今年下注哪些 AI 方向？
Thiel Fellowship 由 Peter Thiel 2011 年创办，为入选者提供资金与支持。2025 年入选者地域更广，项目聚焦 AI 等领域。热门方向有 AI Infra、金融 Infra、可编程生命系统，创始人年轻、跨界、实验性强。文中还介绍了多个亮点项目。