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

ポッドちょっと放送局 · Apr 18, 2026 · 20m

【提供：Podchotto（ポッドちょっと） － ポッドキャストとの、偶然の出会いを。】

https://podchotto.com

あなたの制作・運営しているポッドキャスト番組も無料でお気軽に登録可能です。またリスナーもユーザー登録の必要がありません。

この配信で話されている内容は誤認や思い込み、ハルシネーションが多々含まれますのでお気を付けください

パーソナリティ：YOSHIO

📋 本日のYOSHIO's Report 2026年4月19日（日）

1. 中国AIが12年来の数学未解決問題「アンダーソン予想」を80時間・ほぼ無人で解き、証明まで自動化

【用語・固有名詞】Peking University（ペキン・ユニバーシティ、北京大学）／Archon（アーコン、形式的証明を行うAIエージェント）／Rethlas（レスラス、自然言語で推論するAIエージェント）／dual-agent framework（デュアル・エージェント・フレームワーク）／Dan Anderson（ダン・アンダーソン、元アイオワ大学教授、2022年死去）／Anderson's conjecture（アンダーソン予想）／commutative…