conv.

All stories
Running 1m ↳ Anthropic's Claude advances Riemann hypothesis research without solving it

Zeta23 — a Lean 4 formalization of “More than two thirds of the zeros of the Riemann zeta function lie on the critical line”

2 items0 engagement0 comments Techmeme

Conversation activity · last 24 hours peak 2/hr

Peak 2 items in one hour at Aug 10, 3 PM; 2 items over 24 hours Aug 10, 2 AM — no itemsAug 10, 3 AM — no itemsAug 10, 4 AM — no itemsAug 10, 5 AM — no itemsAug 10, 6 AM — no itemsAug 10, 7 AM — no itemsAug 10, 8 AM — no itemsAug 10, 9 AM — no itemsAug 10, 10 AM — no itemsAug 10, 11 AM — no itemsAug 10, 12 PM — no itemsAug 10, 1 PM — no itemsAug 10, 2 PM — no itemsAug 10, 3 PM — 2 itemsAug 10, 4 PM — no itemsAug 10, 5 PM — no itemsAug 10, 6 PM — no itemsAug 10, 7 PM — no itemsAug 10, 8 PM — no itemsAug 10, 9 PM — no itemsAug 10, 10 PM — no itemsAug 10, 11 PM — no itemsAug 11, 12 AM — no itemsAug 11, 1 AM — no items 2 items · 3 PM
Aug 11

Clustered from 2 items across 1 source. Not yet parsed — the coverage below is the raw record.

Press coverage 2

More in this narrative