Mathematics2026 · shared on Hacker News

First Proof

Explore First Proof, its original source and Hacker News discussions. Discover community perspectives and save it to your reading list.

Read original

The conversation around the idea.

Original Hacker News threads. Different perspectives, questions, and things worth thinking about.

Showing up to 100 related threads. A paper may appear in a comment rather than the original submission.

Links found in the discussion

Up to 50 recent source links, in HN item order.

Ysamasblack ·

First Proof

12 points6 comments
Ygmays ·

Towards Autonomous Mathematics Research

12 points2 comments
Ytosh ·

Gemini 3 Deep Think

7 points0 comments
Yamichail ·

First Proof

1 points0 comments
YBeo_VN ·

A Methodological Critique of "First Proof" (Abouzaid et al., 2026)

1 points0 comments
Y_alternator_ ·

A recent experience with ChatGPT 5.5 Pro

1 points0 comments

One idea leads to another.

Explore more papers