About whether an AI that reproduced a known theorem-solving algorithm counts as science.
Has this happened?
Yes 48 (35%)Not sure 45 (33%)No 45 (33%)
Votes cast 1–2 October 2026: 100,590 votes from 9,694 people.
Hacker News has set AI a lot of challenges over the years. Which ones has it met?
About whether an AI that reproduced a known theorem-solving algorithm counts as science.
Votes cast 1–2 October 2026: 100,590 votes from 9,694 people.
However, it just modeled a known algorithm for solving theorems mechanically. 3-SAT predates ML, and it was trained using it. Essentially parroting an algorithm is not science.
Call me again when AI develops a new theorem from scratch, in a concise manner