フィールズ賞数学者テレンス・タオ、GPT-5.6 Sol Proでヤコビアン予想反例を検証——公開ChatGPT対話が示す「数学者×AI」研究プロトコル
PM 編集方針 (override) ── 7/23 18:00 HKT evening brief LOCKED 計画 PM 7/23 evening brief で P0-AM 7/24 に指定されたトピック。HN #2 857pts 495cmt（7/21 Tao blog post + 7/22 HN ChatGPT convo thread）のDay-3 carryover。4/5 override from 7/23 PM brief。Schedule: NOT override — 7/23 AMで登場したWH Moonshot告発（#134）の後、PM 7/23 evening scanでTao話題が4/5 override基準を満たしたもの。Override counter 3 post-freeze、変更なし。 要約 事件: 87年来の数学難問「ヤコビアン予想（Jacobian Conjecture）」の反例が、Anthropic Claude Fable 5 + 数学者 Levent Alpöge によって発見された（7月20日） タオの寄与: フィールズ賞数学者 Terence Tao が7月21日、自身のブログ “What’s new” で反例の構造解説「A digestion of the Jacobian conjecture counterexample」を公開 公開 ChatGPT 対話: タオは GPT-5.6 Sol Pro（ChatGPT）との対話セッションの完全トランスクリプト を公開。検証計算の確認に使用したことを明記 意義: 現役最高峰の数学者がAIを「公開された研究パートナー」として使った最初の事例。#125（GPT-5.6 Sol Pro 凸最適化解決） に続く、GPT-5.6 シリーズの数学研究実践例 HN反響: Tao blog post（HN #4, 636pts, 389cmt）＋ ChatGPT会話スレッド（HN #2, 857pts, 495cmt）—— 両スレッド合計 1,493pts, 884cmt = 今週最大のAI×数学トピック 1. 背景：87年未解決のヤコビアン予想とAIによる反例 ヤコビアン予想は1939年、ドイツの数学者 Ott-Heinrich Keller によって定式化された代数幾何学における中心的な未解決問題である。簡潔に述べると： ...