Axiomの発見チームの紹介: @albe_alfa Alberto の道のりは、IMO → 取引 → 130 年前の推測を解明するための AI のトレーニングへと続きます。 それまで一般的なアルゴリズムが存在しなかったにもかかわらず、彼は新しいリャプノフ関数を発見しました。 数学の発見のための AI は人間の心の限界を再定義します。
@f_charton によるこのシリーズの最初のビデオへのリンク:
スレッドを読み込み中
X から元のツイートを取得し、読みやすいビューを準備しています。
通常は数秒で完了しますので、お待ちください。