「应用公司」共找到 3649 篇相关文章
个人开发者时代崛起！22岁印度开发者搞的业余项目被Groq看上，如今用户破6万
22岁印度开发者Zaid Mukaddam开发“Perplexity替代品”开源项目Scira，解决搜索难题。它功能强大，受多公司支持，用户破6万。还列举其他个人开发者成功案例，如TinyWow、Only Finders。
复读一年，AI 把高考数学成绩从及格线提到 145 分！AI 数学能力发生了什么？
今年媒体让AI做高考数学题，Gemini 2.5 Pro获145分排第一。从去年到今年，AI数学能力指数级增长，这得益于推理模型。推理模型用思维链和强化学习解题，未来高考数学或难区分模型能力。
中科闻歌完成新一轮战略融资，引领企业级人工智能技术发展
近日，中科闻歌完成新一轮战略融资，投资方为石景山区产业基金。融资用于自研决策智能操作系统DIOS研发与推广。中科闻歌技术实力强，有全栈自研体系，已服务超千家客户，后续将深耕多领域并拓展海外市场。
The Batch：827 | Claude 4 推动代码生成能力再升级
Anthropic 发布 Claude 4 Sonnet 和 Claude 4 Opus 模型，支持“推理模式”，能并行调用工具。还发布 Claude Code 编程智能体及 SDK。两款模型输入输出能力强，功能亮点多，性能表现佳，有多种使用渠道和定价。
被误解的谷歌和百度。
文章指出大模型竞争短期拼产品体验，长期靠系统化落地能力。谷歌和百度虽被误解，但前者在I/O大会展示AI布局，后者营收利润双增，两家都构建生态，在AI下半场迎头赶上。
告别Reasoning模型的“灵光一现”，推理能力可控了
当前GPT - 4o、DeepSeek - R1等大模型推理的‘高级操作’随机触发，不可控。研究者受经典推理三要素启发，教会模型三种‘元能力’，经三阶段训练，模型效果提升，让推理能力可控。
从“小卡拉米” 杀入 CNCF，创始人却说：HAMi火了，我们每天仍如履薄冰
本文讲述 HAMi 项目从“小卡拉米”到进入 CNCF 孵化阶段的历程。该项目解决 GPU 利用率问题，建立跨厂商生态。密瓜智能围绕其成立，补社区短板。虽 HAMi 成功，但密瓜智能仍需证明商业价值。
GCEA-YOLO：给油田装上"防火眼"，把抽烟行为检测精度拉高 20.8%
油田抽烟事故损失大，传统检测方法有局限，深度学习模型也面临难题。作者基于YOLOv11n构建GCEA - YOLO网络，含ADown、CSP - EDLAN、GFPN、EfficientHead四个模块，检测精度显著提升，还验证了泛化与稳定性，并给出复现代码。
GitHub Issues 大改造：用缓存和预取，让页面打开快了数倍
GitHub 重新设计 GitHub Issues 导航架构，通过客户端缓存、预测性预取等机制，提升导航性能，使即时导航体验比例从 4%增至 22%，解决大型 Web 应用常见的延迟问题。
马斯克输了！告OpenAI被驳回，原因是告晚了
2026年5月18日，“马斯克起诉OpenAI”案裁决，OpenAI无需担责，马斯克诉求被驳回，原因是诉讼时效已过。官司拉扯两年多，索赔追加到1340亿美元。庭审暴露双方问题，后续资本战或开启。