conv.

← The whole story
AI
Programmer claims AI-assisted proof of 50-year-old Conway conjecture

Commenters frame AI-assisted math as 'sorcery' vs. 'wizardry'

Multiple Hacker News commenters develop an analogy comparing AI-assisted mathematics to sorcery (summoning supernatural beings to perform magic without understanding it) versus traditional mathematics as wizardry (deep study and understanding of arcane knowledge). This frames the philosophical question of whether AI theorem-finding without deep human understanding constitutes legitimate mathematical progress.

“Computing has historically been a field of wizardry… The magic of 'wizards' is fundamentally based on a deep study and understanding of arcane things.”

gbjcantab

m-hodges Programmer, proof authorClaude (Anthropic) AI modelJohn Conway Mathematician, originator of conjecture

The whole story articlespostscomments the bright band is this development · numbered dots are the others · click one to jump

Peak 9 pieces in two hours at Sep 18, 10 AM; 32 pieces over 8 days (2 articles · 3 posts · 27 comments) Sep 18, 10 AM — 9 pieces · 2 articles · 1 post · 6 comments — Hacker News 7, Newswires 2Sep 18, 12 PM — 9 pieces · 1 post · 8 comments — Hacker News 8, Mastodon 1Sep 18, 2 PM — 3 pieces · 3 comments — Hacker News 3Sep 18, 4 PM — 3 pieces · 3 comments — Hacker News 3Sep 18, 6 PM — 4 pieces · 1 post · 3 comments — Hacker News 3, Mastodon 1Sep 18, 8 PM — quietSep 18, 10 PM — 2 pieces · 2 comments — Hacker News 2Sep 19, 12 AM — 1 piece · 1 comment — Hacker News 1Sep 19, 2 AM — quietSep 19, 4 AM — quietSep 19, 6 AM — quietSep 19, 8 AM — quietSep 19, 10 AM — quietSep 19, 12 PM — quietSep 19, 2 PM — quietSep 19, 4 PM — quietSep 19, 6 PM — quietSep 19, 8 PM — quietSep 19, 10 PM — quietSep 20, 12 AM — quietSep 20, 2 AM — quietSep 20, 4 AM — quietSep 20, 6 AM — quietSep 20, 8 AM — quietSep 20, 10 AM — quietSep 20, 12 PM — 1 piece · 1 comment — Hacker News 1Sep 20, 2 PM — quietSep 20, 4 PM — quietSep 20, 6 PM — quietSep 20, 8 PM — quietSep 20, 10 PM — quietSep 21, 12 AM — quietSep 21, 2 AM — quietSep 21, 4 AM — quietSep 21, 6 AM — quietSep 21, 8 AM — quietSep 21, 10 AM — quietSep 21, 12 PM — quietSep 21, 2 PM — quietSep 21, 4 PM — quietSep 21, 6 PM — quietSep 21, 8 PM — quietSep 21, 10 PM — quietSep 22, 12 AM — quietSep 22, 2 AM — quietSep 22, 4 AM — quietSep 22, 6 AM — quietSep 22, 8 AM — quietSep 22, 10 AM — quietSep 22, 12 PM — quietSep 22, 2 PM — quietSep 22, 4 PM — quietSep 22, 6 PM — quietSep 22, 8 PM — quietSep 22, 10 PM — quietSep 23, 12 AM — quietSep 23, 2 AM — quietSep 23, 4 AM — quietSep 23, 6 AM — quietSep 23, 8 AM — quietSep 23, 10 AM — quietSep 23, 12 PM — quietSep 23, 2 PM — quietSep 23, 4 PM — quietSep 23, 6 PM — quietSep 23, 8 PM — quietSep 23, 10 PM — quietSep 24, 12 AM — quietSep 24, 2 AM — quietSep 24, 4 AM — quietSep 24, 6 AM — quietSep 24, 8 AM — quietSep 24, 10 AM — quietSep 24, 12 PM — quietSep 24, 2 PM — quietSep 24, 4 PM — quietSep 24, 6 PM — quietSep 24, 8 PM — quietSep 24, 10 PM — quietYesterday, 12 AM — quietYesterday, 2 AM — quietYesterday, 4 AM — quietYesterday, 6 AM — quietYesterday, 8 AM — quietYesterday, 10 AM — quietYesterday, 12 PM — quietYesterday, 2 PM — quietYesterday, 4 PM — quietYesterday, 6 PM — quietYesterday, 8 PM — quietYesterday, 10 PM — quietToday, 12 AM — quietToday, 2 AM — quietToday, 4 AM — quietToday, 6 AM — quietToday, 8 AM — quietToday, 10 AM — quietToday, 12 PM — quietToday, 2 PM — quiet 1–5
Sep 19Sep 20Sep 21Sep 22Sep 23Sep 24yesterdaynow · 4:30 PM ET

What people said 7 voices · verbatim

All 5 developments of Programmer claims AI-assisted proof of 50-year-old Conway… →

Hacker NewsNewswiresMastodon