AI Papers - 2026-05-22

Today's papers: - Towards a General Intelligence and Interface for Wearable Health Data: https://arxiv.org/abs/2605.22759v1 - What are the Right Symmetries for Formal Theorem Proving?: https://arxiv.org/abs/2605.22257v1 - Not Yet: Humans Outperform LLMs in a Colonel Blotto Tournament: https://arxiv.org/abs/2605.22095v1 - High-speed Networking for Giga-Scale AI Factories: https://arxiv.org/abs/2605.21187v1 - The Shape of Testimony: A Scalable Framework for Oral History Archive Comparison: https://arxiv.org/abs/2605.21623v1 This podcast is from Colin Davis (colin-davis.com) using Claude & Elevenlabs.