News for hackers. Stuff that matters.
Re:The Mathocalypse by housecarpenter on Thursday October 08, 2026 @05:18AM (#50003601)
I don't know much about this controversy, but looking at the Wikipedia page for the Four Color Theorem, it looks like since the initial Appel-Haken result, mathematicians have continued to work on the Four Color Theorem to try to find a simpler proof. So did they really accept it?
Re:The Mathocalypse by rhdunn on Thursday October 08, 2026 @07:07AM (#50004376)
There are a lot of proofs for Pythagoras' Theorem and other theorems.

There are mappings between complex numbers and 2D matrices allowing problems to be solved in either domain.

There's research into The Langlands Program looking to connect number theory and harmonic analysis.

There's research into Category Theory looking to define core concepts and relate them do different fields so that results in one field can be applied to another due to equivalence.

Re:The Mathocalypse by pfdietz on Thursday October 08, 2026 @05:54AM (#50003846)
Finding new simpler proofs happens in traditional manual mathematics too.