[7/3 23:00] Mistral AI releases Leanstral 1.5 / TU Dresden LLM + math model maps human decision-making (PNAS)

AI News Flash for July 03, 2026 at 23:00 UTC. Topics: 1. Mistral AI releases Leanstral 1.5 https://www.marktechpost.com/2026/07/03/mistral-ai-releases-leanstral-1-5-an-apache-2-0-lean-4-code-agent-model-solving-587-of-672-putnambench-problems/ 2. TU Dresden LLM + math model maps human decision-making (PNAS) https://neurosciencenews.com/llm-cognitive-mapping-decision-making-30992/ 3. Generative AI + physics simulation designs new antibiotics (Mansbach/Menard, RSC) https://phys.org/news/2026-07-generative-ai-physics-antibiotics.html