ClaudeとCodexの余ったクレジットで、数学の未解決問題をAIに解かせてみました。
詳細は↓
論文とLeanのコード
連絡
X:
■ 使ったもの
BGM:OpenTracks(旧DOVA-SYNDROME) MFP【Marron Fields Production】「Nagatsuki Beat」「Neu Kabuki」、風人「Bright Tomorrow」
効果音:効果音ラボ
■ 3DモデルはTripoとAstra (きゃらくる), OpusといったAIだけで作成しています!
作成方法を解説したnote:
コメント