4. Formalizing Fermat's Last Theorem (www.anthropic.com)
618 points by jlebar 15 hours ago | 385 comments
8. GPT-6 Astra on OpenRouter (openrouter.ai)
226 points by Topfi 12 hours ago | 131 comments
14. Artificial Analysis Intelligence Index v4.2 (artificialanalysis.ai)
118 points by nojs 10 hours ago | 41 comments
16. Can guitar frets perform multiplication? (www.charlespetzold.com)
19. IBM Bob (bob.ibm.com)
270 points by artpar 21 hours ago | 290 comments
27. Decompiler Explorer (dogbolt.org)
86 points by tripdout 3 days ago | 5 comments
29. RSA-260 Factorized (twitter.com)
114 points by samyok 2 days ago | 62 comments
Scroll for more..