Yaklaşık on yıl önce Marijn Heule, Oliver Kullmann ve Victor Marek, 1'den 7825'e kadar pozitif tam sayıları 2-renklendirirseniz, x^2+y^2=z^2 ile aynı renkteki x, y ve z'yi bulabilmeniz gerektiğini kanıtladılar - yani, tek renkli bir Pisagor üçlüsü. 1/

Bu, Ron Graham'ın eski bir sorununu çözdü. Kanıt, büyük bir kaba kuvvet argümanıydı. Saf kaba kuvvet değil, çünkü bu tamamen olanaksız olurdu, ancak bir SAT çözücü kullanan akıllı bir kaba kuvvet hesaplaması. 2/

Ancak bunun (Quanta makalesinde önerildiği gibi) herhangi bir eleştiri olarak değil, mizahi bir şekilde kastedildiğinden oldukça eminim, çünkü şimdi ve o zaman bu tür sonuçların oldukça havalı olduğunu düşünüyorum. 4/

Şaka, bu tür bir ispatın sanki daha geleneksel bir argüman türüymüş gibi okunabileceği ve geleneksel argümanlardaki karmaşık vaka analizlerinin genellikle biraz çirkin olarak kabul edildiği önerisi olabilirdi. 5/

Ancak elbette bu tür bir kanıt, geleneksel şekilde okunmak üzere tasarlanmamıştır ve kendine has bir çekiciliği vardır. Şahsen, bir ispatı büyük bir hesaplamaya indirgemek için güzel argümanlar kullanma ve ardından hesaplamayı yapma fikrinden memnunum. 6/

Bu tür bir yaklaşım dışında gerçekçi bir şekilde çözülemeyecek bazı sorunlar var gibi görünüyor, bu durumda onu kullanmamak için bir neden göremiyorum ve ortaya çıkan anlayış düzeyinden memnunum. 7/

Bununla birlikte, eğer birisi dört renk teoreminin (örneğin) büyük bir vaka analizi gerektirmeyen bir kanıtını bulursa, bunu kutlarım ve vaka analizinin neden işe yaradığını açıklayacağı için bunu anlamada bir ilerleme olarak görürdüm, 8/

ki şimdilik durum böyle olan bir şey olarak görüyorum. Aynı şekilde, eğer birisi Pisagor üçlüleri problemi için insan ölçeğinde bir argüman bulursa, o zaman çok sevinirim. Ama böyle bir argümanın var olduğundan çok şüpheliyim ve bu beni rahatsız etmiyor. 9/9