数学の自動形式化を手がける Math Inc. が開発した AI システム「 Gauss 」が、数学界で大きな話題を呼んでいます。フィールズ賞受賞者らが 18 カ月以上格闘していた「強い素数定理( Strong Prim
続きを読む
数学の自動形式化を手がける Math Inc. が開発した AI システム「 Gauss 」が、数学界で大きな話題を呼んでいます。フィールズ賞受賞者らが 18 カ月以上格闘していた「強い素数定理( Strong Prim
続きを読むHTC は 2025 年 8 月 14 日、AI 機能を搭載したスマートグラス「 VIVE Eagle 」を発表しました。この製品は Meta の Ray-Ban スマートグラスに対抗するもので、日常使いを意識したデザイ
続きを読む元メディア幹部の夫妻が運営するスタートアップ House of Highways が 2025 年 8 月 11 日、RV (キャンピングカー)での移動生活者に特化した AI 搭載旅行コンパニオンアプリ「 HoH+ 」を
続きを読むWikipedia を運営する Wikimedia Foundation は、AI 開発者による自動スクレイピングの増加に対応するため、Google 傘下のデータサイエンスプラットフォーム「 Kaggle 」と提携し、機
続きを読む2024年のノーベル化学賞は、Google DeepMindのデミス・ハサビス(Demis Hassabis)とジョン・ジャンパー(John Jumper)、およびワシントン大学のデビッド・ベイカー(David Bake
続きを読む2024年のノーベル物理学賞が、機械学習と人工ニューラルネットワークの分野で画期的な業績を上げたGeoffrey HintonとJohn Hopfieldに共同で授与されました。 John Hopfieldはプリンストン
続きを読む