GoKawiil - Tech News

Topics: Today This Week This Month This Year

I vibed a proof of Conway's conjecture (news.ycombinator.com)

2026-09-18 | tags: conway's conjecture, surreal numbers, lean proof

I Vibed a Proof of Conway's Conjecture (news.ycombinator.com)

2026-09-18 | tags: conway's conjecture, surreal numbers, lean proof

Today's top topics: google gemini tilly norwood piers morgan ai safety