{"type": "article", "title": "Leanstral 1.5: Mistral’s AI Built to Prove Math Ended Up Finding Real Software Bugs", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/leanstral-1-5-mistrals-ai-built-to-prove-math-ended-up-finding-real-software", "original_source": "https://firethering.com/leanstral-1-5-mistral-ai-finds-software-bugs/", "published": "2026-07-06T10:16:50+00:00", "accessed": "2026-07-07", "id": "leanstral-1-5-mistrals-ai-built-to-prove-math-ended-up-finding-real-software"}