7 ms·
Perfect match for this test: https://arxiv.org/abs/2602.05192 https://arxiv.org/abs/2602.05192
by amiune 7mo ago
Perfect match for this test: https://arxiv.org/abs/2602.05192 https://arxiv.org/abs/2602.05192
- dang 7mo agoDiscussed here: First Proof - https://news.ycombinator.com/item?id=46924591 https://news.ycombinator.com/item?id=46924591 - Feb 2026 (122 comments)
- bwfan123 7mo agoHeres the result [1] [1] https://www.scientificamerican.com/article/first-proof-is-ais-toughest-math-test-yet-the-results-are-mixed/ https://www.scientificamerican.com/article/first-proof-is-ai...
- noosphr 7mo agoThis 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.