Haber AI — テクノロジーと科学のニュース要約

世界の情報源 AIによる要約 出典を明示
ニュース

注目の記事

アーカイブ 9795 件
Quanta Magazine

OpenAI、Navier-Stokes問題を解決か

OpenAIは、1万の自律的エージェントを用いてNavier-Stokes方程式の有限時間発散点を発見し、Lean言語で正式に証明したと発表した。これが100万ドルのミレニアム問題の解答となる可能性がある。

記事を読む