顶尖数学家联合出推理难题   OpenAI模型招架得住吗？ - video Dailymotion

Hotspot热点

新闻报报看 | 最近在美国加州，就有一场汇聚全球30名最顶尖数学家的“秘密数学会议”，精英数学家想要设计出世界上最难解的数学题，挑战OpenAI公司开发，号称在执行复杂推理任务上接近“天才水平”的o4-mini模型的解题能力。人机大战，最后谁赢谁输了呢？（主播：庄文杰、洪欣仪）

Transcript

00:00看影片之前提醒你热点网站还有更多内容

00:03在数学界曾经有人定义出世界七大数学难题

00:09更号称只要有人能够解开其中一道就可以获得100万美元的奖金

00:14你听这番话可想而知

00:16做这样的奖励等同于是在看扁几乎不可能会有人类的脑袋可以破解这些难题

00:23不过在AI人工智能高速发达的今天

00:27这些所谓我们人脑解决不了的难题对AI来说可能都不是问题了对吧

00:33那最近在美国加州就有一场汇聚了全球30名最顶尖数学家的秘密数学会议当中

00:40精英数学家们想要设计出世界上最难解的数学题

00:45来挑战由OpenAI公司开发

00:47号称在执行复杂推理任务上接近天才水平的欧四迷你模型的解析能力

00:54那大家猜猜当初题的最顶尖人类数学的大脑对上了人工智能运算脑

01:02到底是人脑更厉害还是AI更强大呢

01:06那先说结论答案是顶尖数学家输了

01:10欧四迷你可以在非常短的时间内就解出科学家自认会导致AI系统崩溃的数学难题

01:18所以初题的数学家就没有办法引走7500美元接近32000令吉的奖金

01:25当然大家都能够理解AI很强大

01:28人脑根本没有办法拼

01:30但是问题是这些由顶尖数学家设计出来的难题是怎样被打倒的呢

01:36报道提到日本知名数学家小野剑就像OpenAI这套模型设计出博士论文等级的难解题目

01:46那么他说一开始AI模型呢会先用两分钟搜寻还有学习

01:51先掌握这个领域的相关文献

01:53接着呢聊天机器人就会告诉数学家

01:56他想要尝试解决一个更加简单的玩具问题

02:00我先学习之后才继续解题吧

02:02而且不用几分钟这个聊天机器人呢就已经回复

02:05我准备好要解决更难的问题了

02:08再过五分钟O4 mini模型就给出了一个很正确

02:12也很巧妙的起案方案

02:14而且呢在回复当中甚至还挑衅数学家

02:18我没有用任何文献哦

02:20那一组神秘数字是我亲手算出来的

02:24这是AI说的

02:25哦各位就连这名日本最顶尖的数学家都直言

02:29AI不只能够计算

02:31还能够像人类一样表现出结构化的推理过程

02:35实在是太可怕了

02:37甚至告诉媒体他从来没有在其他的AI模型看过这样的推理

02:42因为一般人在解题的时候是不会到这个境界的

02:46只有科学家才会这样做

02:48AI模型也在短时间内就办到了

02:51当然我们回过头来说啦

02:53如果全球30位顶尖数学家全部被召集来去到美国那边一起来出题

02:58准备要考导OpenAI模型

03:00但结果都是被AI解题能力打趴的话

03:03你想一下这些科学家这些数学家有面子吗

03:06面子挂不住吧

03:08当然最后这群精英数学家们还是又找到了10个可以让这个AI模型难以应对解不开的数学难题

03:18但问题是AI能不能够做到恐怕只是时间的问题啊各位

03:24甚至可能不用太久哦

03:26因为AI模型它是可以持续进步跟学习的

03:29比起人类学习的速度是更加快啊

03:33有点恐怖啊

03:34日本知名的数学家小野剑就形容

03:38要是AI能够达到计算出数学家无法解决的第五级难题

03:44等于AI就已经非常接近天才了

03:47那到时候数学家的角色呢就会转向跟聊天机器人互动

03:52帮人工智能找到数学的真理

03:55就像教授对待研究生一样

顶尖数学家联合出推理难题 OpenAI模型招架得住吗？

Category

Transcript

Recommended