かつてミツバチは、｢ゼロの概念を理解している昆虫｣として世界中のニュースで話題になりました。ところがその後、｢実は数ではなく見た目のパターンを見ていただけでは？｣という反論が登場し、評価は一転。さらにはカリフォルニア州の法解釈で一部のマルハナバチが“ ...

23歳の数学愛好家がOpenAIの大規模言語モデル「GPT-5.4 Pro」を用いて、約60年間未解決だった数学の難問「エルデシュ問題1196番」の証明に成功した。AIは人間の研究者が見落としていた手法を提示し、フィールズ賞受賞者らとの共同論文として公開された。

アメリカのAIスタートアップ「Zyphra」が、AMDのGPUインフラで学習した小型推論向け言語モデル「ZAYA1-8B」を公開しました。ウェイトが公開されており、商用利用も可能となっています。 Zyphra ...