conv.

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

Mathematician encourages deeper understanding of the proof

2 Sep 18 1:10 PM · 8d ago · 1 post · 1 comment · 2 sources · development 2 of 5

A trained but amateur mathematician commenter recommends that the author continue working to understand the proof itself rather than relying solely on AI output, suggesting verification of individual proof components and simplification to achieve personal comprehension.

“I'd recommend continuing on the simplification and understanding route, until you yourself can follow the proof.”

pretzellogician

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
1–5Mathematician encourages deeper…
Sep 19Sep 20Sep 21Sep 22Sep 23Sep 24yesterdaynow · 4:31 PM ET

What people said 1 voice · verbatim

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

Hacker NewsNewswiresMastodon