1兆パラメーター規模の謎のAIモデル「Hunter Alpha」が話題になりDeepSeekが密かに「V4」をテストしているのではないかとの臆測が広がるも後にXiaomiのものであることが判明 2026/3/19 AI,
信頼できるAIコーディングを実現するためのオープンソース証明検証基盤「Leanstral」をMistral AIがリリース、重大なボトルネック「人間によるレビュー」の克服を目指す 2026/3/17 AI,