Lyria

AI・IT

今日のAIニュース5選|GPT-6 AstraがCodexへ、Claudeがフェルマー最終定理を形式化、OpenAI Daybreak【2026年9月5日】

今日のAIニュース5選AIができる仕事の範囲が、また一段広がっています。これまでは質問へ答える、文章を書く、画像を作るといった「人の作業を補助するAI」が中心でした。ところが今は、PCやブラウザを使いながら長時間の実装を進める、数学の証明を...