実験的なAI数学チャレンジ:シーゲルゼロを排除する議論の探求... ノート

実験的なAI数学チャレンジ:シーゲルゼロを排除する議論の探求における10次判別式の上限の使用

私の最近の「Math 2.0」という、数学の人間による理解を代替するのではなく、それを強化するためにAI支援を新しく活用する方法についての講演の精神に則り、この投稿では、以前の投稿で議論された、ランドー・シーゲル零点の除外に関する最近の活動に触発された実験的な課題を提案します。そこには[...]