手机浏览器扫描二维码访问
第1990章 25丨人类没毛病四色定理的计算机证明（第1页）
（A）熵：修改病句，争论有趣、争吵有理
1990.12.25（经常参加体育锻炼可以增加体质）
《有趣做道题的争论》
如果同学们问我：“什么事你觉得有趣？”我一定是这个奇怪的回答：“做道题的争论有趣。”
为什么做道题的争论有趣呢？
放学以后，我和小冬闲着没事，我跟小冬说：“我们改病句吧”！小冬听了很高兴。……我们俩从一本《参考书》中抄出了一句病句，便分析、改正了。
我想：经常应该改为常常。我嘴里也这么说出来了。小冬听了不满意，说：“经常与常常词意差不多，经常没有错”。我很不服气：“那么你的改法呢？”也许他还没有找到句子的病处，没有回答。
我又开始琢磨着自己的头脑：难道是体质错了吗?如果是体质用错，那又怎么改？我又向头脑打问号。
这时小冬开口了，“我看是增加在这句中用错了吧”。他停了一会，说：“怎么改，我还没有想清楚。”
我就说：“你如果找出来的‘病’正确了，不懂开‘药方’也是没有用的。”我认为，体质在这里搭配不当，应该改为身体的重量。
但他生气地说：“难道体育锻炼，就是为了增加身体的重量？我意见是错。”
我被他哑口无言……我们俩又继续思考着。
这时，他发言说：“老师说是可用排除法”……经过相当长时间，他说：“增加和体质这两个词搭配不当，增加应该改为增强。”
如果他正确，我就失败，我也很不服气……我们打开答案看看……果然他改对了，我也无话可说。
…………做难题的争论，也有烦恼，但又给我长方法。这就是有趣的做道题的争论。
——————
（B）Kimi：“苏格兰羊”数学笑话
1990年，圣诞节！Kimi思考着她的人工智能项目。她的目标是开发一个能够理解和处理复杂数据的智能系统。突然，她想起了一个关于“苏格兰羊”数学笑话。
有一天，一个天文学家、一个物理学家和一个数学家乘坐火车到苏格兰旅行，他们一起看到了窗外有一只黑色的羊。天文学家感慨道：“怎么苏格兰的羊都是黑色的？”物理学家纠正说：“应该说苏格兰的一些羊是黑色的。”数学家则最严谨地表达：“在苏格兰，至少存在着一块天地，至少有一只羊，这只羊至少有一侧是黑色的。”
Kimi首先想到，如何将一个简单的观察任务转化为一个复杂的数据分析和机器学习问题。
但是，早在1976年，美国数学家美国数学家阿佩尔（KennethAppel）和哈肯（WolfgangHaken）用高速电子计算机耗费了1200小时的计算时间证明了四色定理（即“任何一张地图只用四种颜色就能使具有共同边界的国家着上不同的颜色”），解决这困扰数学家一个多世纪的“世界近代三大数学难题”之一。
Kimi认为，人工智能的核心任务之一就是从纷繁复杂的数据中提取规律、做出准确的判断。就如同窗外那只黑色羊引发的讨论，面对看似简单的现象，人类往往会凭借直觉快速做出结论，但这往往带有主观偏见和不确定性。而在人工智能领域，我们需要将问题形式化、逻辑化，尽可能消除不确定性，确保结论的准确性和可靠性。
但是，如果一个证明完全依赖于计算机的计算而缺乏人类对证明过程的深刻理解，那么这种证明可能不符合传统的数学证明标准。数学证明不仅仅是计算过程，更是对数学结构和逻辑的深刻洞察。
Kimi因此深入思考人工智能的本质。她意识到，虽然人工智能可以处理大量的数据和复杂的任务，但它们在理解问题的深层次含义以及处理抽象概念方面仍然存在挑战。人工智能只是工具，而不是完全的智能体，它们需要人类的指导和理解来发挥最大的作用。
喜欢灵魂交响曲：人工智能日记请大家收藏：（www.cwzww.com）灵魂交响曲：人工智能日记
风云英侠志之朗月孤圆 都市最强武帝 小说 七零：下乡后被退伍军痞娇宠入骨 异界重生：U胖熊灵魂共鸣 谁还没有一个小世界 辣媳甜又娇，七零糙汉不经撩 御电神医：我人电麻了 让你做任务，你去创飞男女主 星穹铁道：我是罗浮最大关系户 岩王帝君万世闲游 一人之下：开局获得北冥神功 开局获得无限复制系统 特种兵之女主的军旅生涯 复制别人就变强 容伽礼X路汐小说 废品灵根修仙，开局得到乾坤袋 邪王嗜宠鬼医狂妃 被人陷害，仙帝重走修仙之路 穿越七零首长大人娇宠小娇妻
许你万丈光芒好
你救了我，我让我爹地以身相许！宁夕意外救了只小包子，结果被附赠了一只大包子。婚后，陆霆骁宠妻如命千依百顺，虐起狗来连亲儿子都不放过。老板，公司真给夫人拿去玩？难道夫人要卖公司您也不管？卖你家公司了？大少爷，不好了！夫人说要把屋顶掀了！还不去帮夫人扶梯子。粑粑，谢谢你给小宝买的大熊！那是买给你妈妈的。老公，这个剧本我特别喜欢，我可以接吗？陆霆骁神色淡定可以。当天晚上，宁夕连滚带爬跑出去。陆霆骁！可以你大爷！！！...
为了不插秧，努力考科举
现代SSS级研究员猝死穿越到大兴朝，身子一直体弱多病，养到六岁才被允许在地里捡稻穗，被晒的头脑发蒙的李景，觉得他这身体以后种地，有些悬，当即决定读书考科举，这他擅长，插秧还是交给专业的人吧！第二年，彼时已取名李意卿的某人自诩身体康复，兴致勃勃要插秧。怎么脚痒痒的李意卿脑子里闪过不好的预感，从水里抬起脚。嚯只见一只黑色蠕动的水蛭趴在他的脚趾缝里吸吮着。啊李意卿...
快穿之大魔王崩坏剧情
（无cp无脑爽文）女主霸道中二神经病大反派，女主不是人！没有人的三观，坏的冒烟，正义之式勿进，圣母勿进。走渣男的路，让渣男无路可走。能动手绝不废话。极品绿茶黑莲花信手拈来，只有你想不到的，没有她做不到的。凤凰男遇到人渣女主哭着喊着求离婚，种田文世界女主反手埋了受伤的人渣皇子，随手救人要不得。团宠文里被打脸的女配，女主拒绝争宠，廉价的亲情，不要也罢，我自美丽高贵。宠妾灭妻的王爷？直接刀了他，从源头解决问题当个作威作福的寡妇王妃。挡箭牌贵妃？把皇帝玩成身宽体臭的胖子，皇帝死不瞑目。一胎五宝世界的炮灰前妻？再送霸总三十个孩子，让他养到破产。娱乐圈被黑的影后？不好意思，转行当狗仔了，影后谁爱当谁当。被夺取气运的天命之女？极品绿茶黑莲花了解一下？渣男男主被骗感情挖金丹，死不瞑目。清穿四福晋，穿越女仗着知道历史抢位置，反手把史书印成一万本，所有人都知道了。...
穿成团宠恶婆婆，逃荒路上开挂了
全能大佬盛姒继承了祖传的农场后意外穿越成了农家恶婆婆，糟心的是他们正在逃荒的路上，没吃没喝。盛姒倒是不怕，列祖列宗保佑，随身农场良田百亩，瓜果飘香，吃喝是不愁的。可头疼的是一群不省心的儿女。大女儿唯唯诺诺，被夫家厌弃。大儿子重男轻女一心想要生个儿子。二儿子两口子加起来一万个心眼子。三儿子傻，四儿子哑。小女儿刁蛮任性，眼瞎心盲死活要嫁给个渣男。倒霉的盛姒也有运气不错的时候，意外救了个男人，居然是个神秘大佬。面对穷追不舍的男人，盛姒表示咱俩不配。许望安微微一笑你是女人，我是男人？怎么不配？你克夫，我克妻，天生一对，天造地设，天长地久，天天在一起...
我在诸天轮回封神
龙城争霸中，他是洪盛联的双花红棍，打遍全港字头无敌手的悍龙杨晟。港鬼魅影中，他是末代天师传人，周旋在金霄大厦的鬼怪妖异之中。庙堂江湖中，他是镇武堂大都督，权倾朝野，心狠手辣，掀起江湖血雨。高武江湖末...
盖世神医混都市
为女友负债累累，却被背叛羞辱，本以为死定了，却获得了无上传承。至此改变人生，不仅美女蜂拥，权贵臣服，更是富贵滔天！曾经欺我辱我者，都将通通踩在脚下。医术，能救死扶伤，也能惩恶除害！...