张彧典欲设“百万元四色猜想擂台” - 数学建模社区-数学中国

71岁的山西省盂县县委党校数学高级讲师张彧典，用35年业余时间研究世界著名数学难题“四色猜想”的人工证明，已经取得重大突破。姊妹篇论文《与阿沛尔-哈肯证明四色定理商榷》（《数学学习与研究》2011-21）（详见《阿沛尔不可避免构形浅析》）、《四色猜想的数学归纳法证明》（香港《新科技》2012--1）（详见张彧典搜狐博客中同名博文）已经分别发表。他的论文不仅指出了美国的机器证明中的问题，而且给出完整的人工证明。他的论文已经受到上海师范大学吴望名、山东大学刘桂真、西安的雷明、齐齐哈尔刘福等四色问题专家的初步肯定，但是，他个人对其成果仍然持谨慎态度。为了验证论文的正确性，他设立的“20万元征集反例擂台”已经历时5年之久，至今没有一个四色问题专家能够成功胜出擂台。

如今，他想在全球范围内设立“百万元征集四色猜想的反例擂台”，但是单凭他自己的经济实力很难举办这个擂台赛。因此他希望与国内外有远见卓识的大专院校等教育机构或者企业合作，共同举办之，以便共同打造这个数学名牌，成果共享。