➡️
继续阅读
-
姚班校友主导，Claude攻克费马大定理首个完整形式化证明
Anthropic宣布Claude用11天完成费马大定理的端到端形式化证明，生成约1300万行Lean代码和超3万个中间定理，规模超Mathlib五倍。通...
-
企业选择 RTC 推流服务时应该关注哪些指标？
选择RTC推流服务时，需核实四类指标：体验指标（延迟、卡顿率、成功率）要明确统计口径；网络能力（抗丢包、抖动吸收、节点覆盖）决定体验上限；可观测性（质量大...
-
BUUU签署协议收购Brightray Science 60%股权
BUUU集团签署协议收购Brightray Science 60%股权，后者专注预制模块化数据中心。交易后Brightray成为子公司，创始人王斌任BUU...
-
千问办公上线首月用户数突破 3000万，企业用户占比过半
阿里旗下千问办公上线一个月用户破3000万，企业用户过半。产品高频迭代，推出国际版并开源MyContext技术，与钉钉深度打通。发布专属模型提升性能，单任...
-
行业财报 | 英伟达、三星电子、SK海力士、美光、台积电、阿斯麦等48家半导体企业2026年第二季度和上半年业绩汇总
该文汇总了2026年第二季度全球48家半导体企业的业绩，涵盖英伟达、三星、SK海力士、台积电等。多数公司营收和利润大幅增长，主要受AI需求驱动，尤其是存储...
-
张益唐之后最大突破：GPT-6 Astra证明素数间距最多186
GPT-6 Astra将素数间隙上界从240推进至186，并附Lean 4形式化证明，但依赖三个未验证公理，包括数值积分上界。此前人类十二年未突破246，...
