First Proof · HackerPapers discussions

First Proof — mentioned by YeGoblynQueenne

Wed, 13 May 2026 11:44:26 GMT

These are different cases, yes? The person in the SA article you link is described as an "amateur", but Timothy Gowers is not an amateur and he is much more capable of guiding an LLM with domain expertise than an amateur. Then there's the kind of problem we're talking about. The "amateur" in the SA article solved one of Erdős problems and Gowers himself seems to think that, on its own, is not a cause for concern. He distinguishes his own result from that kind of earlier result at the start of his article: >> The background is that, as has been widely reported, LLMs are now capable of solving…

Paper and discussion history. A mention is not an endorsement.

First Proof — HN submission

Tue, 10 Mar 2026 17:21:04 GMT

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

Regarding: https://arxiv.org/abs/2602.05192 Introduction The First Proof paper (Abouzaid et al., 2026) aims to evaluate AI capabilities through a set of research-level mathematical problems. While the mathematical content of the questions is not in dispute, the experimental design suffers from significant methodological gaps that undermine the authors' primary conclusions. Specifically, the paper conflates binary outcomes with processual states, lacks independent verification protocols, and exhibits an asymmetric approach to transparency. This review examines five core logical inconsistencies…

1 point; 0 discussion replies on HN. Paper and source history. A submission is not an endorsement.

First Proof — mentioned by amiune

Sun, 15 Feb 2026 19:05:57 GMT

Perfect match for this test: https://arxiv.org/abs/2602.05192

Paper and discussion history. A mention is not an endorsement.

First Proof — mentioned by blinding-streak

Fri, 13 Feb 2026 08:05:44 GMT

As a non-mathematician, reading these problems feels like reading a completely foreign language. https://arxiv.org/html/2602.05192v1

Paper and discussion history. A mention is not an endorsement.

First Proof — HN submission

Sat, 07 Feb 2026 15:25:49 GMT

First Proof

https://www.nytimes.com/2026/02/07/science/mathematics-ai-pr... https://www.scientificamerican.com/article/first-proof-is-ai...

186 points; 122 discussion replies on HN. Paper and source history. A submission is not an endorsement.

First Proof — HN submission

Fri, 06 Feb 2026 07:00:23 GMT

First Proof

2 points; 1 discussion reply on HN. Paper and source history. A submission is not an endorsement.