Show HN: ソーシャルで文脈を認識するAI数学プラットフォーム

ProofTree は、AI とチャットしながら数学を行うプラットフォームです。文脈を理解し、個々の数学スタイルに適応し、人間の数学者とも連携できます。使用には承認済みメールアカウントが必要です。