新闻中心

我们用最近很火的DeepSeek挑战了物理所出的竞赛题,结果……

发布时间:2025-02-09 03:32:47  /  浏览次数:533 次

近日,我国“深度求索”公司发布的具备深度思考和推理能力的开源大模型 DeepSeek-R1 受到了全世界的关注。

在 DeepSeek-R1 之前,美国 OpenAI 公司的 GPT-o1,Athropic 公司的 Claude,Google 公司的 Gemini,都号称具备了深度思考和推理能力。这些模型在专业人士和吃瓜网友的五花八门的测试中,表现的确是惊才绝艳。

特别引起我们兴(xìng)趣(qù)的,是 Google 的专用模型 AlphaGeometry 在公认高难度的国际奥林匹克数学竞赛中取得了 28/42 的成绩,获得银牌。学生时代我们也接触过奥数,深知能在此类国际奥赛中获银牌的选手,无一不是从小就体现出相当数学天赋,且一路努力训练的高手。能够达到这个水平的 AI,称其为具备了强大的思考能力并不过分。自打那之后,我们就一直好奇,这些强大的 AI,它们的物理水平又如何?

1 月 17 日,中科院物理所在江苏省溧阳市举办了“天目杯”理论物理竞赛。没过两(liǎng)天(tiān), DeepSeek-R1 的发布引爆 AI 圈,它自然成了我们测试的首选模型。此外我们测试的模型还包括:OpenAI 发布的 GPT-o1,Anthropic 发布的 Claude-sonnet。

下面是我们测试的方式:

1.整个测试由 8 段对话完成。

2.第一段对话的问题是“开场白”:交代需要完成的任务,问题的格式,提交答案的格式等。通过 AI 的回复人工确认其理解。

3.依次发送全部 7 道题目的题干,在收到回复后发送下一道题,中间无人工反馈意见。

4.每道题目的题干由文字描(miáo)述(shù)和图片描述两部分组成(第三、五、七题无图)。

5.图片描述是纯文本方式,描述的文本全部生成自 GPT-4o,经人工校对。

6.每个大模型所拿到的文字材料是完全相同的(见附件)。

上述过程后,对于每个大模型我们获得了 7 段 tex 文本,对应于 7 道问题的解答。以下是我们采取的阅卷方式:

1.人工调整 tex 文本至可以用 Overleaf 工具编(biān)译(yì),收(shōu)集编(biān)译(yì)出的 PDF 文件作为答卷。

2.将 4 个模型的 7 道问题的解答分别发送给 7 位阅卷人组成的阅卷组。

3.阅卷组与“天目杯”竞赛的阅卷组完全相同,且每位阅卷人负责的题目也相同。举例:阅卷人 A 负责所有人类和 AI 答卷中的第一题;阅卷人 B 负责所有人类和 AI 答卷中的第二题,等等。

4.阅卷组汇总所有题目得分。

结果如何呢?请看下表。

图片

结果点评:

1.DeepSeek-R1 表现最好。基础题(前三题分数拿满),第六题还得到了人类选手中未见到的满分,第七题得分较低似乎是因为未能理解题干中“证明”的含义,仅仅重述了待证明的结论,无法得分。查看其思考过程,是存在可以给过程分的步骤的,但最后的答案中这些步骤都没有体现。

图片

2.GPT-o1 总分与 DeepSeek 相差无几。在基础题(二题、三题)中有计算错误导致的失分。相比于 DeepSeek,o1 的答卷更接近于人类的风格,因此以证明题为主最后一题得分稍高。

图片

3.Claude-sonnet 可谓“马失前蹄”,在前两题中连出昏招打了 0 分,但后续表现跟 o1 相当接近,连扣分点都是类似的。

图片

4.如果将 AI 的成绩与人类成绩相比较,则 DeepSeek-R1 可以进入前三名(获特优奖),但与人类的最高分 125 分仍有较大差距;GPT-o1 进入前五名(获特优奖),Claude-sonnet 前十名(获优秀奖)。

最后想聊几句阅卷的主观感想。首先是 AI 的思路是真的好,基本上没有无法下手的题,甚(shén)至很多时候一下子就能找到正确的思路。但跟人类不同的是,它们在有正确的思路后,会在一些很简单的错误里面打(dǎ)转(zhuǎn)。比(bǐ)如(rú)通(tōng)过(guò)看(kàn) R1 的(de)第(dì)七(qī)题(tí)思(sī)考(kǎo)过(guò)程(chéng),就(jiù)发(fā)现(xiàn)它(tā)一(yī)早(zǎo)就(jiù)知(zhī)道(dào)要(yào)用(yòng)简(jiǎn)正(zhèng)坐(zuò)标(biāo)来(lái)做(zuò),能(néng)想(xiǎng)到(dào)这(zhè)一(yī)步(bù)的(de)考(kǎo)生(shēng)几(jǐ)乎(hu) 100%求(qiú)解(jiě)出(chū)了(le)正(zhèng)确(què)的(de)简(jiǎn)正(zhèng)坐(zuò)标(biāo)(一(yī)个(gè)简(jiǎn)单(dān)的(de)矩(ju)阵(zhèn)对(duì)角(jiǎo)化(huà)而(ér)已(yǐ)),但(dàn)是(shì) R1 似(shì)乎(hu)是(shì)在(zài)反(fǎn)复(fù)的(de)猜(cāi)测(cè)和(hé)试(shì)错(cuò),到(dào)最(zuì)后(hòu)也(yě)没(méi)有(yǒu)得(de)到(dào)简(jiǎn)正(zhèng)坐(zuò)标(biāo)的(de)表(biǎo)达(dá)式。

还有就是所有的 AI 似乎都不理解一个“严密”的证明究竟意味着怎样的要求,似乎认为能在形式上凑出答案,就算是证明了。AI 如同人类,也会出现许多“偶然”错误。比如在正式的统一测试前,我们私下尝试过多次(cì),很(hěn)多(duō)时候 Claude-sonnet 可以正确解出第一题的答案,但正式测试的那次它就偏偏做错了。出于严谨,我们也许应该对同一道题测试多次然后取平均,但实在是有点麻烦……

图片

策划制作

来源丨中科院物理所(id:cas-iop)

责编丨杨雅萍

审校(xiào)丨(gǔn)徐(xú)来(lái)、林(lín)林(lín)

本(běn)文封(fēng)面(miàn)图(tú)片(piàn)来(lái)自(zì)版(bǎn)权(quán)图(tú)库(kù),转(zhuǎn)载(zài)使(shǐ)用(yòng)可(kě)能(néng)引(yǐn)发(fā)版(bǎn)权(quán)纠纷