Palomar registry

Mentions · 7d0
Mentions · 30d0
All mentions1
First seenSep 18, 2026
Last mentionedSep 18, 2026

Timeline

1 articles · newest first

I Vibed a Proof of Conway's Conjecture

A developer claims Claude produced a Lean-formalized proof of Conway's 50-year-old refinement conjecture about omnific integers.

Hacker News · securitySep 18, 14:36 UTC · Sep 18, 2026AI research HN 36 points · 13 comments2

Appears with

Anthropicvendor · 1
Claudeai model · 1
Leanproduct · 1

Entities are extracted by the model from each article. First seen Sep 18, 2026, last mentioned Sep 18, 2026. Watching keeps it in this browser only (no account); the watchlist page and dashboard alerts use it.