「是石科技」共找到 4850 篇相关文章
超越宇宙极限：第六位海狸数再次突破，无法用常规数学符号表达
本文介绍「忙碌海狸数」，其前五项为1、6、21、107、47176870。研究人员先后确定前四个数，如今BB(6)再突破，新下界需用新数学符号表达。还回顾探索历程，提及社区用Coq证BB(5)，并指出BB(6)真实值难测。
Oxlint 1.0 稳定版发布：基于 Rust 的 JavaScript 静态检查器
Oxlint是基于Rust的JavaScript和TypeScript静态检查器，其1.0稳定版发布。它有快速检测、规则覆盖广等特点，性能比ESLint高50 - 100倍，能处理多文件规则，开发者反馈积极。
刚刚，智谱推出全球首个手机通用Agent，人人可用
智谱发布新版AutoGLM，是全球首个手机通用Agent。它为用户配备云端手机，能在不影响用户操作的前提下完成各类任务，还在技术上有重大突破，成本更低，代表全新互联网流量。
大模型如何推理？斯坦福CS25重要一课，DeepMind首席科学家主讲
Google DeepMind首席科学家Denny Zhou在斯坦福CS25课程分享大语言模型推理见解，总结了四个关键点，阐述推理机制、优化方法及最新进展，还介绍多种推理方法并比较其优劣。
谷歌最新「0.27B」Gemma 3开源！身板小却猛如虎，开发者直呼救命稻草
大模型时代开发者算力焦虑严重，谷歌Gemma 3系列另辟蹊径。新成员Gemma 3 270M参数规模小但性能强，如在IFEval测试表现突出，有小体积强架构、省电等亮点，适用于多场景。
扣子官宣开源，掀桌大动作背后如何决策？扣子负责人独家披露
7月26日，字节将AI Agent平台「扣子（Coze）」旗下Coze Studio与Coze Loop开源至GitHub，采用Apache 2.0许可证。文章披露开源决策背后故事，探讨开源版目标、定位，以及团队对Agent开发未来的思考。
怎么从 ChatGPT 拿流量？送上这九条实用建议
文章指出AI问答引擎成B2B采购决策重要‘守门人’，介绍问答引擎优化（AEO）概念，还通过采访提炼九条从ChatGPT等拿流量的实用建议，如明确提问场景、了解平台差异等。
bootstrap 到十亿美元 ARR：Surge AI 这匹黑马如何颠覆 Scale 霸权 ？
Surge AI 成立于 2020 年，主创团队低调，短短几年业绩爆发。截至 2024 年 ARR 超 10 亿美元，超越 Scale AI。2025 年 7 月启动首次外部融资，其聚焦高质量数据标注，客户多为顶级科技公司。
小扎超级智能团队全部名单曝光，50%来自中国
Meta超级智能团队44人名单曝光，约50%来自中国，其中8位清华本科，成员还出自北大等高校。75％有博士学位，70％为研究人员，多人来自OpenAI等，年薪或达千万到1亿美元。
HBM更“热”了
HBM正从高性能计算领域向消费电子等市场渗透，技术迭代迅速。TSV等关键技术推动其性能提升，各企业技术路线有差异。应用领域广泛，但推广面临挑战。市场竞争激烈，各企业积极布局。