6 açık Erdős problemini 5 günde çözdüm, OpenAI GPT-5.6 Sol kullanarak

Gönderi Giriş yapKayıt ol Gönderi Shouqiao Wang @Qiaoqiao2001 @OpenAI GPT-5.6 Sol'u kullanarak 5 günde 6 açık Erdős problemini çözdüm. Matematik geçmişim var ancak kullandığım Codex iş akışı derin matematik bilgisi gerektirmiyor. Talimatlarım da dahil olmak üzere konuya tam olarak nasıl yaklaştım 🧵 18:53 · 22 Temmuz 2026608.5K Görüntüleme 58 0 5 8 335 0 3 3 5 3.4K 0 3.4K 2.9K 0 2.9K Shouqiao Wang @Qiaoqiao2001 16h Altı sorun şunlardı: • 390: erdosproblems.com/forum/thread/3… • 486: erdosproblems.com/forum/thread/4… • 536: erdosproblems.com/forum/thread/5… • 788: erdosproblems.com/forum/thread/7… • 1002: erdosproblems.com/forum/thread/1… • 1038: erdosproblems.com/forum/thread/1… Toplamda yaklaşık 13 problem denedim, kabaca %46 Daha fazlasını göster 4 0 4 14 0 1 4 383 0 3 8 3 47K 0 4 7 K Shouqiao Wang @Qiaoqiao2001 16h İlk sır problem seçimindedir. Matematikçilerin zaten önemsediği problemlere, özellikle de Terence Tao gibi insanlar tarafından aktif olarak tartışılan problemlere odaklandım. Daha sonra son derece zor görünen veya büyük açıklarla yakından bağlantılı olan sorunları filtrelemek için yapay zekayı kullandım. Daha fazlasını göster 5 0 5 6 0 6 271 0 2 7 1 40K 0 4 0 K Shouqiao Wang @Qiaoqiao2001 16h İkinci sır, hızlı inşaattır. Döngü çift kapak varsayımını çözmek için kullanılan OpenAI isteminden ilham alan bir bilgi istemi kullandım: cdn.openai.com/pdf/04d1d1e4-b… Anahtar, istemin tam olarak neyin sorunu çözme olarak sayılacağını tanımlamasını sağlamaktı.

3 0 3 10 0 1 0 318 0 3 1 8 38K 0 3 8 K Shouqiao Wang @Qiaoqiao2001 16h Her bilgi istemi: • sorunu tam olarak yeniden ifade eder, • tam bir kanıt veya çürütmenin neyi ortaya koyması gerektiğini belirtir, • sayılmayan daha zayıf sonuçları listeler, • soruna özgü tuzakları ve uç durumları tanımlar, • her adaya meydan okumak için bağımsız rakip temsilciler gerektirir Göster devamı 1 0 1 16 0 1 6 337 0 3 3 7 33K 0 3 3 K Shouqiao Wang @Qiaoqiao2001 16h Komut istemi ayrıca sisteme aramanın nasıl yönetileceğini de anlatır: • birçok bağımsız yaklaşımla başlayın, • birkaç uyumsuz rotayı canlı tutun, • önerilen lemmalara karşı agresif bir şekilde karşı örnekler arayın, • bir rotayı yalnızca sorunu başka bir çözüme indirgeyecekse engellenmiş olarak işaretleyin Daha fazlasını göster 1 0 1 9 0 9 241 0 2 4 1 30K 0 3 0 K Shouqiao Wang @Qiaoqiao2001 16h Üçüncü sır model seçimidir. Ultra muhakeme çabasıyla GPT-5.6 Sol'u kullandım.