@happy-homhom.bsky.socialSep 22, 2026, 12:07 AM AIが数学を「証明」へ運ぶときhttps://papoo.work/doc/5bd51d072623d72a#ai #数学 #証明 #形式化 #機械検証
@happy-homhom.bsky.socialSep 21, 2026, 6:35 PM AIが数学を「証明」へ運ぶときhttps://papoo.work/doc/5bd51d072623d72a#ai #数学 #証明 #形式化 #機械検証
@happy-homhom.bsky.socialSep 18, 2026, 6:40 PM AIが数学を「証明」へ運ぶときhttps://papoo.work/doc/5bd51d072623d72a#ai #数学 #証明 #形式化 #機械検証
@happy-homhom.bsky.socialSep 17, 2026, 4:56 AM AIが数学を「証明」へ運ぶときhttps://papoo.work/doc/5bd51d072623d72a#ai #数学 #証明 #形式化 #機械検証
@happy-homhom.bsky.socialSep 17, 2026, 1:25 AM AIが数学を「証明」へ運ぶときhttps://papoo.work/doc/5bd51d072623d72a#ai #数学 #証明 #形式化 #機械検証
@happy-homhom.bsky.social