AIが数学を「証明」へ運ぶとき
https://papoo.work/doc/5bd51d072623d72a
#ai #数学 #証明 #形式化 #機械検証
@happy-homhom.bsky.social
@happy-homhom.bsky.social@happy-homhom.bsky.social@happy-homhom.bsky.social@happy-homhom.bsky.social@happy-homhom.bsky.social@happy-homhom.bsky.social@happy-homhom.bsky.social@happy-homhom.bsky.social@happy-homhom.bsky.social@happy-homhom.bsky.social
@techscope365.bsky.social📝 「証明の民主化」が数学を変える——Claudeがフェルマーの最終定理を形式化、350年の謎が1300万行のコードで解き明かされた瞬間
AI「Claude」が11日間でフェルマーの最終定理の完全な機械検証済み証明を完成。数学の真理がソースコードで検証される時代の意味とは。
🔗 https://techscope365.com/2556/
#Claude #形式化 #数学証明 #AI #テクノロジー
@happy-homhom.bsky.social