米オープンAIは10月6日（米国時間）、内部モデルが生んだ数学の成果722編をGitHubで公開した。 関連する成果を束ねた372系統に整理され、多くはLeanによる形式化で計算機が証明を検査できる。 1 “まりちゅう”の愛称で人気を博すグラビアアイドルの長澤茉里奈が8日、SNSに自身の誕生日を祝う投稿をすると、その姿への反響が拡大している。 【写真】「小学生に見える」「眼福です」… 30歳童顔グラドルの体 米グーグル・クラウドは10月8日（米国時間）、企業向け汎用エージェント「Gemini agent」を発表した。 ナレッジ業務やコードの作成・実行を1つのエージェントで担い、Geminiに加えてアンソロピ