Links for 2025-02-20
AI
1. Evo 2, a DNA foundation model trained on 9T DNA base pairs, with state-of-the-art performance across a wide variety of biologically relevant tasks https://blogs.nvidia.com/blog/evo-2-biomolecular-ai/
2. Like human brains, large language models reason about diverse data in a general way https://news.mit.edu/2025/large-language-models-reason-about-diverse-data-general-way-0219
3. Magma: A Foundation Model for Multimodal AI Agents https://arxiv.org/abs/2502.13130
4. From Informal to Formal -- Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs https://arxiv.org/abs/2501.16207
5. Rethinking Fine-Tuning when Scaling Test-Time Compute: Limiting Confidence Improves Mathematical Reasoning https://arxiv.org/abs/2502.07154
6. NaturalReasoning: Reasoning in the Wild with 2.8M Challenging Questions https://arxiv.org/abs/2502.13124
7. Learning to Reason at the Frontier of Learnability https://arxiv.org/abs/2502.12272
8. Scaling Test-Time Compute Without Verification or RL is Suboptimal https://arxiv.org/abs/2502.12118
9. Go Grok Yourself https://www.lesswrong.com/posts/WNYvFCkhZvnwAPzJY/go-grok-yourself
10. The Ultra-Scale Playbook: Training LLMs on GPU Clusters https://huggingface.co/spaces/nanotron/ultrascale-playbook
11. Europe risks becoming a ‘museum' if it doesn't innovate in AI and deregulate, Swedish PM warns https://www.nbcnewyork.com/news/business/money-report/europe-risks-becoming-a-museum-if-it-doesnt-innovate-in-ai-and-deregulate-swedish-pm-says/6156931/
Brains and Intelligence
1. How to Make Superbabies https://www.lesswrong.com/posts/DfrSZaf3JC8vJdbZL/how-to-make-superbabies
2. Have you ever been curious about how we might map entire mammalian brains with sufficient resolution to capture synaptic connections between neurons? Comparative prospects of imaging methods for whole-brain mammalian connectomics https://www.cell.com/cell-reports-methods/fulltext/S2667-2375(25)00024-4
3. A two-and-a-half-year-old girl shows no signs of a rare genetic disorder, after becoming the first person to be treated for the motor-neuron condition while in the womb. https://www.nature.com/articles/d41586-025-00534-0 [no paywall: https://archive.is/Cefrd]
Technology
1. Microsoft announces quantum computing breakthrough with new Majorana 1 chip https://news.microsoft.com/source/features/ai/microsofts-majorana-1-chip-carves-new-path-for-quantum-computing/
2. Cramming 1568 Tokens into a Single Vector and Back Again: Exploring the Limits of Embedding Space Capacity https://arxiv.org/abs/2502.13063
3. Catalytic Computing Taps the Full Power of a Full Hard Drive https://www.quantamagazine.org/catalytic-computing-taps-the-full-power-of-a-full-hard-drive-20250218/
Math and Philosophy
1. Tegmark's Mathematical Universe Defeats Most Proofs Of God's Existence https://www.astralcodexten.com/p/tegmarks-mathematical-universe-defeats
2. Simple proofs: Pi is transcendental https://mathscholar.org/2025/02/simple-proofs-pi-is-transcendental/
3. Paul Erdős didn't understand the Monty Hall Problem and got really mad at the explanation https://www.reddit.com/r/math/comments/181lrm0/comment/kadz7tz/
AI
1. Evo 2, a DNA foundation model trained on 9T DNA base pairs, with state-of-the-art performance across a wide variety of biologically relevant tasks https://blogs.nvidia.com/blog/evo-2-biomolecular-ai/
2. Like human brains, large language models reason about diverse data in a general way https://news.mit.edu/2025/large-language-models-reason-about-diverse-data-general-way-0219
3. Magma: A Foundation Model for Multimodal AI Agents https://arxiv.org/abs/2502.13130
4. From Informal to Formal -- Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs https://arxiv.org/abs/2501.16207
5. Rethinking Fine-Tuning when Scaling Test-Time Compute: Limiting Confidence Improves Mathematical Reasoning https://arxiv.org/abs/2502.07154
6. NaturalReasoning: Reasoning in the Wild with 2.8M Challenging Questions https://arxiv.org/abs/2502.13124
7. Learning to Reason at the Frontier of Learnability https://arxiv.org/abs/2502.12272
8. Scaling Test-Time Compute Without Verification or RL is Suboptimal https://arxiv.org/abs/2502.12118
9. Go Grok Yourself https://www.lesswrong.com/posts/WNYvFCkhZvnwAPzJY/go-grok-yourself
10. The Ultra-Scale Playbook: Training LLMs on GPU Clusters https://huggingface.co/spaces/nanotron/ultrascale-playbook
11. Europe risks becoming a ‘museum' if it doesn't innovate in AI and deregulate, Swedish PM warns https://www.nbcnewyork.com/news/business/money-report/europe-risks-becoming-a-museum-if-it-doesnt-innovate-in-ai-and-deregulate-swedish-pm-says/6156931/
Brains and Intelligence
1. How to Make Superbabies https://www.lesswrong.com/posts/DfrSZaf3JC8vJdbZL/how-to-make-superbabies
2. Have you ever been curious about how we might map entire mammalian brains with sufficient resolution to capture synaptic connections between neurons? Comparative prospects of imaging methods for whole-brain mammalian connectomics https://www.cell.com/cell-reports-methods/fulltext/S2667-2375(25)00024-4
3. A two-and-a-half-year-old girl shows no signs of a rare genetic disorder, after becoming the first person to be treated for the motor-neuron condition while in the womb. https://www.nature.com/articles/d41586-025-00534-0 [no paywall: https://archive.is/Cefrd]
Technology
1. Microsoft announces quantum computing breakthrough with new Majorana 1 chip https://news.microsoft.com/source/features/ai/microsofts-majorana-1-chip-carves-new-path-for-quantum-computing/
2. Cramming 1568 Tokens into a Single Vector and Back Again: Exploring the Limits of Embedding Space Capacity https://arxiv.org/abs/2502.13063
3. Catalytic Computing Taps the Full Power of a Full Hard Drive https://www.quantamagazine.org/catalytic-computing-taps-the-full-power-of-a-full-hard-drive-20250218/
Math and Philosophy
1. Tegmark's Mathematical Universe Defeats Most Proofs Of God's Existence https://www.astralcodexten.com/p/tegmarks-mathematical-universe-defeats
2. Simple proofs: Pi is transcendental https://mathscholar.org/2025/02/simple-proofs-pi-is-transcendental/
3. Paul Erdős didn't understand the Monty Hall Problem and got really mad at the explanation https://www.reddit.com/r/math/comments/181lrm0/comment/kadz7tz/