動察 Beating の監視によると、OpenAI は初めて次世代の主力モデル Astra を正式に発表しました。内部バージョンは、10 の長年にわたり未解決だった数学および理論コンピュータ科学の問題で新たな成果を収めました。これらの問題の核心的な結論は少なくとも10年間進展がなく、多くはそれ以上長い間停滞していました。そのうちいくつかの問題は直接解決または反証されました。Astra は群論における核心的な未解決問題である非 sofic 群を初めて構成し、Connes の剛性予想を反証し、Erdős の3つの問題を解決しました。その他の成果には、球体充填、符号理論、量子複雑性、および後量子暗号に関連する問題における新しい上下界と困難性の証明が含まれます。OpenAI は、モデルがこの10の成果を導き出すために使用したトークン数が、Sol API の価格に基づいて約2000ドルに相当すると述べています。これらの数学的証明は Astra が生成し、人間がその後論文として整理するのを支援し、モデルは各証明を Lean 証明書に変換して、コンピュータが段階的に推論の妥当性を検証できるようにしました。OpenAI は論文、証明書、およびモデルの推論プロセスを公開しています。
OpenAIの新モデルAstraが、10の長年の数学問題を解決
MarsBit共有
概要
OpenAIは、10年以上にわたり進展がなかった数学および理論計算機科学の課題を10問解決した新しいモデル「Astra」をリリースしました。これらの課題の多くは数十年にわたり未解決でした。Astraは、初の非ソフィック群の構築やコンネス剛性予想の反証を含む主要な課題を解決または反証しました。その成果には、球詰め問題と量子耐性暗号における進展も含まれます。OpenAIはSol APIを通じて約2,000ドル分のトークンを使用しました。人間が証明を論文に整理し、Lean証明書に変換して検証を行いました。OpenAIはすべての資料を公開しました。暗号資産への長期投資において、AI開発におけるこれらのサポート・レジスタンスポイントを理解することは、今後の市場動向を形作るでしょう。
出典:原文を表示
免責事項: 本ページの情報はサードパーティからのものであり、必ずしもKuCoinの見解や意見を反映しているわけではありません。この内容は一般的な情報提供のみを目的として提供されており、いかなる種類の表明や保証もなく、金融または投資助言として解釈されるものでもありません。KuCoinは誤記や脱落、またはこの情報の使用に起因するいかなる結果に対しても責任を負いません。
デジタル資産への投資にはリスクが伴います。商品のリスクとリスク許容度をご自身の財務状況に基づいて慎重に評価してください。詳しくは利用規約およびリスク開示を参照してください。