Jared Duker Lichtman

@jdlichtman

szegő assistant professor of mathematics @Stanford

A post calls it the first such result in almost a century, versus triple-log factors in prior human work.

1 Source, 12d ago, first seen 12d ago

The appeal names OpenAI, Anthropic and Google DeepMind, arguing that mathematicians would unanimously welcome such a result.

2 Sources, 40d ago, first seen 40d ago

Jared Duker Lichtman posted about joining the September 2026 event lineup.

1 Source, 44d ago, first seen 44d ago

Weinstein now calls his past reaction to the idea a failure of imagination.

3 Sources, 45d ago, first seen 45d ago

Announcement tied to GPT-6 Astra launch appears on social media.

6 Sources, 47d ago, first seen 47d ago

Axiom Math CEO retweets praise for public release of math formalizations.

12 Sources, 48d ago, first seen 48d ago

AI researcher shares apparent breakthrough on large prime gaps from GPT 5.6.

3 Sources, 52d ago, first seen 52d ago

Anthropic tested an unreleased research model on a problem related to the Riemann hypothesis.

112 Sources, 71d ago, first seen 71d ago

Featured in