数学发烧友进来

来源：百度知道 编辑：UC知道 时间：2024/05/14 12:01:15
四色猜想的理论证明问题：
据说中国科学技术大学信息科学学院陈贤富博士已彻底解决世界数学名题----四色猜想的理论证明问题! 2008年3月19日, 陈贤富博士在中国科学技术大学首次报告关于四色猜想理论证明的研究成果!
谁能帮我找找他的证明过程在哪里，好想知道啊！
(网上搜过了，找到了一个叫李宽的人的证明，就找不到陈贤富博士的啊）
百度百科的四色原理我都编辑过了，怎么可能有答案呢，我就是想完善词条才来问的啊

2006年4月,正在主讲"神经网络"的科大信息学院陈贤富老师突然被自己在黑板上随便画的 5 阶Hopfield联想记忆模型"惊"了片刻.为何5 阶Hopfield联想记忆模型(K5)具有奇特的、"立体的美感"?! 被这一瞬间的灵感触发, 联想起著名的四色问题, 陈贤富博士针对任意简单连通图的k染色问题展开了持续的思索和研究, 终于提出了基于不可约肯普链团的k色猜想, 并于最近彻底攻克"格思里四色猜想"的数学证明问题. 此外,在机器证明方面,陈贤富博士也提出了一个将人类卓越的归纳推理能力与计算机高速的计算能力相结合的证明四色猜想的新方法。基本思路是让机器证明一个规模相当小的染色特例问题（在个人电脑上可以简单方便地验证），再运用数学归纳法，将机器证明的特例归纳推广到一般情形。真可谓"殊途同归,一通百达!"

http://baike.baidu.com/view/374928.html