@TheTuringPost と Axiom と AI4Math に関するあらゆることについてチャットできて嬉しかったです。 視聴する: - AGIとドメイン固有のASIをどのように定義するか、皿のメタファー、おしゃべりなモデルや詩的なモデルでリーマン予想を証明できるか、そして数学の驚くべき転移学習力をコーディングとエンジニアリングにもたらす - AI数学者が証明と構築能力の両方を必要とする理由、そしてAxiomの2つの分野、形式的証明と専門的な発見にマッピングする理由 - コードと比較したデータの希少性、自動形式化の鶏と卵の問題、Axiomの大胆な合成データへの賭け、そして新しい知識生成についての私たちの考え方 - 問題解決と理論構築、「理論構築」が国際数学オリンピック（IMO）よりもベンチマークするのが難しい理由、そして、今日の法学修士課程で非常に重視されている文献検索/検索がなぜ満足のいくものではないのか https://t.co/HxRoCSOa2S
スレッドを読み込み中
X から元のツイートを取得し、読みやすいビューを準備しています。
通常は数秒で完了しますので、お待ちください。