6月からミレニアム懸賞問題に挑戦していた

6月から、ChatGPTと一緒にミレニアム懸賞問題の P vs NP に挑戦していた。

証明できたわけではないが、補題・証明・操作例・再現コード・未証明の課題までを一枚の研究ノートにまとめたので公開する。

→ P vs NP を追いかける — 意味の圧縮から、証人を運ぶ計算へ