AI 应用 / Agent · AI 自动化科研(AI4Science)· 深度分析(公众版)

Analemma 日行迹

上海日行迹智能科技有限公司 · 多智能体自动化科研系统 · 数据截至 2026-07
日行迹想干的事,一句话说清:让一群 AI 智能体自己完成科研的全流程——从选题、找文献、提假设、写代码、跑实验一直到写成论文,全程无人干预。它的核心产品 FARS 曾在 160 块 GPU 上连跑十几天,宣称批量产出上百篇 AI 领域论文。创始团队来自复旦 MOSS 与 InternLM(书生)体系,天使轮就拿到红杉中国、高榕、美团龙珠等一线机构数千万美元。它踩中的是 2026 年最性感的叙事之一"AI 替 AI 做研究"。但它也站在一个最容易被质疑的位置:"能自动生成一百篇论文"和"能产出一篇真正有价值的研究",中间隔着一条几乎所有人都还没跨过去的鸿沟。本文只问一件事:当 AI 可以低成本量产论文,稀缺的到底是"产量"还是"判断力",日行迹卖的是哪一个?
MOSS 团队
孙天祥创立
多智能体
自动化科研 FARS
数千万美元
天使轮一线机构
2025 成立
团队约 15 人
深度版 · 面向公众 · 不含投资定价⚠ 商业模式/付费客户/论文质量核验均未公开,缺口已标注

导读怎么读 + 一个诚实的前提

日行迹的团队背景和技术演示是实的,但"这套系统能不能产出真正有价值的科研、靠什么赚钱"几乎全是问号;深度在于把"震撼的 demo"和"未验证的商业与科学价值"分开。

先说清楚:哪些是实的,哪些是空的

事实日行迹的创始团队来自 MOSS / InternLM 体系、天使轮由红杉中国 / 高榕 / 光源 / 奇绩 / 美团龙珠等参与、FARS 做过大规模自动产论文的公开演示,多信源可交叉。缺口但它的商业模式、付费客户、收入、以及最关键的——自动产出论文的真实学术质量(是否被同行评议 / 被引用 / 有真发现)均未公开或未独立核实。因此本文"事实"集中在团队、产品形态、融资,对"这套系统是不是真科研、能不能变成生意"更多是基于赛道结构的判断 + 追问。信息越薄,第 12 章追问清单越重要

事实有公开来源 推导基于事实推断 判断观点,可反驳 缺口信息缺失/未公开 ⚠ 不含目标价/评级

01一句话判断与决定性变量

核心判断

判断日行迹是一家技术叙事极强、团队极硬,但"科学价值"和"商业模式"都还没被验证的 AI4Science 创业公司。它赌的是一个真趋势:大模型强到一定程度后,科研本身可以被智能体自动化——这是从"AI 辅助科研"到"AI 自主科研"的范式跳跃。它的护城河候选是"顶尖研究团队 + 一套端到端的多智能体科研系统工程"。但它的生死不在"能不能自动写出论文"(演示已证明能),而在这些自动产出的研究,有多大比例能通过真正的学术检验(同行评议、可复现、有真发现),以及谁愿意为此持续付费。它最大的问号是——当生成论文的边际成本趋近于零,市场稀缺的从来不是论文数量,而是"哪篇值得读"的判断力;日行迹到底在解决产量问题,还是判断力问题?这一问答不好,"一个月产一百篇论文"就可能是震撼的 demo,而不是可持续的生意。

决定性变量为什么是胜负手兑现的观察信号
自动产出研究的真实质量"能产 100 篇"和"能产 1 篇有价值的"是两回事。若产出多为低质量灌水论文,则整套系统的科学价值和商业价值都存疑;若能出现被同行认可、可复现、甚至有真发现的成果,才是范式级突破。产出论文是否进入真同行评议渠道 / 被独立复现 / 被引用;是否出现非平凡的新发现而非已知结论的重排。
付费方与商业闭环科研自动化的买单方是谁?高校实验室、药企/材料企业研发部门、还是 AI 公司自身的研究提效?不同买方的付费意愿、预算规模和采购逻辑天差地别,决定这是"卖工具"还是"卖发现"。是否出现付费客户 / 明确的商业化产品形态(订阅 / 按项目 / 成果分成);服务的是企业研发还是纯学术。
算力成本与规模经济FARS 演示动用 160 块 GPU 连跑十几天,算力成本可观。若每篇产出的算力成本高于其带来的价值,规模化就是烧钱;成本曲线能否随模型进步下降是关键。单位产出(每篇 / 每个发现)的算力成本轨迹;是否依赖持续的外部算力补贴。

02生态位:AI4Science 的"自动科研工厂"

先看它站在"AI 做科研"这条价值链的哪一层,这决定了它理论上最性感、现实中最难证。

AI for Science 价值链(自下而上)· 日行迹的位置 ① 底层大模型 / 推理引擎 ← 通用大模型厂商(提供推理与代码能力) ② 科研智能体编排 / 自动科研 ← 【日行迹在这里】选题→假设→实验→写作全流程多智能体 ③ 研究者 / 实验室 ← 用 AI 加速自己的科研,或验收 AI 产出 ④ 企业研发 / 学术机构 ← 药企、材料、AI 公司的 R&D,高校课题组 ⑤ 知识消费方(期刊/工业界) ← 论文、专利、可落地的发现

判断日行迹站在第 ② 层——"科研智能体编排层":它不训底层大模型,而是把大模型的推理与代码能力,编排成一条端到端的自动科研流水线,赚"科研全流程自动化"的工程与系统价值。推导这层的好处是叙事天花板极高(自动化科研若成立,是通用能力级别的红利);坏处是它夹在"随时能自己做 agent 的大模型厂商"和"对 AI 产出高度警惕的学术共同体"之间——上游可能把编排能力内化,下游可能拒绝为 AI 论文买单。

生态位的尖锐处:产量易得,价值难证

判断自动科研这一层的永恒焦虑是:把"生成一篇论文"自动化相对容易,把"生成一篇有价值的论文"自动化极难。因为科研的核心不是写作和跑实验,而是"提出对的问题"和"判断结果是否重要"——这恰恰是当前大模型最不稳的地方。缺口日行迹的系统在"选题质量"和"发现价值"上的真实水平缺乏独立验证。它的全部价值,押在"自动产出能不能越过'灌水'那条线"这一个赌注上——越得过,是科研工厂;越不过,是论文打印机。

03行业本质 4 问:AI 做科研,到底谁在赢

本质 4 问答案(含证据)
① 本质在做什么判断把"科研的全流程"(选题 / 文献 / 假设 / 实验 / 写作)编排成多智能体自动流水线。卖的是科研过程的自动化与提速,而非某一篇具体成果。
② 行业红利在哪事实大模型的代码、推理、文献处理能力持续变强,让"AI 承担越来越多科研环节"从设想变成可演示——这是整条赛道的顺风。判断红利真实,但它同时属于所有能调用强模型的团队,不是日行迹独占。
③ 哪层赚钱 / 谁掌握话语权判断话语权在掌握底层模型的大厂决定"什么算好研究"的学术/工业共同体手里。推导编排层赚的是"把流程跑通"的工程钱,若产出不被下游认可,议价权很弱;能不能赚,取决于产出质量能否被买方接受。
④ 日行迹的位置事实它是国内最早把"端到端自动科研 + 大规模公开演示"做出来的团队之一(company alpha)。判断优势是"顶尖研究基因 + 系统工程先发";隐忧是"产量已证、价值未证",且商业买方尚不清晰。
对日行迹最尖锐的一问

判断它的叙事是"AI 自己做科研、一个月产上百篇论文"。推导但真正要问的不是"它能不能产出论文"(能),而是"这些论文里有多少能通过真正的同行评议、被独立复现、甚至包含一个此前无人知道的发现?"——如果绝大多数产出是已知结论的重新包装或无法复现的实验,那系统再高效也只是在"高速生产噪声"。这一问答不清楚,"自动科研"更像是"自动写作 + 自动跑代码",而不是"自动做出发现"。

04团队:MOSS 与书生的研究基因

在商业信息稀薄的情况下,团队的"顶尖研究能力"是日行迹拿到一线融资的核心解释。

维度情况
核心能力事实创始人兼 CEO 孙天祥曾主导 MOSS 大模型研发(复旦体系,中国较早的开源对话大模型之一);核心成员来自 复旦 MOSS 团队与 InternLM(书生)项目,团队约 15 人、约一半为研究人员。推导这是一支"研究导向 > 商业导向"的团队,长处在于把前沿的多智能体科研系统真正工程化跑通,这在 AI4Science 里是稀缺能力。
组织与商业化缺口团队的商业化 / 销售 / 行业 BD 能力、以及是否有懂药企/材料/工业研发采购逻辑的人,公开信息未见。研究型团队的典型风险是"技术很强、但把成果变成客户愿意付费的产品"这一环偏弱。

判断"顶尖研究基因"是日行迹最实的资产,也是它区别于普通 agent 创业者的地方:它是真的懂大模型、也真的懂科研的一群人,这让它的"自动科研"叙事比大多数同类更可信。缺口但研究强不等于生意强——两个待观察点:① 公司刚成立(2025),团队小,抗风险和规模化交付能力未经检验;② 从"能演示"到"有人持续付费"的商业化路径,目前几乎是空白(见第 12 章)。

05产品与商业模式

产品:端到端的多智能体科研系统

商业模式:尚未清晰

判断日行迹目前更像"技术 + 演示驱动"的早期公司,商业模式尚未公开成型。理论上的变现路径有几条:给高校/科研机构做提效工具(订阅)、给企业研发部门做垂直领域的"自动发现"(按项目 / 成果)、或对内服务 AI 公司自身的研究迭代。推导不同路径的商业弹性完全不同:卖工具是 SaaS 逻辑、卖发现是研发外包逻辑、对内提效则根本不是独立生意。选哪条路、买方是谁,是它从"网红项目"走向"公司"的第一道坎。

关键信息缺口

缺口决定生意成色的核心信息——付费客户是否存在、产品化形态与定价、自动产出论文的真实学术质量核验、单位产出的算力成本——全部未公开。"能自动产 100 篇"是极强的技术信号,但"有人为此付费、且产出经得起检验"才是生意信号,这正是追问清单第 1、2 组的核心。

06三个争议命题:让正反双方当场对撞

日行迹的命运系于三个真正有分歧的命题。每题给 Bull / Bear / Reality,再下裁决。

命题 A · 自动产出的论文,是真研究还是高速灌水?
Bull · 范式跳跃,量变引发质变
科研本就是"大量试错 + 少数命中"的过程。当 AI 能把试错成本降到极低、并行探索成百上千个方向,命中真发现的绝对数量会上升。人类科研的效率瓶颈恰恰在体力活(跑实验、写论文),把这些自动化,人类研究者就能聚焦在判断和创造上。演示已证明产量,质量是下一步优化的工程问题。
Bear · 产量不是科研的瓶颈
科研的真正稀缺从来不是"写更多论文",而是"提出对的问题、识别重要结果"。当前大模型在这两件事上最不稳,容易产出看似规范、实则平庸或不可复现的东西。低成本量产论文,可能只是给本已过载的学术体系灌入更多噪声,甚至污染文献。产量越高,如果命中率不变,噪声反而越多。
Reality · 数据说
事实FARS 大规模自动产论文的演示真实存在、团队研究背景过硬;缺口但这些论文是否进入真同行评议、是否被独立复现、是否包含非平凡发现——均未公开独立核验。
裁决
判断两种读法今天都没被证伪,天平偏谨慎——因为"产量已证、质量未证"是既成事实,而科研的价值恰恰全在质量那一侧。自动化科研是真趋势,但它成不成立,取决于一个尚未公开的数字:产出中经得起同行检验、可复现、有真发现的比例。判断它,就盯一件事:日行迹的产出里,是否出现哪怕一个被独立学术共同体认可的非平凡发现。出现了,范式跳跃成立;始终只有产量没有认可,就是高速灌水。
命题 B · 这是一门生意,还是一个"科研网红项目"?
Bull · 顶尖团队 + 真需求 = 生意雏形
企业研发(药物、材料、算法)对"加速发现"有巨大且真实的付费意愿,一个能把研发试错自动化、提速数倍的系统,价值巨大。一线机构数千万美元下注,正是看到了这个买方市场。团队够硬,商业化只是把技术对准某个高价值垂直场景的问题。
Bear · 演示驱动,买方未现
大规模直播产论文更像一次极成功的品牌事件,而非商业验证。谁付费、付多少、为什么付,全不清楚。研究型团队常见的坑是沉迷于技术演示,迟迟找不到愿意持续买单的客户;加上算力成本高,很可能陷入"融资烧钱做 demo、再融资"的循环。
Reality · 数据说
事实天使轮由多家一线机构参与、金额数千万美元;缺口付费客户、产品化形态、定价、收入均未公开,无法判断商业闭环是否已经开始。
裁决
判断融资和演示是真的,但"生意"这一步还没被证明。在付费买方出现之前,日行迹更应被看作"一个技术上极出色、商业上待验证的早期项目"。判断它,别被直播和融资额晃眼,要盯第一个愿意持续付费的客户是谁、买的是工具还是发现——这个买方一旦清晰,网红项目才变成公司;始终只有演示没有客户,就要警惕"叫好不叫座"。
命题 C · 编排层的技术壁垒,扛不扛得住大模型厂商自己下场?
Bull · 系统工程 + 领域 know-how 是壁垒
把多个智能体稳定编排成端到端科研流水线,涉及大量工程细节、失败模式处理和领域知识,不是"调个 API"就能复制的。日行迹的先发积累、以及对"什么是好研究"的判断能力,是通用大模型厂商短期补不上的厚度。它可以在垂直科研场景越扎越深。
Bear · 上游随时把编排内化
科研 agent 的核心能力(推理、代码、规划)都来自底层大模型,模型厂商每一次能力升级,都可能把外部编排层的价值大部分吸收进去。历史上"套壳编排"层被上游内化的例子很多。日行迹的系统若没有专有数据或专有实验设施做支撑,护城河就很薄。
Reality · 数据说
事实FARS 是一套复杂的多智能体系统工程、团队具备真研究能力;缺口但系统的可复制难度、是否拥有专有数据/实验资产、相对大厂自研 agent 的领先幅度,均无公开量化。
裁决
判断这是所有"模型之上做编排"公司的共同命题。护城河能不能立住,取决于它是"纯编排"还是"编排 + 专有科研资产(数据/实验设施/领域判断)"。判断它,就盯一点:日行迹是否在某个垂直领域积累了大厂拿不到的专有数据或实验能力。有,护城河成立;只有通用编排,就随时可能被上游一次升级抹平。

07"AI 科学家"这个叙事,成立吗?

日行迹常被归入"AI Scientist / AI 自动科研"这一波叙事。用这个标签成立的四个前提逐条拷问它。

"AI 科学家"成立的前提日行迹的现状是否满足
能端到端跑完科研全流程事实FARS 已演示选题→实验→写作的全流程自动化✅ 满足
产出经得起学术检验(可复现/被认可)缺口论文的同行评议、复现性、引用与真发现均未独立核验❌ 未证实(关键)
有明确的付费买方与商业闭环缺口付费客户、产品化、定价全未公开⚠ 未证实
相对大厂 agent 有可持续壁垒缺口是否有专有数据/实验资产支撑护城河,未见⚠ 存疑
检验结论

判断"AI 科学家"这个叙事只在"能端到端跑流程"一条上扎实成立,其余三条恰恰是最难、也最未被证明的部分:产出质量未经独立检验、商业买方未现、护城河依赖尚未公开的专有资产。判断所以更公允的定位是——日行迹是"把自动科研的工程流程跑通、且团队极硬,但科学价值与商业模式都待证"的 AI4Science 先行者。它真正要证明的不是"AI 能不能写论文"(能),而是"AI 能不能做出人类认可的、经得起复现的真发现,且有人愿意为此持续付费。"这个定位,比"AI 科学家诞生"现实得多,也更能看清它接下来该迈的坎。

08竞争矩阵:日行迹夹在大厂与学术开源之间

看清它周围站着谁,就明白它的空间在哪、突破口在哪。

玩家类型打法 / 现状对日行迹的意义
Analemma 日行迹自动科研系统创业公司端到端多智能体科研 FARS;MOSS/书生团队;一线天使轮本体
头部大模型厂商上游模型 + 平台持续增强推理/代码/agent 能力,可能自建科研 agent既是能力来源,也是潜在的"编排内化"者
海外 AI Scientist 类项目同赛道探索者学术界/创业界同期在做自动科研系统,多为开源路线对标与人才/注意力竞争者
科研工具类创业(文献/实验)单点工具只做综述、代码、数据分析等单环节日行迹的差异是"全流程",但单点工具更易被采纳
高校 / 国家实验室科研需求方 + 标准制定者决定"什么算好研究"、是否接受 AI 产出既是潜在客户,也是产出质量的裁判
矩阵读出的三个真相

判断它的能力来源(大模型厂商)同时是它最可能的绕过者——上游每次升级都可能把编排价值吸走,这是"模型之上做 agent"的典型危险结构。② 它唯一可能上游难复制的资产是"专有科研数据/实验能力 + 对好研究的判断"——护城河只能建在这里,否则就是可替代的通用编排。③ 学术共同体既是买方也是裁判——它们接不接受 AI 产出,直接决定日行迹的产出有没有价值。日行迹的生存空间,就在"从通用编排走向专有科研资产、并让产出被共同体认可"这条窄路上。

09双面辩论:科研范式革命,还是论文流水线?

同一组事实,两种读法
🟢 读法一 · 科研范式革命的先行者
判断顶尖的 MOSS/书生团队、真正跑通的端到端自动科研系统、一线机构重注、踩中"AI 自主科研"这个通用能力级别的红利。若它能把产出质量越过"灌水线"、并对准企业研发这个高价值买方,它就是把人类科研效率提升一个数量级的范式级公司。
🔴 读法二 · 叫好不叫座的论文流水线
判断产量已证、质量未证、买方未现、护城河依赖尚未公开的专有资产、算力成本高。剥掉直播和融资叙事,它可能是"技术极出色但商业化路径模糊、且自动产出难越过噪声线"的早期项目,容易陷入"融资做 demo"的循环。
我的裁决(可反驳)
判断两种读法今天都没被证伪,天平我略偏谨慎——因为"产量已证、质量与买方都未证"这个组合,说明它的科学根基和商业根基,都比它的技术演示更需要被追问。但它绝非虚火:MOSS/书生的团队厚度、真正工程化的系统、真实的红利方向,都是硬资产。判断它成色,就盯三件事:① 产出中是否出现被独立共同体认可的非平凡发现(科学价值);② 第一个持续付费的客户与形态(商业价值);③ 是否积累了大厂拿不到的专有科研资产(护城河)。三件向好,读法一成立(范式革命);持续存疑,读法二坐实(论文流水线)。它赌的是"自动产出能不能越过'有价值'那条线"——这是全公司唯一、也最锋利的命脉。

10因果链:决定性变量怎么一路传导到成败

决定性变量:自动产出的研究,能否越过"有价值"那条线并找到付费买方 │ ▼ [质量] 产出论文能否通过同行评议 / 被复现 / 含真发现 │ ← 断点1:产出多为灌水 → 科学价值坍塌,一切叙事失去地基 ▼ [买方] 谁为"自动科研"持续付费(高校 / 企业研发 / 内部提效) │ ← 断点2:找不到付费方 → 只是演示,不是生意 ▼ [成本] 单位产出的算力成本能否随模型进步下降 │ ← 断点3:产出成本 > 产出价值 → 规模化即烧钱 ▼ [护城河] 是否积累专有科研数据 / 实验资产,抵御上游内化 │ ← 断点4:纯通用编排 → 大厂一次升级即抹平 ▼ [组织] 小团队能否补上商业化 / 交付 / 规模化能力 │ ← 断点5:研究强、商业弱 → 卡在从项目到公司之间 ▼ [终局] 成为把人类科研效率提升数量级、且能盈利的 AI4Science 平台

判断五个断点里,断点 1(质量)和断点 2(买方)最致命:前者决定它是不是真科研,后者决定它是不是真生意。它的技术和团队已经证明过了,接下来要证明的是"产出有价值"和"有人肯买单"——而这两样,恰恰都是它至今没拿出可验证证据的地方。

11需要警惕的风险

风险说明观察信号
产出质量不达学术标准(母题)自动产论文若多为不可复现或平庸成果,科学与商业价值同时坍塌,甚至引发学术界抵触。是否进入真同行评议 / 被独立复现 / 出现非平凡发现。
商业模式与买方缺失付费方、产品形态、定价均未公开,可能长期停留在演示阶段。首个持续付费客户;产品化与收费模式落地。
算力成本高企大规模自动科研依赖大量 GPU,若单位产出成本高于价值,规模化即烧钱。单位产出算力成本轨迹;是否依赖外部算力补贴。
被上游大模型厂商内化核心能力来自底层模型,编排层价值可能被上游升级吸收。是否拥有专有数据/实验资产;相对大厂 agent 的领先幅度。
学术伦理与合规AI 大规模产论文涉及学术诚信、作者署名、期刊政策等争议,可能触发监管或期刊限制。期刊/机构对 AI 产出的政策变化;是否引发学术伦理争议。
早期小团队风险2025 年新设、约 15 人,抗风险与规模化交付能力未经检验,商业化人才可能不足。关键岗位(商业化/交付)补齐情况;团队稳定性。

判断六类风险的母题是同一个:日行迹这套"自动科研"系统,能不能在质量、买方、成本、护城河的四重考验下,被证明是"产出有价值、有人肯付费、成本可控、上游难绕过"的真生意。这个问题答清楚之前,"一个月产一百篇论文"更多是震撼的技术叙事,而非可持续的护城河。

12追问清单 · 想真正看懂它,该问这些

信息越薄,这份清单越重要——它就是把"叙事"逼回"事实"的工具。★ 是我认为最锋利、最能戳破叙事的问题。

1科学价值:产出到底有没有价值(最锋利)
  1. ★ FARS 自动产出的论文中,有多大比例进入了真正的同行评议渠道、被独立复现、或被引用— 这是"自动科研"与"自动灌水"的分界线。
  2. ★ 这些产出里,是否出现过哪怕一个此前无人知道的、非平凡的新发现,而非已知结论的重新组织?— 决定它是在生产知识还是在生产噪声。
  3. 系统在"选题质量"和"结果重要性判断"这两个最难环节上的真实水平如何,有无独立评测?
2商业闭环:谁付费、买什么(缺口最大)
  1. ★ 目前是否有付费客户?买方是高校、企业研发部门,还是 AI 公司自身?— 决定这是 SaaS 工具、研发外包,还是内部提效,三者商业弹性完全不同。
  2. ★ 产品化形态与定价模式是什么(订阅 / 按项目 / 成果分成)?单位产出的算力成本是多少?— 决定规模化是赚钱还是烧钱。
  3. 是否已锁定某个高价值垂直科研场景(如药物 / 材料)作为商业化切口?
3护城河:凭什么不被上游绕过
  1. ★ 除了系统工程本身,日行迹是否拥有大厂拿不到的专有数据或实验设施— 纯通用编排会被上游一次升级抹平,专有资产才是护城河。
  2. 相对头部大模型厂商可能自建的科研 agent,日行迹的领先幅度有多大、能维持多久?
4组织与伦理
  1. ★ 小团队是否具备商业化、交付、规模化能力,还是仍以研究/演示为主?— 研究强、商业弱是这类团队最典型的坎。
  2. 大规模 AI 产论文如何应对学术诚信、署名、期刊政策等伦理与合规争议?
如果只能问三个问题

判断① 自动产出里有多少经得起同行检验、有没有真发现(科学价值)?② 谁在持续付费、买的是工具还是发现(商业价值)?③ 有没有大厂拿不到的专有科研资产(护城河)?——这三问答清楚,就知道它是"科研范式革命的先行者",还是"技术出色、但叫好不叫座的论文流水线"。

13信息来源与说明

基于公开报道与公司/媒体披露的深度梳理,主要维度(节选):

· 团队:创始人孙天祥(曾主导 MOSS 大模型),核心成员来自复旦 MOSS 团队与 InternLM(书生)项目,团队约 15 人(投资界、36氪等报道)
· 产品:FARS 全自动研究系统,多智能体端到端科研;约 160 GPU 连续运行十余天、批量产出上百篇 AI 论文的公开演示(36氪、阿里云工开物、技术分析报道)
· 融资:天使轮数千万美元,高榕创投、红杉中国、光源资本、奇绩创坛、美团龙珠等参与(投资界、企查查竞品信息)
· 主体:上海日行迹智能科技有限公司,2025 年 3 月成立

免责声明:本报告为面向公众的科普与分析性内容,仅基于截至 2026-07 的公开信息整理,不构成任何投资建议,不含估值目标价、买卖评级或持仓建议日行迹为早期未上市公司,公开信息有限,其商业模式、付费客户、收入、以及自动产出论文的真实学术质量(同行评议 / 复现性 / 真发现)、单位算力成本等关键信息均未公开或未独立核实,文中已用 缺口 显式标注;FARS 演示的产量为公司/媒体口径,非独立学术验证。文中标注:事实=有公开来源、推导=基于事实的推断、判断=作者主观观点(欢迎反驳)、缺口=信息缺失。Bull/Bear/裁决为分析框架,非事实断言。"AI 科学家""自动科研革命"等为叙事或媒体用语,本文已作对标拷问。部分早期检索结果对具体产品名(如 Lemma)的描述存在不一致,本文对无法交叉验证的细节已回避或标注缺口。