TLDR
Kemajuan terbaru dalam masalah pelari kesepian menunjukkan potensi untuk solusi lebih lanjut. Bukti untuk delapan, sembilan, dan sepuluh pelari menunjukkan pendekatan baru yang dapat merangkul berbagai disiplin ilmu. Masalah pelari kesepian memiliki aplikasi luas dalam bidang seperti teori bilangan, geometri, dan teori graf. Konjektur lonely runner yang sudah lama menjadi teka-teki matematika kini telah terbukti untuk delapan, sembilan, dan 10 pelari berkat metode baru. Pembuktian ini menggunakan kombinasi teori bilangan dan program komputer untuk memeriksa kemungkinan countercontoh secara efisien. Ini merupakan kemajuan besar karena sebelumnya bukti hanya berlaku hingga tujuh pelari dan tidak ada kemajuan selama dua dekade.Matthieu Rosenfeld memulai terobosan dengan membuktikan kasus delapan pelari, lalu Tanupat Trakulthongchai dari Universitas Oxford mengembangkan pendekatan lebih efisien yang berhasil membuktikan untuk sembilan dan 10 pelari. Pendekatan ini didasarkan pada reduksi masalah menjadi sampai ambang batas nilai kecepatan bulat dan analisis prima pembagi kecepatan dalam potensi countercontoh. Metode ini menggabungkan komputasi intensif dengan ide matematika klasik dan modern.Terobosan ini menyegarkan minat dan optimisme terhadap penyelesaian konjektur yang sudah ratusan tahun tidak tuntas. Meskipun pembuktian untuk kasus lebih dari 10 pelari masih sulit dan memerlukan pendekatan baru, para ahli percaya kemajuan ini membuka jalur baru. Sebuah workshop akan diselenggarakan untuk menyatukan berbagai disiplin dan mencari strategi yang bisa menyelesaikan konjektur seluruhnya.
