「曲率有界球面」共找到 6180 篇相关文章
狂揽33.8K星！这款Postman替代工具，绝了，离线+Git协作太香
Bruno是开源API探索测试IDE，有自研Bru语言、离线存储和Git协作能力，是Postman等强力竞争者。它功能丰富，有跨平台支持等，技术架构优势明显，还给出实战演示和同类工具对比。
猫在说什么，AI知道吗？
近几年，结合AI的宠物翻译应用兴起，如MeowTalk。但动物语言研究面临无平行语料的难题。科学家通过记录声音与行为，让AI找模式，再用回放验证。目前AI虽有进展，但离听懂动物还差一步。
马斯克造了个AI女友
马斯克新推出Grok的AI Companions功能，有AI女友Ani等角色。不过需Super Grok会员，每月30美元，且仅iOS可用。AI陪伴赛道不太平，有付费和平台安全等问题，马斯克还有新计划。
本周推荐的5个yyds的Github开源项目！
本文推荐 5 个 GitHub 开源项目，有给容器提供 GUI 支持的 x11docker、AI 证件照制作工具 HivisionIDPhotos、仓库可视化工具 GitDiagram、英语学习应用 TypeWords 和自托管记账应用 ezbookkeeping，各有特色功能。
苹果分享 iOS 26 即将推出的 AI 基础模型的细节
苹果在技术报告中公布 iOS 26 新 AI 基础模型细节。该模型有 3B 参数和更大版本，前者在设备运行，后者用于私有云平台。介绍了架构、评估结果，还强调实现可信赖 AI 的方法。
刚刚，OpenAI 再次开源！安全分类模型 gpt-oss-safeguard 准确率超越 GPT-5
OpenAI 开源安全分类推理模型 gpt-oss-safeguard，有 120b 和 20b 参数量版本，采用 Apache 2.0 许可证。它能直接理解策略文档分类内容，推理能力超 GPT - 5，性价比高，虽有局限但仍是开发者利器。
Physical Intelligence联创最新访谈：机器人尚未进入可预测的Scaling阶段
2024年末PI实验室测试，机器人表现有惊喜也有“语义上说得通的错误”。联创Levine在访谈中认为，机器人未到可预测Scaling阶段，还在确定规模化技术路径，也谈到数据、泛化、可靠性等问题。
GPT-5：没有AGI，失望和天花板，最具竞争力的可能是定价
刚看完GPT - 5发布会，整体令人失望。发布会现错误图片，市场反馈不佳，专家认为开发仓促。它有三个型号，基础性能表现不一，在部分测试中不如竞品，亮点是价格有竞争力，代码能力受开发者好评。
清华推出AI数学家！独立完成数学理论难题，自动调用基本定理、构建证明思路
清华团队推出AI Mathematician（AIM）框架，可将LRMs推理能力延伸至前沿数学研究。它由三大模块驱动，有两大核心策略。实验显示其能解决多个挑战性问题，虽有不足，但未来有望成数学研究核心驱动力。
一个4000亿算力龙头将诞生？
海光信息与中科曙光联合宣布筹划重大资产重组，海光拟换股吸收合并中科曙光并募资。二者总市值超4000亿，此次并购有体量大、子并母、产业链纵向整合特点，或开启国内半导体并购潮。