【チャッピー快挙】GPT5.4が素人のプロンプトで60年来の数学難問エルデシュ問題を証明フィールズ賞テレンス・タオ氏らとの共同論文として公開｜ビジネス+IT