Sponsored: Architecting memory and storage for AI inference

Claude worked largely autonomously over 11 days to write the first complete computer-checked proof of Fermat's Last Theorem in Lean, writing 13 million lines and proving 29,500 intermediate theorems.

A Reddit user shared a video recreating the Neo vs Smith battle from The Matrix Revolutions without the heavy rain, using Minimax. The creator noted the rain was difficult to remove and gave up on fully eliminating it once the fight starts.

MoChiAgent, an LLM-based clinical assistant, forecasts maternal and infant diseases from longitudinal EHR data, achieving AUROCs of 0.89 for placental abruption and 0.91 for preterm labour. It was validated on 263,452 maternal and 23,192 infant visits.

Ling-3.0-flash-VL, built on Ling-3.0-flash, adds visual understanding and visual agent capabilities. It performs well across visual perception, STEM reasoning, document intelligence, multimodal agent tasks, frontend coding, and medical report interpretation.

The Robot Report Podcast episode 260 features Eric Sivertson, VP of security business at Lattice Semiconductor, discussing FPGAs, physical AI, and building safe and secure robots. The episode also covers news including NVIDIA's planned acquisition of Hugging Face and Skild AI's S1 robot foundation model.