4. Formalizing Fermat's Last Theorem (www.anthropic.com)
570 points by jlebar 12 hours ago | 353 comments
6. GPT-6 Astra on OpenRouter (openrouter.ai)
183 points by Topfi 9 hours ago | 94 comments
10. Artificial Analysis Intelligence Index v4.2 (artificialanalysis.ai)
97 points by nojs 6 hours ago | 35 comments
13. Can guitar frets perform multiplication? (www.charlespetzold.com)
15. RSA-260 Factorized (twitter.com)
99 points by samyok 2 days ago | 43 comments
21. IBM Bob (bob.ibm.com)
250 points by artpar 18 hours ago | 280 comments
25. Decompiler Explorer (dogbolt.org)
62 points by tripdout 3 days ago | 1 comments
28. Icons as a Service (nravic.com)
36 points by nravic 9 hours ago | 2 comments
Scroll for more..