美国普林斯顿大学数学系教授，韩国裔教授许埈珥获得2022年菲尔兹奖，介绍说：许埈珥将霍奇理论（Hodge theory）引入到组合学中，证明了几何格上的道林—威尔逊猜想（Dowling–Wilson conjecture）、拟阵上的海伦—罗塔—威尔士猜想（Heron–Rota–Welsh conjecture）、强梅森猜想（strong Mason conjecture），推动了洛伦兹多项式理论（theory of Lorentzian polynomials）的发展。

许埈珥说：“定理1（四色定理（阿佩尔与哈肯，1976年））。每个平面图都可以用4种颜色进行恰当着色。四色猜想最初由弗朗西斯·格思里于1852年提出（针对平面地图的对偶形式），后经肯尼斯·阿佩尔和沃尔夫冈·哈肯于1976年证明”。

其实，四色定理在130年前已经被A德摩根证明，详见链接：

【　　　】130年前A德摩根就证明了四色定理--只是数学家不懂逻辑学误解了 - 经管之家

[color=inherit !important]

其实论文错误百出，狗屁不通。

许埈珥还多次用归纳法证明，荒唐可笑。归纳法只能预测，不能证明。

为什么不能用归纳法证明？

因为设立命题时是使用少量样本归纳出来的，再用少量样本证明，就不可靠了。

用哥德巴赫猜想举例：

原始信息（6=3+3，8=3+5，..。就是逐一归纳有限的样本，具有某种性质（两个素数之和），于是归纳推出“哥德巴赫猜想”推导出（预测）有无穷多个的数量样本的偶数也具有某种性质）。

在有限数量基础上归纳产生的猜想，通过演绎证明是不对等的。

归纳是在一个有穷大的样本中逐一列举, 只要样本空间没有被穷尽, 使用的都是简单枚举归纳推理。

而命题是对于无穷大的样本, 我们根本不可能穷尽该样本空间, （例如哥德巴赫猜想中的偶数就有无穷多个）因此只能使用简单枚举归纳推理，简单枚举归纳推理是一种扩大了前提条件的推理, 它的结论是不可靠的。

使用归纳推理提出假说, 其假说是非常脆弱的, 因为对它的逐一证实是绝对不可能的, 除非你穷尽样本空间, 而一旦这样, 你使用的已经不是归纳推理了。

它的脆弱性体是：只要一个反例, 就可以推翻这个假说命题。

溯因推理借助不完全归纳，预测成为一个命题叫做猜想（证明一个猜想是告诉你结果，让你按照规则找出原因-过程的必然性，把道理讲清楚）。

归纳只能预测，不能证明。