सोफी जर्मेन अभाज्य संख्याएँ: बैरियर-साइड अवलोकन
मैं सोफी जर्मेन अभाज्य संख्याओं (Sophie Germain primes) पर एक नई रिपोर्ट प्रकाशित कर रहा हूँ। यह कार्य गणितीय बाधाओं (mathematical barriers) का अवलोकन करने के लिए Rei-AIOS टूलकिट का उपयोग करता है।
मैं सोफी जर्मेन अभाज्य संख्या अनुमान (Sophie Germain prime conjecture) को हल करने का दावा नहीं करता हूँ। मैं अनंतता (infinity) के प्रमाण की ओर बढ़ने का दावा नहीं करता हूँ। यह शोधपत्र मौजूदा बाधाओं के अवलोकनों और औपचारिक साक्ष्यों (formal witnesses) पर केंद्रित है।
यहाँ चार मुख्य निष्कर्ष दिए गए हैं:
संख्यात्मक अभिसरण (Numerical convergence): N = 10³ से 10⁸ तक Hardy-Littlewood भविष्यवाणियों के मुकाबले अनुभवजन्य गणनाओं (empirical counts) का अनुपात लगातार घटता है। यह अपेक्षित अनंतस्पर्शी पैटर्न (asymptotic patterns) से मेल खाता है लेकिन यह कोई प्रमाण नहीं है।
स्पेक्ट्रल सांख्यिकी (Spectral statistics): सोफी जर्मेन अभाज्य संख्या अंतराल (prime gaps) पॉइसन-जैसे (Poisson-like) वितरण को दर्शाते हैं। यह Riemann zeros से अलग है, जो GUE-जैसे सांख्यिकी का पालन करते हैं।
Lean 4 औपचारिक साक्ष्य (formal witnesses): मैंने Lean 4 में सिद्धांतों (theorems) का एक स्वयंसिद्ध-मुक्त (axiom-free) सेट बनाया है। ये सिद्धांत दर्शाते हैं कि "is_prime(n)" जैसी एकल विशेषताएँ सोफी जर्मेन अभाज्यत्व (primality) का पता नहीं लगा सकतीं। इस बाधा को पार करने के लिए आपको पूर्ण संयोजन (full conjunction) की आवश्यकता होती है।
रिकॉर्ड सुधार: एक ऑनलाइन ऑडिट ने एक आंतरिक त्रुटि को सुधारा। Selberg ने 1949 में पैरिटी समस्या (parity problem) की पहचान की थी, न कि 1960 के दशक में।
यह शोध एक सख्त अनुशासन का पालन करता है। हम व्यवहार्यता प्रश्नों (feasibility questions) को मैप करने के लिए Bellman-Ford एन्कोडिंग का उपयोग करते हैं। हम परिमित अंकगणितीय तथ्यों (finite arithmetic facts) के सत्यापन योग्य, स्वयंसिद्ध-मुक्त रिकॉर्ड प्रदान करने के लिए Lean 4 का उपयोग करते हैं।
इसका लक्ष्य बैरियर-साइड विवरण (barrier-side description) है। हम यह वर्णन करते हैं कि वर्तमान विधियाँ कहाँ रुक जाती हैं।
Optional learning community: https://t.me/GyaanSetuAi_