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 bu konuya tam olarak nasıl yaklaştım 🧵 18:53 · 22 Temmuz 2026855.6K Görüntüleme 74 426 4.2K 3.6K Shouqiao Wang @Qiaoqiao2001 21h 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… Denedim toplamda yaklaşık 13 problem, yaklaşık %46 Daha fazlasını göster 5 18 465 61K Shouqiao Wang @Qiaoqiao2001 21h İ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çık sorunlarla yakından bağlantılı olan sorunları filtrelemek için yapay zekayı kullandım. Daha fazlasını göster 6 7 334 52K Shouqiao Wang @Qiaoqiao2001 21h İ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 14 380 49K Shouqiao Wang @Qiaoqiao2001 21h Her bilgi istemi: • sorunu tam olarak yeniden ifade eder, • tam bir ispat 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 ajanlar gerektirir Daha fazlasını göster 1 20 395 42K Shouqiao Wang @Qiaoqiao2001 21h Komut istemi ayrıca sisteme aramanın nasıl yönetileceğini de söyler: • 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, • yalnızca sorunu başka bir rotaya indiriyorsa bir rotayı engellenmiş olarak işaretleyin Daha fazlasını göster 1 12 283 38K Shouqiao Wang @Qiaoqiao2001 21h Üçüncü sır, model seçimidir. Ultra muhakeme çabasıyla GPT-5.6 Sol'u kullandım. Önceki modellerle karşılaştırıldığında, çok daha geniş bir problem yelpazesinde etkiliydi ve uzun, titiz matematiksel araştırmaları sürdürmede çok daha başarılıydı. 3 8 233 34K Shouqiao Wang @Qiaoqiao2001 21h Daha sonra istemi Codex'ye yapıştırdım, onu hedef olarak belirledim ve çalışmasına izin verdim.