AIインテリジェンスOct 12, 2026AIインテリジェンス
記事
Google DeepMindのAlphaProof Nexusは、Science誌に掲載された研究によると、数十の未解決の数学問題を解き…
…そのうち9つのErdős問題(うち2つは56年間未解決だった)を解決した。この発表は、OpenAIが査読なしでGitHubにAI証明を投げ込んだとしてボイコットに直面している中で行われた。
AI生成:要約はリンク先の情報源をもとにAIが作成しています。 AIの利用について
AI生成出典: The Decoder