オラクルとエヌビディアは10月27日、オラクルのクラウドOCIで「NVIDIA Vera Rubin
NVL72」と「NVIDIA Vera CPU」の一般提供を始めたと発表した。 OCIのSuperc 米AIスタートアップのAxiom社は、数学史上最大規模とされる有限単純群の分類定理の完全な形式的証明を証明支援言語Leanを用いて達成したと発表した。 約100人の数学者が半世紀をかけて執筆した1万50 『SAISON CARD TOKIO HOT
100』（毎週日曜 13:00-16:54）では、さまざまなデータをもとに世界の音楽シーンからJ-WAVEが厳選した100曲をカウントダウン。 ここでは10