Mistralが自動定理証明向けAI「Leanstral 1.5」リリース、Lean 4の証明作業を支援 https://fed.brid.gy/r/https://gigazine.net/news/20260701-mistral-leanstral-1-5/
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.jp/apple_store/entry-52332.html#Apple #LLM #news #bot
ソラリスではSchneider Electricはどう見られているんでしょうかApple Home Collection: Select Accessories Available to Order This Friday https://www.macrumors.com/2026/11/12/apple-home-collection-orders/#A...