OpenAIは、次期主力モデル「Astra」の社内版により、数学や理論計算機科学の未解決問題10件で新たな結果を得たと発表した。「Astra」の名称公表は初とみられる。計算コストは「Sol」換算で約2000ドルに抑えられ、証明支援系「Lean」による形式証明もGitHubで公開。高度な数学研究への応用可能性を示した。
アンソロピック、評価額141兆円でOpenAI超えへ──人類史上最大の資金調達ラウンド（Forbes JAPAN） - Yahoo!ニュース
Claude Code でフロントエンドデザインを実践する方法（2026年版ガイド）
中国人「ポツダム宣言に基づき、中国は日本本土への駐留権を有している！」→AI「んなもんねぇよ」
リードオタク_X | LEAD OTAKU
メルカリ---大幅反発、米メタの「ミューズ」提供開始で連携と伝わり - 最新株式ニュース
まだコメントはありません。
コメントを送信しました。
AIニュース
