Path B on Appwright AI https://ai.appwright.xyz/tags/path-b/ Recent content in Path B on Appwright AI Hugo en-US Sun, 09 Aug 2026 07:00:00 +0800 AI数学ドキュメンタリー Path B ハブ——4ヶ月5脚で証明された「検証可能性が信頼を作る」時代 https://ai.appwright.xyz/posts/2026-08-09-ai-math-documentary-path-b-hub/ Sun, 09 Aug 2026 07:00:00 +0800 https://ai.appwright.xyz/posts/2026-08-09-ai-math-documentary-path-b-hub/ 2026年5月から8月まで5つの記事で追ったAI数学ドキュメンタリーを総括。エルデシュ単位距離問題からAstraの10証明まで、コスト100分の1化とLean形式検証の標準化が「AI数学」を実用フェーズに押し上げた構造を解説する。