Ossuary Lost at Sea personal blog

The Dark Night of Mathematics

by Kirwin Hampshire kirwinhampshire.substack.com published 2026-07-25

What are we really doing?

Points

236

HN comments

308

Submissions

1

Cited by

0 commenters

Math & AlgorithmsLife, Learning & Writing2026

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