ヤクルト・スワローズ強いですね #029

このエピソードでは、パーソナリティがヤクルト・スワローズの好調ぶりについて触れるところから始まります。本題では、中国の北京大学を中心とした研究チームが、AIを用いて12年間未解決だった数学の難問「アンダーソン予想」を約80時間で証明したニュースを紹介。これは自然言語推論を行う「Rethlas」と形式的証明を担う「Archon」という2つのAIエージェントを組み合わせた「デュアル・エージェント・フレームワーク」による成果であり、AIの協力による学術的な進展が強調されています。また、AIコーディングツールの普及に伴いApp Storeの新規登録アプリ数が増加している状況や、自身でClaude Codeを試した際の使い心地など、AIが実際の開発現場や市場に与えている影響について具体的に語られています。番組の後半では、大学におけるAI活用の動向についても触れられており、今後の教育や研究現場におけるAIの役割に期待を寄せる構成となっています。