Mistral AI released Leanstral 1.5, a code agent model for the Lean 4 proof assistant. The 119B-parameter model solves 587 of 672 PutnamBench problems, achieving 100% on miniF2F. Apache 2.0 licensed with free API. 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/ #AIagent #AI #GenAI #AIResearch
Related
The AI bubble isn't just a U.S. phenomenon—it is actively mobilizing idle Japanese capital into high-growth sectors. Whi...
The AI bubble isn't just a U.S. phenomenon—it is actively mobilizing idle Japanese capital into high-growth sectors. While a market correction looms, the fallout will bypass tradit...
いつの間にか、カンナが僕よりかみについて詳しくなってましたですローカルLLMも「ネットを検索して回答」できるんだよね。対応してるアプリ3選 https://www.gizmodo.jp/article/three_local_llm_app...
いつの間にか、カンナが僕よりかみについて詳しくなってましたですローカルLLMも「ネットを検索して回答」できるんだよね。対応してるアプリ3選 https://www.gizmodo.jp/article/three_local_llm_apps_with_web_search/#Apple #LLM #news #bot
🕹️ Socket Frontend Now Has GB, GBC, Xbox & Xbox 360 Support🤝Don't want to see ads? Become a premium member for $3 a mont...
🕹️ Socket Frontend Now Has GB, GBC, Xbox & Xbox 360 Support🤝Don't want to see ads? Become a premium member for $3 a month and support an independent publication today!You may have ...