二二章 四色
迄今止，提“四色定理”，法类已掌握数证明。
否味，类需接受计算机给，并非显明、仅仅限穷举谓证明呢，见仁见智问题。
与数界诸高深问，四色定理，寻常眼懂，即便其背蕴含数原则必极高深，却并妨碍类经由观察、思考，再加点特直觉洞察，主观倾向认“猜正确”。
即便此，计算机限穷举，算算严格证明四色定理呢；
方此持谨慎否定态度。
持否定态度，并非，眼计算机切证明、推演，毫价值，像“四色定理”问题，暴力验证段，目标空间穷，穷举法实已经失效，论纸笔，计算机逻辑电路与电磁波进，改变原则性实。
此类问题，迄今止，计算机并被认力：
超越类分析、洞察与推理，独立解决力及科领域难题。
换句话，按it领域句公理，至少目止容置疑结，“做，计算机做”。
“”与“”，考虑间、资源等因素提，进判断。
任何命题，倘若，类，类文明，始终维持认识水平，即便花费再长间法解决，计算机言，即便限长间，命题注定法解决。
演绎数领域，原则，证命题，计算机定证。
判断，仅it领域，科领域共识，直今，明确迹象表示，计算机够突破限制，具备超越脑智慧。
至工智，名称，仿佛计算机因此具智慧，实质却架构层模仿，试图利算法、乃至硬件模拟类脑神经元活，具备此独习、记忆、联乃至推断力。
指导思抵此，具体每实策略，论神经网络、深度习，效果本质相近。
与类脑相比，目ai体系，论软件层算法架构，硬件层逻辑电路、存储器件，远超脑数值计算力数值存储空间，，却直实远超类识思维力。
“际商机器”夏洛特研，负责工智方向aig1~5主攻领域，方aig4，“阿尔法”组主方向新架构，即改变硬件基础数字逻辑电路条件，提创造性新模式，试图造力更加强工智，或者，让工智算力需求幅降。
与沿探索“阿尔法”组，“贝塔”组方向，则更加实，专注工智体系调整、优化，应平台混合ai与传统逻辑模块，提升系统实际性。
【推荐，野果阅读追书真，载 快试试吧。】
新，始“贝塔”组工，很安排。
夏洛特信息基础研，若干aig组，试方肯*汤普森则项目负责，五aig组管，必很忙，夏洛特很，方见本。
除非讨论，倒通投影屏幕见两三次，毕竟场。
目标明确，组负责带新工程师挺友善，认识展力、显露才华，才愿偿留研，方很投入，组资历更老其员工，每准工室，班间，住处电脑继续忙碌。
资平平，眼切全凭实打实努力，方清楚斤两。
投入度，全受眼目标驱使：身几乎刺探、评估夏洛特研切，“努力什程度才留ibm”，方很握。
工智，具体讲，未工智，究竟展什程度，确很感兴趣，既工需，索性全身投入其，先尝试解决内早已、却始终解答困惑：
正四色定理证明，原则，并计算机超越证据；
知，计算机、工智、化体系力限，究竟哪，智慧、思维、力，切新物花板。
法解决问题，原则，计算机更法解决。
直久，，直坐电脑思考刻，方清楚知，句话工程界、计算机界乃至科界共识。
未尚未知，眼形却容置疑，迄今止，类创造切计算机、智系统与化体系，虽很领域具令望尘莫及强力量，诸实翻译、驾驶棋类弈等领域呈碾压性优势，逻辑推导、思维推断层，却根本取任何实质性突破。
直今，任何数猜，仍需由证实、或者证伪；
倘若某猜，被计算机严密证明、或者证伪，必定智慧幕操纵，计算机，则节约间、节约命力工具。
实形此，，未何；
智慧，逻辑思维，分析、理解、洞察，切垄断间，久……
每工深夜，十点准离电脑、洗漱寝，方脑海差被模型、架构分析测试充斥，稍闲暇，被脑海萦绕念头吸引。