【提供：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 algebra（コミュタティブ・アルジェブラ、可換環論）／arXiv（アーカイブ、論文プレプリントサーバー）／hallucination（ハルシネーション、AIの事実誤認）／formal verification（フォーマル・ベリフィケーション、形式的検証）／Riemann Hypothesis（リーマン予想）／P vs NP problem（P対NP問題）／TechRadar（テックレーダー）／South China Morning Post（サウスチャイナ・モーニング・ポスト）
【数値】12年未解決／80時間／2014年提起／享年73歳／2026年4月4日論文投稿

2. App Storeが再び活況、AIコーディングツール普及で新規アプリ登録数が前年比60〜104%増
【用語・固有名詞】App Store（アップストア）／Google Play（グーグル・プレイ）／Appfigures（アップフィギュアズ、アプリ市場調査会社）／Greg Joswiak（グレッグ・ジョスウィアック、愛称Joz／ジョズ、Appleマーケティング担当上級副社長）／Claude Code（クロード・コード、Anthropic製AIコーディングツール）／Replit（レプリット）／Cursor（カーソル、AIコーディングエディタ）／Anthropic（アンソロピック、Claude開発元）／vibe coding（バイブコーディング）／RevenueCat（レベニューキャット、サブスク管理ツール）／churn（チャーン、解約率）／TechCrunch（テッククランチ）／Qiita（キータ）／Zenn（ゼン）／NVIDIA（エヌビディア）
【数値】2026年第1四半期／前年同期比60%増（両ストア合計）／80%増（iOS単独）／4月は104%増／89%増（iOS4月）／AIアプリの年間サブスク解約が非AI比で約30%早い／Claude Pro月額20ドル（約3,176円）／NVIDIA導入規模3万人

3. コーネル大学講師が学期に1回タイプライターで課題、AI時代のアナログ教育
【用語・固有名詞】Cornell University（コーネル・ユニバーシティ、米アイビーリーグ）／Grit Matthias Phelps（グリット・マティアス・フェルプス、コーネル大学ドイツ語講師）／Ithaca, N.Y.（イサカ、ニューヨーク州）／typewriter（タイプライター）／QWERTY keyboard（クワーティ・キーボード）／generative AI（ジェネレーティブ・エーアイ、生成AI）／Catherine Mong（キャサリン・モン、コーネル大学1年生）／Ratchaphon Lertdamrongwong（ラチャポン・ラートダムロンウォン、コーネル大学2年生）／ChatGPT（チャットジーピーティー）／AP通信（アソシエイテッド・プレス）／Sentinel Colorado（センチネル・コロラド）／東京大学／東京外国語大学／慶應義塾大学／京都大学／飯吉透（いいよし・とおる、京都大学教授）／University of Reading（ユニバーシティ・オブ・レディング、英レディング大学）
【数値】学期に1回実施／2023年春開始／数十台のタイプライター／2026年3月20日取材日／Catherine Mong 19歳／教授の誤認率94%（ChatGPT-4執筆レポートを人間と誤判定、英レディング大学の研究）

※本配信内の金額換算は 1ドル=158.84円（2026年4月19日時点）で計算しています