Axiom の 4 か月前にリリースされたシステムは、Lean において人間の介入なしにエルデシュ問題 124 と 481 を解決しました。 ラマヌジャンの直感の魔法のように、証明のコードがリアルタイムで画面上で展開されます。 科学者仲間の皆さんへ: 数学的発見の未来はここにあります。 ぜひご参加ください。（8）
今朝の@WSJから続きを読む: https://t.co/Fpk9hKBIby (9)
スレッドを読み込み中
X から元のツイートを取得し、読みやすいビューを準備しています。
通常は数秒で完了しますので、お待ちください。