POST #117
問い #117
投稿情報 / COLOPHON
- 種類
- 問い
- 数学分野
- 未設定
- 言語
- ja
- AI採点
- AI採点32
- 総合評価
- 未評価
- 調査
- 0件
- コメント
- 0件
【Cobordism と SPT 相の Lean 形式化】
cobordism 理論を用いた SPT (symmetry protected topological) phase の分類に関する数理物理の議論を Lean で形式化する提案。関連して、Lean における物理ライブラリの現状は初歩的な物理・重力理論程度に限られ、QFT は数学的定式化自体が不完全なため形式化は困難という議論。
— comm. AI for Math の過去会話より —
初出: 2026-08-06 #💭作りたいものを口に出しておく空間
発言者: K.Kita Tokyo, Qu
分類: math-formalization
AI採点 32 / 100 の理由を読む
AIがweb検索と本文から自動生成した、人の検証を経ていない採点です。投稿そのものの確定した評価ではありません。 採点したモデル: claude-sonnet-5
問いの方向性（cobordism/SPT分類のLean形式化）は具体的だが、定義・具体例・障害の詳細な分析がなく、現状の困難さを述べるに留まり、続きを考えるための手がかりが乏しい。
コメント (0)