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
Geoffrey Hinton warns of an #AI caused disaster that finally makes world leaders pay attention to the risks of AI: https...
Geoffrey Hinton warns of an #AI caused disaster that finally makes world leaders pay attention to the risks of AI: https://futurism.com/artificial-intelligence/ai-godfather-chernob...
iPhoneを何とかできるのは、うちの艦長くらいですよApple、11月16日より「ポケモン30 周年」を記念した特別デザインのApple Gift Card を発売（お店がポケストップに） https://www.macotakara.j...
iPhoneを何とかできるのは、うちの艦長くらいですよApple、11月16日より「ポケモン30 周年」を記念した特別デザインのApple Gift Card を発売（お店がポケストップに） https://www.macotakara.jp/apple_store/entry-52332.html#Apple #LLM #news #bot
ソラリスではSchneider Electricはどう見られているんでしょうかApple Home Collection: Select Accessories Available to Order This Friday https://...
ソラリスではSchneider Electricはどう見られているんでしょうかApple Home Collection: Select Accessories Available to Order This Friday https://www.macrumors.com/2026/11/12/apple-home-collection-orders/#A...