EisatoponAI: 🔢 Goldbach και Pólya - Πόσο Αξιόπιστη Είναι μια «Επαληθευμένη» Εικασία;

Η εικασία του Goldbach, που ο Christian Goldbach πρότεινε στον Leonhard Euler το 1742, λέει ότι κάθε άρτιος αριθμός μεγαλύτερος του 2 μπορεί να γραφτεί ως άθροισμα δύο πρώτων αριθμών (ο ίδιος πρώτος μπορεί να χρησιμοποιηθεί δύο φορές):

\[ 4=2+2,\quad 6=3+3,\quad 8=3+5,\quad 10=3+7,\quad 12=5+7 \]

Δεν υπάρχει ακόμη οριστική απόδειξη —ούτε αντιπαράδειγμα— αλλά έχει σημειωθεί σημαντική πρόοδος τα τελευταία χρόνια, καθώς έχουν βρεθεί ισοδυναμίες ανάμεσα σε αυτή την εικασία και άλλα άλυτα προβλήματα, όπως η Υπόθεση Riemann. Υπολογιστικά, η εικασία έχει επαληθευτεί για κάθε άρτιο αριθμό μέχρι 4×10¹⁸ — τέσσερα τρισεκατομμύρια φορές μεγαλύτερο αριθμό από ό,τι φαντάζεται συνήθως το ευρύ κοινό, χάρη στην κατανεμημένη υπολογιστική έρευνα του Tomás Oliveira e Silva, το 2013.

Μια συγγενική εκδοχή του προβλήματος, η «ασθενής» εικασία Goldbach —ότι κάθε περιττός αριθμός μεγαλύτερος του 5 είναι άθροισμα τριών πρώτων— αποδείχθηκε πράγματι, πλήρως, από τον Harald Helfgott το 2013.

Δεδομένων αυτών, θα μπορούσε κανείς εύλογα να πιστέψει ότι η εικασία του Goldbach είναι αληθής — άλλωστε, αν έχει επαληθευτεί για τόσο τεράστιο εύρος αριθμών, πώς θα μπορούσε να είναι ψευδής για κάποιον μεγαλύτερο; Η μαθηματική κοινότητα είναι, όντως, σχεδόν βέβαιη ότι είναι αληθής.

Όμως αυτό δεν αρκεί· χρειάζεται αυστηρή απόδειξη, γιατί το γεγονός ότι κάτι ισχύει σε εξαιρετικά πολλές περιπτώσεις δεν σημαίνει ότι ισχύει πάντα. Και υπάρχει ένα ζωντανό παράδειγμα ακριβώς αυτού του κινδύνου.

Ονομάζουμε έναν αριθμό «άρτιου τύπου» αν η παραγοντοποίησή του σε πρώτους παράγοντες περιέχει άρτιο πλήθος πρώτων (μετρώντας πολλαπλότητες, με το 1 να θεωρείται άρτιου τύπου), και «περιττού τύπου» αν το πλήθος είναι περιττό. Ο 6=2×3 είναι άρτιου τύπου, ο 18=2×3×3 περιττού.

Έστω \(P(n)\) το πλήθος των θετικών ακεραίων μέχρι το \(n\) που είναι άρτιου τύπου, και \(I(n)\) το αντίστοιχο πλήθος περιττού τύπου. Επαληθεύσαμε: για \(n=7\), \(I(7)=4\) (οι 2,3,5,7) και \(P(7)=3\) (οι 1,4,6), άρα \(I(7)>P(7)\)· για \(n=6\), \(I(6)=P(6)=3\).

Το 1919, ο George Pólya πρότεινε την εικασία που φέρει το όνομά του: ότι για κάθε \(n>2\), ισχύει \(I(n)\geq P(n)\). Κανείς δεν μπόρεσε να αποδείξει ούτε να διαψεύσει τον ισχυρισμό για δεκαετίες, και η επαλήθευσή του για κάθε \(n\) μέχρι το ένα εκατομμύριο έπεισε πολλούς ότι επρόκειτο για αληθές θεώρημα.

Ήταν λάθος. Το 1958, ο C. Brian Haselgrove απέδειξε μαθηματικά —χωρίς όμως να δώσει συγκεκριμένο αριθμό— ότι η εικασία είναι ψευδής, εκτιμώντας το πρώτο αντιπαράδειγμα γύρω στο \(1.845\times10^{361}\). Το 1960, ο R. Sherman Lehman βρήκε το πρώτο ρητό αντιπαράδειγμα, \(n=906.180.359\). Και το 1980, ο Minoru Tanaka εντόπισε το μικρότερο δυνατό αντιπαράδειγμα: \(n=906.150.257\).

\[ I(906.150.257) < P(906.150.257) \]

Η εικασία του Pólya είναι, οριστικά, ψευδής — παρότι χρειάστηκαν σχεδόν 900 εκατομμύρια επαληθεύσεις για να το αποδείξει κανείς.