「开源与闭源」共找到 8596 篇相关文章
全网惊了！陶哲轩带AI下场，33分钟「盲证」数学
菲尔兹奖得主陶哲轩携手ChatGPT打造开源数学概念验证工具，数天迭代至2.0版，可全自动或半自动证明。还支持渐近估计，上手简单、可扩展性强。此外，他用AI 33分钟“盲做”一页数学证明，重塑研究范式。
刚刚，苹果首款折叠屏发布！15999元起，AI参与设计
本文是苹果秋季新品发布会的深度报道，详解苹果首款折叠屏iPhone Duo的技术设计、配置参数与国行定价，同步更新iPhone 18系列、AirPods 5、新款Apple Watch的升级亮点，以及苹果AI的最新进展。
刚刚国产双响炮炸场！智谱「牛来模型」和阿里Qwen3.8-Flash双双亮相屠榜
智谱发布GLM - 5.3 - Flash（牛来模型），原生多模态，支持1M token上下文，运行在国产芯片，价格实惠。阿里开源Qwen3.8 - Flash - Next权重，成本低性能优，在四大维度重构架构。
Anthropic新模型偷「吃瓜」！最强Fable 5爆冷
Anthropic提前曝光两个新模型claude-mashmallow-eap和claude-melon-eap，早期实测Marshmallow更佳。此前上线的最强Fable 5爆冷，企业调用少，营收低，其弟Opus 5反而胜出，开源模型也在抢占份额。
开启Benchmark的Harness时代：15家学术机构联合发布HarnessEval
8月13日，DeepSeek开源Agent Harness dsh引发行业对“Harness”的关注。近日，MirroS联合多机构发布HarnessEval，将其概念引入评测系统。它使评测从Metric到Harness，形成可执行评测系统，已落地于交互式世界模型。
别怀疑，就是这么强！！！13.7k Star Casdoor，爽爽爽爽爽～～～～
Casdoor是可自己部署的IAM/SSO服务端，像“身份门”，一次认证后将多种身份管理功能集成。它协议覆盖广、能衔接认证与权限管理等。但使用时也得认真治理，避免越权问题。
刚刚，全球首个加密AI产品完成保险签约！你敢用，它敢赔
7月7日，荆华密算与人保北京市分公司、AI原点社区签下全球首单AI企业数据损害赔偿责任保险。荆华密算构建“双重信任闭环”，一手技术自证，一手保险兜底，其产品“墨镜熊”正在内测。
英伟达GEAR实验室刚刚放出大招，物理世界的自动研究 AutoResearch 首次成为现实
英伟达GEAR实验室实现物理世界自动研究AutoResearch，其ENPIRE系统让8个Codex智能体接管机器人舰队自主完成研究流程，将高精度操作成功率提至99%，还发现新物理缩放法则，项目即将开源。
独家 | 开普勒联合创始人胡德波成立「索塔无界」，聚焦通用基座模型+海外市场
AI科技评论独家消息，开普勒机器人联合创始人胡德波2026年4月成立索塔无界。该公司聚焦通用基座模型，以统一潜空间世界动作模型为核心，提出物理智能大脑技术路线，已与欧美企业达成合作意向。
首篇全新情景认知视角的大模型Agent综述
中科大的这篇Survey从全新情景认知视角对大模型Agent进行综述，给出Agent本质，介绍Agentic AI定义、大模型五层演化理论等，还以OpenClaw为例说明，旨在提供理解框架与未来方向。