[amiune]

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

[dang]

Discussed here: First Proof - https://news.ycombinator.com/item?id=46924591 - Feb 2026 (122 comments)

[bwfan123]

Heres the result [1]

[1] https://www.scientificamerican.com/article/first-proof-is-ai...

[noosphr]

This is what everyone who uses llms regularly expected. Good results require a human in the loop and the internet is so big that just about everything has been done there by someone. Most often you.