Axiom は AI 数学者の構築に着手しました。 我々は弱者だ。 設立から 4 か月、参入から 2 年遅れ、FTE は 10 人未満 (最近 17 人に増加)、資金と評価額は競合他社の 1:5 でした。 今日、AxiomProver は、100% 検証可能な言語である Lean でエルデシュ問題 #124 と #481 を解決しました。 前進!
スレッドを読み込み中
X から元のツイートを取得し、読みやすいビューを準備しています。
通常は数秒で完了しますので、お待ちください。
スレッドを読み込み中
X から元のツイートを取得し、読みやすいビューを準備しています。
通常は数秒で完了しますので、お待ちください。