Science 誌の研究によると、Google Deepmind の AlphaProof Nexus は、数十の未解決の数学問題を解決しました。その中には 9 つのエルデシュ問題が含まれており、そのうちの 2 つは 56 年間未解決でした。この出版は、OpenAI がボイコットに直面している中で行われました。
新しいモデルは、機能と価格パフォーマンスの最前線をリセットします。チームは、ローンチによって 1 ドルあたりの可能性が変わるたびに、何を構築するかを再評価します。
概要は情報提供のみを目的としてまとめられています。全文についてはソース リンクを参照してください。デモのエントリは一例です。