OpenAIは、次期主力モデル「Astra」の社内版により、数学や理論計算機科学の未解決問題10件で新たな結果を得たと発表した。「Astra」の名称公表は初とみられる。計算コストは「Sol」換算で約2000ドルに抑えられ、証明支援系「Lean」による形式証明もGitHubで公開。高度な数学研究への応用可能性を示した。
アンソロピック、評価額141兆円でOpenAI超えへ──人類史上最大の資金調達ラウンド（Forbes JAPAN） - Yahoo!ニュース
Windows 11 Insider Preview Build 26220.7271がリリース - Dev/Betaチャンネル向け、AI エージェントのタスクバー統合など
AWS Glue Data Catalog での Apache Iceberg マテリアライズドビューのご紹介
退職して博士進学してしまった結果...www｜akiraTOSEI
Aurora DSQLのN+1問題をAI(Kiro)で90秒→8秒に改善してみた。
まだコメントはありません。
コメントを送信しました。
AIニュース
