读天才与算法:人脑与AI的数学思维笔记20_数学图灵测试

news2024/12/25 4:52:55

1. 数学图灵测试

1.1. 能不能将这种计算机证明语言翻译成易于与人交流的方式呢?

1.1.1. 剑桥大学的两位数学家蒂莫西·高尔斯(Timothy Gowers)和莫汉·加内萨林加姆(Mohan Ganesalingam)开展了此项研究

1.1.1.1. 他们决定一起组建团队,创建一个能够生成人类直接能读得懂的计算机证明

1.1.2. 1998年,高尔斯成为菲尔茨奖获得者并登上新闻头条,同年被聘为劳斯·鲍尔(Rouse Ball)讲席教授

1.1.3. 莫汉·加内萨林加姆(Mohan Ganesalingam)

1.1.3.1. 在剑桥大学三一学院学习数学,以第一名的成绩拿到剑桥大学的数学专业学位,并获得资深兰格勒头衔(Senior Wrangler),这是剑桥数学学子的最高荣誉
1.1.3.2. 改行学英语,又以剑桥大学英语学院最佳成绩毕业,获得了盎格鲁–撒克逊英语(Anglo-Saxon English)硕士学位
1.1.3.3. 继续攻读计算机科学博士学位,从形式语言学角度对数学语言进行分析

1.2. 本科一年级《度量空间》课程里面的5个定理,每个定理包括3个不同的证明,分别由博士生、本科生和计算机算法完成

1.2.1. 其目的是想了解在没有任何提示的情况下,是否有人会怀疑这些证明不全是由人类完成的

1.2.2. 通过对投票结果的统计分析,大约有50%的读者识别出了由计算机算法生成的证明,但其中只有半数人确信自己的判断是正确的

1.2.3. 那些确信不是计算机证明而实际是计算机证明的投票占比也不容忽视

1.2.4. 那些来自本科生的证明往往被误认为是计算机的证明

1.3. 计算机在处理证明中那些烦冗、琐碎环节时的能力越来越强,人机互动越来越少,这留给我们更多的时间和精力去自由地思考更“有趣”的环节

1.3.1. 在计算机最终取代人类工作这一历史发展进程中我看不到任何实质性的障碍,这可能会让人感到难过

1.3.2. 但实现这一目标的过程却让人憧憬和兴奋

2. 数学寓言

2.1. 素数又称质数,是一个大于1的自然数,且除了1和它本身外,不能被其他自然数整除

2.2. 素数就像一座座山峰,重峦叠嶂,绵延不绝

2.2.1. 后辈数学家们肩负的任务就是寻找一条从熟知的领域出发,通向这片未知新世界的道路

2.3. 证明是一场“按图索骥”的旅程,地图上标定了穿越的路径

2.3.1. 成功的证明是一组路标,指引所有后辈数学家走完相同的旅程

2.3.2. 证明的读者们将通过地图所指的道路抵达遥不可及的高峰,体会到和作者一样的惊喜和感动

2.3.3. 很多时候,证明不是寻找i和t的交点,就像故事不会呈现某角色的每个生活细节

2.3.3.1. 它是对整个旅程的描述,而不是具体步骤的重现

2.3.4. 数学家提供的论据旨在引导读者的思想。

2.4. 结尾即是故事的开始,倒叙是数学故事最特别的地方

2.4.1. 问题在于故事情节如何设计才能从当前背景到达这一高潮

2.5. 反证法是数学家工具箱中常用的叙事工具,就像《爱丽丝梦游仙境》或《绿野仙踪》一样,想象出一个完全相反的世界,并试图证明这个世界是真实的,直到故事以一个荒谬的结局告终

2.5.1. 任何有限的素数列表都会丢失一些素数,因此,素数的个数必须是无穷的

2.5.2. “素数有无穷多个”定理的证明

2.5.2.1. 假设素数只有有限的n个,其中最大的素数是p
2.5.2.2. 设q为所有素数之积加上1,即q=(2×3×5×…×p)+1,则q不为素数
2.5.2.3. 那么,q就可以被2、3、…p中的某一个数整除
2.5.2.4. 根据公式,q被2、3、…p中任意一个数整除后又会余1,与前结论相互矛盾
2.5.2.5. 由此可证明,素数个数是无限的

2.6. 数学家喜欢在证明的结尾写一个QED的标记,其源自拉丁语quod erat demonstrandum(意为“这被证明了”)的缩写

2.6.1. 数学证明最重要的不是追求“证明完毕”,也不是得到的最终结果,而是整个证明的过程,即通向目的地的旅程,这就像音乐的全部并不是最后的一个和弦一样

2.7. “令人惊讶”是数学的重要特质

2.7.1. 数学家的艺术不只是创造出新的东西,还包括讲述一个令人惊讶的故事

2.7.2. 寻找椭圆曲线的解是数学领域最棘手的问题之一

2.7.2.1. 详细陈述了数学世界的这两个截然不同的领域是如何关联的

2.7.3. 费马发现的关于某些类型的素数具有的一个奇特性质:如果一个素数除以4后所得余数为1,那么该素数等于某两个数字的平方和

2.7.3.1. 素数与平方这两个不相关的概念建立联系、融为一体,获得了巨大的满足感

3. 罗兰·巴特(Roland Barthes)提出的五种关键叙事代码

3.1. 阐释代码

3.1.1. 也称为“谜的代码”,指的是类似于侦探小说中具有设谜和解谜功能的句段

3.1.2. 只要文本中有需要揭示的真相、需要澄清的谜团,那么这个文本就含有阐释代码

3.1.3. “真相的声音”

3.2. 行动代码

3.2.1. 一系列动作的累积制造出悬念,而动作本身又隐含了下一步的叙事动作

3.3. 语义代码

3.4. 符号代码

3.5. 文化代码

3.6. 均围绕一个设计意图展开,即故事中的某些思想会与故事之外的事物产生共鸣,从而赋予其更多的意义

3.6.1. 这三者都是构建数学证明的重要工具,发掘读者已有的知识以获得证明的预期效果

4. 数学的叙述艺术

4.1. “悬念”这一特性是数学证明故事中经典的叙事工具

4.1.1. 这种叙事方法被称为阐释代码,是罗兰·巴特(Roland Barthes)提出的五种关键叙事代码之一

4.2. 是未解之谜(或未答之题)给出令人满意的数学证明的核心方法

4.2.1. 当我们研究数学时,能给我们带来愉悦的就是那种想要解开谜团的渴望

4.2.2. 从这个意义上说,数学证明与一部精彩的侦探小说有很多共同之处

4.3. 数学证明都是从故事的结局开始

4.3.1. 科幻动作或谋杀悬疑题材的作品也有类似的剧情设置

4.4. 除了开场环节通过未解的问题制造的紧张感之外,数学故事的另一个叙事驱动力源自证明展开时的内在行动,它是通过故事情节的延续推动叙事逻辑沿着时间轴向前发展的动力

4.5. 有时候证明需要在大量历史知识或观点的“触发”下推进

4.5.1. 如果利用不好这些触发条件,就会大幅降低证明的效率

4.6. 故事的总体叙事也被称为故事的原型或者主线

4.6.1. 文学理论家们把各种故事原型进行归纳和总结,最终确定了七种不同的叙事类型,比如灰姑娘型故事、探险型故事、战争型故事等

4.7. 数学家识别出某些证明原型,并引用其方法来帮助读者

4.7.1. 证明方法有反证法、归纳法、概率分析法,等等

4.8. 张力本意是让水滴圆润凝聚而不分散的力量

4.8.1. 若某首诗具有张力,说明这首诗全篇对中心观点的凝聚感十分强烈

4.9. 好的数学有一种张力,其证明既不会很复杂也不会很简单

4.9.1. 完美的证明有其必然性,但每一步都无法提前预测

4.9.2. 追求秩序和安全的结果可能导致单调乏味和千篇一律,但为了创新和改变而不顾秩序,则会带来危险和不确定性

4.9.2.1. 文化的历史可以被诠释为在追求秩序和避免乏味之间的动态张力

4.10. 尽管大多数人认为音乐是与数学相关的创造性艺术,但讲故事是最接近证明定理的创造性行为

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.coloradmin.cn/o/1647460.html

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈,一经查实,立即删除!

相关文章

已解决SyntaxError: EOL while scanning string literal 亲测有效!!!

已解决SyntaxError: EOL while scanning string literal 亲测有效!!! 亲测有效 报错问题解决思路解决方法 报错问题 SyntaxError: EOL while scanning string literal 这个错误通常发生在Python代码中,表示字符串字面量没有被正确…

撸爆公众号流量主,简单无脑,单日变现2000+

详情介绍 目前公众号流量主的收益非常的好,不管你是小白还是老鸟,都能拿到一个很好的收益,轻轻松松日入2000,接下来我给大家带来一个保姆级的教学,大家跟着操作就可以了

360手机去除广告 360手机关闭弹窗广告 360手机刷机

360手机去除广告 360手机关闭弹窗广告 360手机刷机 360手机去广告 360手机刷机 360手机弹窗广告 永久去除360手机的各种广告教程 360手机禁止更新 360手机关闭广告 360手机去除内部广告 360手机资源网 360手机刷机资源下载链接:360rom.github.io 参考:…

C语言/数据结构——每日一题(链表的中间节点)

一.前言 今天我在LeetCode刷到了一道单链表题,想着和大家分享一下这道题:https://leetcode.cn/problems/middle-of-the-linked-list。废话不多说让我们开始今天的知识分享吧。 二.正文 1.1题目描述 1.2题目分析 这道题有一个非常简便的方法——快慢指…

xx学校(微信)挖掘

挖掘目标的部署在微信的资产(减少信息的收集,毕竟一般web站点没有账号密码不好进入后台,挖掘功能点少) 1. 寻找目标的微信小程序(非原图) 1. 招生小程序打不开,只能挖掘管理系统 进入后发现存在上报安全隐患功能,可以上传图片 1. 准备上传shell 发现控制上传名字参数为name,…

mysql数据库(排序与分页)

目录 一. 排序数据 1.1 排序规则 1.2 单列排序 1.我们也可以使用列的别名,给别名进行排序 2.列的别名只能在 ODER BY 中使用, 不能在WHERE中使用。 3.强调格式:WHERE 需要在 FROM 后, ORDER BY 之前 1.3 二级排序&…

【软考高项】三十三、质量管理

一、管理基础 质量定义 国际标准:反映实体满足主体明确和隐含需求的能力的特性总和。 国家标准:一组固有特性满足要求的程度。固有特性是指在某事或某物中本来就有的,尤其是那种永久的可区分的特征。 ➢ 对产品来说,例如…

【Windows】Windows电脑如何给hosts添加解析

前言 hosts是一个没有扩展名的系统文件,在浏览器输入一个我们想要登录的网站时,电脑系统会自动帮助我们在hosts文件中寻找对应的IP地址,然后打开网站,如果找不到对应IP,电脑就需要对域名和IP地址进行解析。当对一个网…

面向新手在无人机竞速场景下的飞行辅助系统——浙大 FAST-Lab 高飞团队 ICRA 论文三项 Best Paper 入围

恭喜浙江大学 FAST-Lab 钟宇航同学的论文 A Trajectory-based Flight Assistive System for Novice Pilots in Drone Racing Scenario 顺利发表 ICRA 2024,并同时入选三项 Finalist: the IEEE ICRA Best Conference Paper Awardthe IEEE ICRA Best Pape…

人工智能_大模型049_模型微调009_llama2模型训练_代码分析和实现_代码记录---人工智能工作笔记0184

以上是项目的整体结构,其中上一节我们看了chatglm3目录下,对chatglm3模型的训练部分的代码,然后 这里的llama2目录下是对llama2模型进行训练的代码. 然后web_demo目录是,对web浏览器中,使用chatglm3,以及llama2.py进行的封装下一节我们再看这个部分 E:\2024\人工智能\fine-tun…

c++函数返回指针和引用

写一个常量字符串复制函数 我们以为的方式 写不了,我们把指针指向了这个常量区,看似拥有了,其实不属于str 我们需要把常量字符拿出来,让指针指向栈区或者堆区 #include<iostream> using namespace std; int clen(const char* str) {int len 0;for (int i 0; str[i];…

车牌号识别系统:PyQT5+QT Designe+crnn/PaddleOCR+YOLO+OpenCV矫正算法。

PyQT5&QT Designecrnn/PaddleOCRYOLO传统OpenCV矫正算法。可视化的车牌识别系统项目。 车牌号识别系统 项目绪论1.项目展示2.视频展示3.整体思路 一、PyQT5 和 QT Designer1.简介2.安装3.使用 二、YOLO检测算法三、OpenCV矫正算法四、crnn/PaddleOCR字符识别算法五、QT界面…

Linux权限控制进阶:ACL、su与sudo的完美结合

&#x1f407;明明跟你说过&#xff1a;个人主页 &#x1f3c5;个人专栏&#xff1a;《Linux &#xff1a;从菜鸟到飞鸟的逆袭》&#x1f3c5; &#x1f516;行路有良友&#xff0c;便是天堂&#x1f516; 目录 一、前言 1、Linux的起源与发展 2、什么是ACL 3、什么是用…

C语言 | Leetcode C语言题解之第74题搜索二维矩阵

题目&#xff1a; 题解&#xff1a; bool searchMatrix(int** matrix, int matrixSize, int* matrixColSize, int target) {int m matrixSize, n matrixColSize[0];int low 0, high m * n - 1;while (low < high) {int mid (high - low) / 2 low;int x matrix[mid /…

6个月小猫成长必备!福派斯无麸质幼猫粮评测

你知道吗&#xff1f;给小猫选择适合的猫粮是一件非常不容易但很重要的事情。那么&#xff0c;对于6个月大的小猫来说&#xff0c;什么样的猫粮是最适合它们的呢&#xff1f;&#x1f431; 我们首先要考虑的是猫粮的营养成分。6个月大的小猫正处于快速生长期&#xff0c;所以需…

厂家自定义 Android Ant编译流程源码分析

0、Ant安装 Windows下安装Ant&#xff1a; ant 官网可下载 http://ant.apache.org ant 环境配置&#xff1a; 解压ant的包到本地目录。 在环境变量中设置ANT_HOME&#xff0c;值为你的安装目录。 把ANT_HOME/bin加到你系统环境的path。 Ubuntu下安装Ant&#xff1a; sudo apt…

密码学《图解密码技术》 记录学习 第十五章

目录 十五章 15.1本章学习的内容 15.2 密码技术小结 15.2.1 密码学家的工具箱 15.2.2 密码与认证 15.2.3 密码技术的框架化 15.2.4 密码技术与压缩技术 15.3 虚拟货币——比特币 15.3.1 什么是比特币 15.3.2 P2P 网络 15.3.3地址 15.3.4 钱包 15.3.5 区块链 15.3.…

Redis 的数据库管理

Redis 提供了⼏个⾯向 Redis 数据库的操作&#xff0c;分别是 dbsize、select、flushdb、flushall 命令&#xff0c; 我将介绍这些常见的命令。 切换数据库 select dbIndex许多关系型数据库&#xff0c;例如 MySQL ⽀持在⼀个实例下有多个数据库存在的&#xff0c;MySQL 可以…

opencv图像处理详细讲(二)

联通组件分析 联通组件定义&#xff1a;像素值相同&#xff0c;通过四邻域或者八邻域相互连通的像素块。 换句话说&#xff0c;就是使用四邻域或八邻域的连通性&#xff0c;遍历图像的像素&#xff0c;并确定像素值相同并且连通的像素块&#xff0c;将它们标记为一个联通组件 两…

大数据面试题(十):Hive的高频面试考点(二)

文章目录 Hive的高频面试考点 一、请说明Hive中 sort by ,order by ,cluster by ,distribute by各代表什么意思