OpenAIは、社内のフロンティアモデルが生み出した数学の成果722本をGitHubで公開した。多くに証明支援系「Lean」による形式証明が付く。数学者らの独立組織AGMAIの提言を参考にしたもので、計算量や推論過程の要約も開示。過去の発表を巡る論争を踏まえ、数学界との対話や理解促進に向けた支援も進める。
アンソロピック、評価額141兆円でOpenAI超えへ──人類史上最大の資金調達ラウンド（Forbes JAPAN） - Yahoo!ニュース
勉強サポート美少女AIがヤンデレ化！？心理ホラー『BrokenLore: MIKI-CHAN』発表―『The Boba Teashop（タピるお茶屋）』新作などホラー3本がアナウンス
一些关于开发的杂谈话题 - 代码审核
北京四环骑行一日游：69 公里 6 小时
NTT Com、「IOWN APN」でGPUサーバーの分散DCを構築--3拠点連携で生成AI学習に成功
まだコメントはありません。
コメントを送信しました。
AIニュース
