Agen AI Tencent Hunyuan menyelesaikan masalah matematik 50 tahun dengan mengesahkan indeks pertumbuhan optimum sebanyak 2

ChainCatcher melaporkan, akaun rasmi X Tencent Hunyuan memposting bahawa agen penyelidikan mereka, Hyra, bekerjasama dengan model Hy3, telah membuktikan secara eksplisit satu masalah yang telah mengganggu dunia matematik selama lebih dari 50 tahun: indeks pertumbuhan optimum bagi saiz set jumlah |A+A| dan saiz set beza |A-A| bagi set integer terhad A adalah tepat 2. Sebelum ini, teorem tahun 1969 memberikan had atas sebanyak 2, tetapi selama lebih 50 tahun seterusnya, indeks konstruksi terbaik hanya sedikit melebihi 1.1. Pencapaian ini menunjukkan potensi agen AI dalam bidang penalaran matematik tulen. Tencent menyatakan bahawa Hyra adalah agen penyelidikan AI yang dibangunkan secara dalaman, khusus dirancang untuk membantu eksplorasi masalah matematik dan saintifik yang kompleks. Kesimpulan ini masih perlu disahkan melalui penilaian rakan sebaya oleh komuniti matematik.