2. Formalizing Fermat's Last Theorem (www.anthropic.com)
541 points by jlebar 10 hours ago | 338 comments
5. Artificial Analysis Intelligence Index v4.2 (artificialanalysis.ai)
81 points by nojs 4 hours ago | 23 comments
6. GPT-6 Astra on OpenRouter (openrouter.ai)
157 points by Topfi 7 hours ago | 80 comments
9. Can guitar frets perform multiplication? (www.charlespetzold.com)
13. RSA-260 Factorized (twitter.com)
85 points by samyok 2 days ago | 39 comments
19. IBM Bob (bob.ibm.com)
242 points by artpar 16 hours ago | 278 comments
22. Decompiler Explorer (dogbolt.org)
50 points by tripdout 3 days ago | 1 comments
25. Icons as a Service (nravic.com)
31 points by nravic 7 hours ago | 2 comments
Scroll for more..