About whether transformers are already a source of new mathematical theorems.
Has this happened?
Yes 76 (62%)Not sure 30 (25%)No 16 (13%)
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 transformers are already a source of new mathematical theorems.
Votes cast 1–2 October 2026: 100,590 votes from 9,694 people.
Does there exist a person who would make this argument straight-faced? I am a professional mathematician and have yet to hear of anyone coaxing an even slightly interesting new theorem out of AI. I think the day is clearly coming but it's not here.