Tes matematika terbesar di dunia menempati peringkat 200TB …

Sebuah tim peneliti internasional telah menghasilkan tes data besar mengenai tiga kali lipat Pythagoras.

Masalah yang berasal dari tahun 1980-an membahas Teorema Pythagoras untuk segitiga siku-siku, yang menyatakan bahwa: a2 + b2 = c2, di mana c adalah sisi miring, a adalah tegak lurus, dan b adalah dasar dari segitiga siku-siku. Masalah ini dipenuhi oleh satu set integer integer tertentu.

Sumber Gambar: Wikipedia

Masalah triple Boolean Pythagoras diperkenalkan oleh Ronald Graham pada 1980-an. Matematikawan terkenal itu mempertanyakan kemungkinan menugaskan warna merah atau biru untuk setiap bilangan bulat di set yang memenuhi teorema Pythagoras, sehingga tidak ada set Tripel Pythagoras memiliki warna yang sama, yaitu, tidak satu pun dari tiga bilangan bulat berwarna merah atau semuanya. biru.

Karena bilangan bulat dapat menjadi bagian dari lebih dari satu triplet Pythagoras, maka masalahnya cukup sulit untuk dipecahkan; misalnya, 1,2, 5 dan 3,4,5 adalah tiga kali lipat Pythagoras dengan 5 sebagai bilangan bulat umum. Oleh karena itu, jika 5 berwarna biru di set pertama tiga kali lipat, itu juga akan tetap biru di set kedua, jadi 4 atau 3 harus berwarna merah. Oleh karena itu, 4 dapat memaksa angka pada garis untuk mengubah warna yang sesuai, dan pada akhirnya dapat menyebabkan triple Pythagoras monokrom di suatu tempat di set.

Sumber Gambar: University of Texas

Sekarang, teknologi komputasi canggih telah digunakan untuk menunjukkan bahwa tripel Pythagoras tidak dapat diwarnai, sehingga semua set memiliki warna yang unik. Metode komputasi yang diadopsi untuk menyelesaikan pertanyaan ini menerapkan teknik brute force.

Tim itu dihargai dengan cek $ 100 dari Graham. Solusi ini menunjukkan bahwa adalah mungkin untuk membentuk solusi seperti itu di mana tidak ada tiga kali lipat Pythagoras dengan warna yang sama hingga 7824. Namun, tidak ada kombinasi unik yang mungkin melampaui 7824. Butuh 200TB untuk menyelesaikan pertanyaan ini.

Sumber Gambar: University of Texas

Analis telah mengkritik hasil yang menyatakan bahwa meskipun tim menyelesaikan masalah, mereka tidak memberikan alasan untuk perilaku khusus ini ditunjukkan oleh nomor 7825. Hasilnya telah memunculkan pertanyaan lama yang sama mengenai pengujian komputasi,

“Mereka mungkin benar, tetapi apakah mereka benar-benar matematika?”