Terrence Tao、ChatGPTとの対話でヤコビアン予想の反例を検証
Terrence Tao's ChatGPT Conversation about the Jacobian Conjecture Counterexample
数学者Terrence TaoがChatGPTとの対話を通じて、ヤコビアン予想の反例として知られる多項式写像を詳細に検証しました。対話では、反例の構成を説明する新しいPDFが提示され、TaoはChatGPTの支援を得て、その写像が3次元アフィン空間と同型であること、および定数ヤコビアンを持つことを確認しています。さらに、元の反例が線形変換によって新しい構成から導かれることを示し、数学的推論におけるAIの可能性を実証しています。
この構成は、元の写像を初等的な線形正規化を除いて正確に再現しています。