garvy personal blog

No country for mediocre mathematicians

garvvee.substack.com published 2026-08-17

White lies of AI from a struggling geometer

Points

250

HN comments

147

Submissions

1

Cited by

0 commenters

Math & AlgorithmsSociety, Policy & Culture2026

Related posts from the same era

An OpenAI model has disproved a central conjecture in discrete geometry

OpenAI Blog20261,429 points1,055 commentscited by 13 details

Sharing AI progress in mathematics

OpenAI Blog20261,363 points1,539 comments details

On the Navier–Stokes Millennium Prize Problem

OpenAI Blog20261,346 points1,137 commentscited by 21 details

Fable 5.1 Solves the Cyphral Distich, a 370-year-old cipher

Vals AI Blog20261,218 points570 comments details

Formalizing Fermat's Last Theorem

Anthropic2026773 points512 commentscited by 3 details

Square Theory

Adam Aaronson2025750 points138 comments details