News for hackers. Stuff that matters.

A comment on The Four Colour Theorem: The first time machines mogged mathematicians. Parent comment

Re:The Four Colour Theorem: The first time machines mogged m... by keybrd-intrrpt on Tuesday October 13, 2026 @06:48PM (#50080025)
> the proof did not explain why

So humans do/did still have a role to play

[ Parent | on HN ]
Re:The Four Colour Theorem: The first time machines mogged m... by avadodin on Tuesday October 13, 2026 @09:29PM (#50081281)
Something as simple as the FCT may have an alternative intuitive proof that humans can relate to.

I do not think it is a given that humans or algorithms can find such a proof for any given problem.

[ Parent | on HN ]
Re:The Four Colour Theorem: The first time machines mogged m... by fhdkweig on Thursday October 15, 2026 @05:06PM (#50110248)
My layman understanding of Godel's Incompleteness Theorem is that you are correct. It states that there are things that are true but no proof can exist (providable by human or AI provers).
[ Parent | on HN ]
Re:The Four Colour Theorem: The first time machines mogged m... by NetMageSCW on Wednesday October 14, 2026 @12:17AM (#50082324)
Unless AI can explain why today.
[ Parent | on HN ]
Re:The Four Colour Theorem: The first time machines mogged m... by shiandow on Wednesday October 14, 2026 @09:56AM (#50087867)
I mean, I guess we still need people for the AI to explain it to.
[ Parent | on HN ]
Re:The Four Colour Theorem: The first time machines mogged m... by Bimos on Wednesday October 14, 2026 @06:11AM (#50085148)
Unless the existence of the reason is also proved.
[ Parent | on HN ]