|
|
新智元报道 " z, H* L0 n/ C$ U
编辑:犀牛
6 B. Q8 o; U/ ]! b% h6 D# ^【新智元导读】一个30B参数的开源模型,把「假设—证据—验证」的科研闭环跑通了,在多个科学研究榜单上击败了参数量大一个数量级的顶尖闭源模型。
9 t& ]# H/ ]& A3 n4 Q- k1 w d- t7 F去年底,OpenAI发布了FrontierSCIence基准,试图回答一个让整个AI界焦虑的问题:大模型到底能不能「做科研」?
6 ]# D7 ~) o0 E结果令人清醒——GPT-5.2在奥赛级结构化题目上拿下77%,但面对真正开放式的科研任务,成绩骤降至25%。
/ i* M$ N, F/ l* ]/ W6 ?' T& G
7 n2 G3 F' X6 n6 s& t52个百分点的断崖,撕开了一个被精美demo掩盖已久的真相:今天绝大多数大模型擅长的是「科研表演」——引经据典、逻辑自洽、格式完美,但一旦需要真刀真枪地提出假设、收集证据、反复验证、修正结论,它们就露了馅。
v% _7 ]/ W4 L8 S9 R2 t会写论文和会做研究之间,隔着一整条科学方法的鸿沟。
K6 C4 {5 r# ]( Q就在这条鸿沟面前,一个仅有30B参数的开源模型,做了一件让所有人意外的事——它在FrontierScience-Research上拿到了28.3分,把Claude Opus 4.5(17.5)、Gemini 3 Pro(12.4)甚至GPT-5.2的最高配置(25.2)都甩在了身后。3 G# a1 C; I4 K
这个模型叫UniScientist,来自UniPat AI。
+ I+ P& L1 ~! P' E它参数更少,但更懂「做研究」。* g+ a9 c/ e. T, f y
此前发布了 BabyVision 多模态评测基准(已被多个近期发布的重磅模型纳入评测体系)的 UniPat AI在最新的 Blog《UniScientist: Advancing Universal Scientific Research Intelligence》中给出了一个清晰而系统的答案。
I0 \& P+ C( {/ s& I2 q开源的 UniScientist 训练了一个 30B 参数的模型来闭合这一环路。, o+ ~9 ^2 h; ~, l6 H; X K* k
在 FrontierScience-Research 和 ResearchRubrics 等科学研究榜单上,它匹敌甚至超越了参数量大一个数量级的顶尖闭源模型。0 ]4 e! \. U$ s* K/ p. e
开源地址:
! q$ M9 g1 Z, j' |! Fhttps://github.com/UniPat-AI/UniScientist8 [2 O+ e. U3 {; \* `. V
Blog: https://unipat.ai/blog/UniScientist& ^, h3 d& @! U& a9 o( l) [
, {, i. C: d4 p3 p
5 A5 }; t- J+ Z0 |( t7 E' k! C
2 U, {( O2 O. |
01|「会写报告」不等于「会做研究」:实现流程闭环才是能力
C% T' ?/ D/ h# p2 [: C+ ]今天很多模型做「研究任务」,只是看起来像在做科研:引用一堆资料、写一堆逻辑、格式也像论文。 1 R4 u; a+ D8 k. R( h
但问题是:它们经常停在「叙事推理」、从「结论」出发的逻辑陷阱中——说得很像、验证很少、推导不稳、可复现性弱。+ e9 i: S F2 `6 v9 W
UniPat AI在 UniScientist 中直接回应了这一缺口:仅有30B参数的 UniScientist 具备了「自主科学研究」的能力——在开放问题里不断提出、证伪、修正,直到证据状态稳定,再把全过程沉淀成结构化成果。- P! s: R, f6 a
这背后的潜台词很直白:
6 R% p, V% K: {9 X真正的科研,不只是把报告写漂亮;更是把「假设-证据-验证」的循环跑通。: n* U( {% X/ t& \$ j; }
4 [4 L! H z5 G, {4 e$ s P$ E% R
; z M% Q% w9 O9 S8 O% ?6 B1 O
- x* a1 T& B7 L4 R02|数据瓶颈:人写得太慢,纯合成不够「真」
" o7 P7 p5 o# X- z; D( tUniScientist 首先把矛头指向了数据:如何构建高质量科研训练数据一直是硬瓶颈。现有方案几乎只有两种极端:3 z$ o4 ~2 f4 m: q. Z/ d; Q) q; r
0 x, S4 K/ U! i' O6 F- 纯人工:生态真实、判断精准,但昂贵、慢、还受限于单一专家的学科边界;
$ B# s5 t8 C) ]1 q$ r( p. P# f* v - 纯合成:规模巨大、成本低,但常缺少可判别的精度和学科落地的真实性。1 T0 K4 {# i* d% d1 q, V
UniScientist 的关键洞察源于一个被广泛忽视的不对称性。7 A! g8 ?" M& K( e9 }% v
& A8 @: ~$ Y1 b% c- E; q. K- 大语言模型更擅长生成:能跨学科大规模地提出候选研究问题和解法草案。# h' {8 Z3 j- D
- 人类专家更擅长验证:鉴别研究的真伪和质量,其成本和难度远低于从零创造,且能提供高精度的学科把关。9 q; B2 ]) M3 a* F3 \1 S/ Z
这种不对称性指向了一种更高效的分工方式:模型负责规模与多样性,人类专家负责质量与可验证性。5 T* o; ^# o! |$ d* t. [2 S
这正是 UniScientist 数据引擎的核心原则——产出的训练实例既有广泛的专业覆盖面,又有严格的验证保障。
, O$ H/ k8 b, ]9 r* k a
% T4 o `, m, H. l: r
* A( }9 {7 Y% b7 X+ w
) w8 o' }1 g2 q0 F# e5 Y+ }8 C) b
03|形式化科学研究:证据状态与溯因假设的动态系统. [2 n, A+ N( n2 l) d
许多关于「科研智能」的讨论聚焦在更好的工具调用或更精准的检索上。
2 B. \/ l' |0 {* {8 |/ S! m9 _1 k7 pUniScientist 则在更本质的层面展开工作。! ]- D3 v' G. l9 V2 c
团队将开放式科研过程建模为一个基于两个基本操作的动态系统:主动证据整合(Active Evidence Integration) 与 模型溯因(Model Abduction)。; d% d$ a! L* J' J* {
系统的核心是一个不断演化的「证据状态」,其中证据被分为两类。1 t! x; k v" H7 P3 c
6 Y* L1 \. @( C/ U
- Evidence-Grounded(可独立核验的证据):来自外部权威来源,或内部产出但经过明确检查验证;
/ G& E7 C/ Z, @7 M - Formally-Derivable(可形式化推导/复现的证据):通过符号推导、数值计算、仿真实验等可复现程序得到。
: G9 w6 ? L+ J7 g; R1 r6 K 然后系统循环执行三个动作:
" X1 u$ g' q: I# L8 K* p产生假说0 B6 z* F1 n/ e i( ~$ p! Z
获取外部权威信息证据、计算和推导证据
# M5 b+ [6 L2 n6 V( c做溯因更新:让假说更好解释当前证据状态
' X3 b- o4 ?/ H% {直到证据足够完整稳定,再把整个研究过程转化成一份严谨的科学成果。, x0 A- Z" R6 ]) C
这一形式化具有重要意义:它把「科研智能」从一个远大理想,变成了可训练、可评估、可迭代的对象。2 w m j1 X- w' J
0 ~1 x: h1 Q2 ?$ m; |; j& i' ~3 O! _) B1 |) }4 d& ]2 i) j
; \3 S# a* z; q% V( \3 |$ M. x! Y04|把开放的科学研究问题变成「可验证的单元测试」
7 `5 @ M1 j1 O) K/ \UniScientist 提出了Evolving Polymathic Synthesis(进化式多学科合成),一个承担两项功能的数据引擎。
; p/ o$ Z! U8 e8 \* D/ _% k从经过专家验证的科学 Claim 出发,将其扩展为研究级问题——跨越多个相互依赖的子问题,要求实验设计与推导协同! w4 |& z2 x7 C3 X* b4 F
同步合成评测 Rubrics。这些 Rubrics 不评估文风或格式等表面质量,而是评估具体的科学发现是否已被达成3 F/ n1 ~) _1 D+ Z) R j( |* C
这一设计中最具辨识度的特征是:
3 \- J4 u) E! t3 S' U5 K9 F0 P一份开放式科研成果被分解为 N 个封闭的、可独立验证的 Rubric 检查项。5 |" U: e M# j) q) o) E
每个 Rubric item 都尽量做到:原子化、客观、可证据落地或可形式化推导,并额外强调: f, e k: l' Q5 @2 B2 V
& w c+ ~' U' s! Y- 一致性(对相同科研成果,重复评测应稳定)
4 d# ^+ }+ ]* I; y5 V( ^/ F& z, O - 区分度(能拉开不同完整度的差异)5 g3 x- G( h5 A. C
- 原子性(单条 rubric 只校验一个知识点)
% i4 w( K6 F) P) N" A, Y* h 当前数据集仍在持续扩展中,已包含超过 4,700 个研究级实例,每个实例附有 20+ 条 Rubric 项,覆盖 50+ 学科和 400+ 研究方向。1 u6 z @8 e' h1 z0 y; a6 W" z
专家标注平均每条样本投入 1-2 小时。学科覆盖从量子物理和有机化学到社会文化人类学和计算语言学均有涉及。' O0 e' z7 W& z" R7 T
- Y: p7 b; @7 m( v1 b6 ^. Q" O数据集中包含了具备真实科研质感的研究问题。下图展示的是一道生态学方向的示例,完整案例库可在 https://unipat.ai/blog/UniScientist 查阅。
+ p4 \0 T6 q& H% l) \5 r4 d0 U这些问题的共同特征在于:没有任何一道可以通过匹配记忆中的既有答案来直接解决。
. l; [9 b& U; ^/ R" ^( C每一道都要求完整的科研链条——文献调研、假设形成、实验或推导设计、分析验证、以及最终成果的收敛。
/ Z" k3 V9 m( j+ r( g! o0 u5 {
/ T0 L$ @/ C: ^4 o" ?, ^% t$ k8 h4 t$ f& r/ a
2 Q( Y$ j- O% k- t1 ? U- @6 A0 ?
5 d0 B6 V% A5 X( \/ U( P9 u05|从单点生成到群体智慧/ K0 Q q1 F4 v
UniScientist 引入了一个额外的训练目标,成果聚合目标:
m. C* s& T8 G% N1 B7 a8 ]给定同一问题的 N 份候选科研成果,模型学会融合各家优点,产出一份更完整、更稳健的最终成果。通过 Rubric 阈值的 rejection sampling 来筛选高质量参考答案,聚合能力与科研生成能力一同被训入模型。
4 } s5 c+ Z) n" \6 E这反映了科学研究中的一个现实:对于一个问题,一次尝试并不一定会带来最好的成果。# n x8 i. N2 F. m. t4 ?
这实际上是将「集体科研智能」写进了训练过程:- [( h6 E- W5 G0 ?
模型不仅学会了产出研究,还学会了比较、取舍、整合与自我进化。% x7 j+ I. E. E( |1 E- q% |
- A4 ?: z% h; {& N$ P5 c4 J) i1 j4 ^- B! V$ T( {0 u4 p
% `' b2 l. w* |+ n; O4 y
06|30B 小模型比肩最大规模闭源系统
( a+ n: r; h ]; l: T评测结果引人注目,尤其考虑到模型的规模。/ a6 B$ s! S- H. W/ E# q+ W
UniScientist-30B-A3B——一个仅有 3B 激活参数的小模型——在 FrontierScience-Research 上达到 28.3 分,超越 Claude Opus 4.5(17.5)、Gemini 3 Pro(12.4)和 GPT-5.2 xhigh completion mode(25.2)以及工具调用模式下的 DeepSeek V3.2(26.7)和 Seed 2.0 Pro(26.7)。在成果聚合模式下,得分达到 33.3。1 a/ P5 j" H: c+ V) y3 r$ q8 a
在 FrontierScience-Olympiad 上,启用工具的 UniScientist 得分 71.0,匹配 Claude Opus 4.5,超越多个其他前沿模型。. r5 i1 H' ~) N5 c. {3 _, M
在多项分布外的基准——DeepResearch Bench、DeepResearch Bench II 和 ResearchRubrics 上——模型的表现与一系列顶级闭源系统相当。+ M& c: ^( c0 a
一个尤为重要的发现:即使在无工具的评测条件下,性能仍有显著提升。5 y8 \. h1 C& G6 f
这表明增益并非单纯来自更频繁的工具使用,模型自身的研究推理能力确实通过训练得到了增强。
' D$ ^1 ]3 _# P所有基准上的结果指向同一结论:模型学会的不只是更好地检索,而是将检索、推导、验证和写作整合为连贯的研究工作流。
6 g: i3 `: K: |- @! Q7 h5 A; G5 n' I+ i5 w% x7 ^* Y0 N9 [* i* w
% e0 ]) t7 R. ~$ U- {
# m' T- G1 D* @: @" a! H
2 d5 L. [7 g5 j5 Q/ P07|下一步:迈向现实世界实验
) W- d1 i; G$ Q; q$ f; e& t" R科学研究不止于形成一个合理的叙事。许多结论依赖于可执行、可复现的计算与仿真。
J5 P: }4 }( c+ j2 FUniScientist 集成了代码解释器,将研究流程从叙事式推理升级为「测试-修正」的循环:假设不仅被提出,还被实例化为计算实验——其结果可以确认、推翻或细化假设。
3 M' p, J: x+ B系统目前的能力主要集中在可复现推理与仿真计算范围内。对真实世界研究资源的编排——可靠地调度大规模 GPU 任务、协调湿实验流程——尚未实现。' `2 p$ d) [2 W. M5 k3 m4 [) X
UniScientist 在 Blog 中也将下一步方向阐述得很清晰:
l( B9 R+ ~; \/ t将框架扩展到对真实实验与计算基础设施的受控编排与执行,目标是进一步加速科学发现、推动研究前沿。
3 U0 P% b. }( l4 |以下展示一个UniScientist进行的完整科研推理链条,详细推理内容可以在Blog链接中查阅:https://unipat.ai/blog/UniScientist
+ J3 F) H- T: S+ U# E5 y
" P/ h$ f& H# i- b关于 UniPat AI
% \3 O& O* T% P3 T. _( iUniPat AI 此前发布过多模态评测基准 BabyVision,该基准已被部分近期模型纳入评测体系,并在一些技术报告中被引用。这次发布的 UniScientist,则把关注点转向解决科研任务,提出将全链条科研能力内化到模型的方案,让模型具备了自主推进科学研究的能力。/ g& M# Y5 [0 u( _4 A
参考资料:
0 i2 n- t+ x7 t( K" D$ V+ V4 Phttps://unipat.ai/( |, [, h1 }( k; A$ |+ Y5 D
秒追ASI
3 w, n% F9 v/ b. U" W$ f6 Q( _5 g0 \* ]( A$ J+ Z
+ R1 }3 O$ K( u+ u
|
|