77书库

手机浏览器扫描二维码访问

第1990章 25丨人类没毛病四色定理的计算机证明(第1页)

(A)熵:修改病句,争论有趣、争吵有理

1990.12.25(经常参加体育锻炼可以增加体质)

《有趣做道题的争论》

如果同学们问我:“什么事你觉得有趣?”我一定是这个奇怪的回答:“做道题的争论有趣。”

为什么做道题的争论有趣呢?

放学以后,我和小冬闲着没事,我跟小冬说:“我们改病句吧”!小冬听了很高兴。……我们俩从一本《参考书》中抄出了一句病句,便分析、改正了。

我想:经常应该改为常常。我嘴里也这么说出来了。小冬听了不满意,说:“经常与常常词意差不多,经常没有错”。我很不服气:“那么你的改法呢?”也许他还没有找到句子的病处,没有回答。

我又开始琢磨着自己的头脑:难道是体质错了吗?如果是体质用错,那又怎么改?我又向头脑打问号。

这时小冬开口了,“我看是增加在这句中用错了吧”。他停了一会,说:“怎么改,我还没有想清楚。”

我就说:“你如果找出来的‘病’正确了,不懂开‘药方’也是没有用的。”我认为,体质在这里搭配不当,应该改为身体的重量。

但他生气地说:“难道体育锻炼,就是为了增加身体的重量?我意见是错。”

我被他哑口无言……我们俩又继续思考着。

这时,他发言说:“老师说是可用排除法”……经过相当长时间,他说:“增加和体质这两个词搭配不当,增加应该改为增强。”

如果他正确,我就失败,我也很不服气……我们打开答案看看……果然他改对了,我也无话可说。

…………做难题的争论,也有烦恼,但又给我长方法。这就是有趣的做道题的争论。

——————

(B)Kimi:“苏格兰羊”数学笑话

1990年,圣诞节!Kimi思考着她的人工智能项目。她的目标是开发一个能够理解和处理复杂数据的智能系统。突然,她想起了一个关于“苏格兰羊”数学笑话。

有一天,一个天文学家、一个物理学家和一个数学家乘坐火车到苏格兰旅行,他们一起看到了窗外有一只黑色的羊。天文学家感慨道:“怎么苏格兰的羊都是黑色的?”物理学家纠正说:“应该说苏格兰的一些羊是黑色的。”数学家则最严谨地表达:“在苏格兰,至少存在着一块天地,至少有一只羊,这只羊至少有一侧是黑色的。”

Kimi首先想到,如何将一个简单的观察任务转化为一个复杂的数据分析和机器学习问题。

但是,早在1976年,美国数学家美国数学家阿佩尔(KennethAppel)和哈肯(WolfgangHaken)用高速电子计算机耗费了1200小时的计算时间证明了四色定理(即“任何一张地图只用四种颜色就能使具有共同边界的国家着上不同的颜色”),解决这困扰数学家一个多世纪的“世界近代三大数学难题”之一。

Kimi认为,人工智能的核心任务之一就是从纷繁复杂的数据中提取规律、做出准确的判断。就如同窗外那只黑色羊引发的讨论,面对看似简单的现象,人类往往会凭借直觉快速做出结论,但这往往带有主观偏见和不确定性。而在人工智能领域,我们需要将问题形式化、逻辑化,尽可能消除不确定性,确保结论的准确性和可靠性。

但是,如果一个证明完全依赖于计算机的计算而缺乏人类对证明过程的深刻理解,那么这种证明可能不符合传统的数学证明标准。数学证明不仅仅是计算过程,更是对数学结构和逻辑的深刻洞察。

Kimi因此深入思考人工智能的本质。她意识到,虽然人工智能可以处理大量的数据和复杂的任务,但它们在理解问题的深层次含义以及处理抽象概念方面仍然存在挑战。人工智能只是工具,而不是完全的智能体,它们需要人类的指导和理解来发挥最大的作用。

喜欢灵魂交响曲:人工智能日记请大家收藏:()灵魂交响曲:人工智能日记

上吧,我的分身!  长兄在上  满门妖孽,团宠小师妹逆天成神  逃跑后亲手带大的弟弟派人来抓我  一统天下,从救关羽开始  九品御班头  修成仙帝能无敌吗  月华之巅,青冥之岸  海岛求生:我靠锦鲤崽崽囤物资  快穿:大佬觉醒后,每日宠不够  先锋战士之嘎子这一生  荒岛求生录人性欲望贪婪  与疯批前男友复合后,他杀疯了  小凡的花花世界  凡人破天  村村村村村村医  我要站在云天之上,傲视众山小  甜妻重生陆总的心尖宠  与她沉溺美梦  打工江湖  

热门小说推荐
红楼:庶子崛起

红楼:庶子崛起

贾璟带着骑砍的游戏系统穿越到红楼世界,顶替了贾赦庶子贾琮的存在,变成了与迎春一母同胞所生的弟弟。想到贾家将要面临的衰败与被清算,贾璟表示,我不同意!且看一个带着外挂的穿越者,如何在红楼的世界里,逆天改命,上演一场庶子崛起的大戏!如果您喜欢红楼庶子崛起,别忘记分享给朋友...

史上最强弗利沙

史上最强弗利沙

史上最强弗利沙简介emspemsp关于史上最强弗利沙善与恶的交织,一次又一次的激烈碰撞。是棋子,还是执子之人。我若是棋子,那执子之人又是谁?目前完结世界海贼王犬夜叉我和僵尸有个约会。全职猎人完结,斗破苍穹。。。。。...

别慌,让我念个咒

别慌,让我念个咒

凌栩川生活在最底层,为了供养女朋友读研,主业公务员,假期跑滴滴,晚上摆夜摊,身兼数职。可是,突然有一天,他发现被绿了,所有负面情绪爆发,绑定了神秘的愿望系统,开挂的人生亮起绿灯,一骑绝尘。美女?权利?财富?武力?人生巅峰?一切都变得顺其自然...

公爵大人的钓系美人

公爵大人的钓系美人

双男主无女主东方钓系美人(大佬)VS西方霸主公爵沈胜衣一个从21世纪穿越到修仙大陆的社畜,凭借着傲人的天资,和逆天的运气,好不容易修到渡劫,有机会打开时间裂缝回到自己穿越的时间却因为一次时空爆炸,导致他的时间地点坐标严重发生了偏差,一下子来到了西方大陆的大航海时代,不过好在这里的人好像都不太聪明...

我的无限仓库

我的无限仓库

杨明有个无限容量无限储物格的时空仓库。有普通的恒温恒湿仓库。有惰性气体仓库。有真空仓库。有绝对零度仓库。有高级的时间静止仓库。只要客户愿意把货物存储在杨明的仓库中,货物的损耗率,可降低极小的程度。安全性,可提升到极高的程度。作为仓库出租者,杨明只收取少量的管理费用,或扣取一定比例的货物,作为报酬。诸天万界的客户们,把你们手里的粮食黄金财宝资源,全都存放到我这里吧,放我的无限仓库中,这里提供最安全最优质的保管服务,绝对的物超所值,走过路过,千万不要错过!如果您喜欢我的无限仓库,别忘记分享给朋友...

亮剑:别装了,就是你李云龙干的

亮剑:别装了,就是你李云龙干的

孔捷老李,别装了,你昨天是不是把鬼子的票号给抢了,既然兄弟发了财,那我多多少少也得沾沾光。李云龙他娘的,那真不是老子干的丁伟老李,别装了,我听说你最近又收编了一个伪军师的装备李云龙你说什么这事我怎么不知道?旅长李云龙,你快点把昨天抢鬼子的军马给我送一半到旅不来。李云龙我的老旅长,你饶了我好不好,你这样和地主老财有什么区别,我是真没抢鬼子的军马八路军老总李云龙,你小子最近干的不错,打掉了观摩团,现在又在平安县城打出了咱们八路军的气势,不错不错。李云龙老老总喂喂喂喂李云龙正准备开口解释,老总一脸满足的挂断了电话。他娘的,这到底是谁干的。委员长阎长官纷纷将李云龙视作隐患。筱冢义男调动派遣军全面围剿晋西北,目的就是为了将李云龙部一举剿灭。老子发誓这些事真不是老子干的。李云龙彻底抓狂,没想到一不小心就成了挡箭牌替罪羊。而真正的始作俑者正在排兵布阵调集百万大军,收复晋西北。云天,你他娘的带上老子好不好一朝穿越,变成李云龙的结拜兄弟李云天。如果您喜欢亮剑别装了,就是你李云龙干的,别忘记分享给朋友...

每日热搜小说推荐