Carina Hong（@CarinaLHong）のスレッド

@f_charton が率いる Axiom の発見チームを紹介します。 私たちは、新しい構造を生み出し、問題を解決策と直感にマッピングし、数学の世界全体の構造を学習するモデルを構築します。 難しい未解決の問題を 1 つずつ解決できるように構築されています。

@f_charton axiommath.ai/blog/ 発見に関する最新の記事をお読みください。