你敢挑战俄罗斯杀手几何题吗
最近,《数学译林》有一篇《第二号“俄罗斯杀手”——一个挑战性的几何定理的人脑与机器证明的对比》。下面留学群来说说你敢挑战俄罗斯杀手几何题吗?提到:1998年2月,莫斯科连续数学教育中心的Sergey Markelov寄给王东明五个几何定理.测试他的GEOTHER软件包的能力,其目的在于挑战计算机证明器证明复杂定理的能力.这些定理曾用来为莫斯科队参加全俄罗斯中学数学奥林匹克竞赛作训练,号称为“几何定理的解析方法的杀手”。浏览过五个“杀手”之后,王东明确信GEOTHER在原则上可以证明某些“杀手...