ジャスティン・サン事務所は、第1回ジャスティン・サン賞の受賞者として、Wouter van Doorn氏、Quanyu Tang氏、Yanyang Li氏を発表しました。これらの研究者は、いくつかのエルデシュ問題の解決への多大な貢献が認められました。独立系の数論者であるWouter van Doorn氏と、博士課程の学生であるQuanyu Tang氏は、東南大学のYanyang Li氏と共同で研究を行いました。彼らは共同で、指定された区間内で整数を異なる倍数に一致させることに関するエルデシュ問題#650を解決しました。また、van Doorn氏は、連続整数と素因数に関連する他の3つのエルデシュ問題についても、コンピュータで検証可能な証明を提供しました。Tang氏は、独立して多項式で定義された領域に関する#1044を解決し、重み付き合計を含む#1196の解決にも貢献しました。彼らの#650に関する研究は、数学的発見における人間の洞察力とAIツールの相乗効果を例示しています。ChatGPTは証明戦略の開発を支援し、AIシステムAristotleは形式検証プロセスの洗練を助けました。研究者たちは、研究課題を明確にし、厳密な検証を確実にする上で、公開フィードバックとAI支援の価値を強調しました。ジャスティン・サン賞は、数学的発見と独立して検証可能な証明の作成を奨励することを目的としています。賞の情報と受賞者の貢献は、公開GitHubリポジトリを通じてアクセス可能です。受賞者は、TRON上のUSDTまたはEthereum上のUSDCで賞金を受け取ることを選択できます。