«Κάθε άρτιος αριθμός μεγαλύτερος του 2 είναι το άθροισμα δύο πρώτων αριθμών».
Από το 1742, όταν ο Christian Goldbach την πρότεινε σε επιστολή του προς τον Leonhard Euler, οι μαθηματικοί σε όλο τον κόσμο προσπαθούν να την αποδείξουν — αλλά μάταια. Δεν έχει βρεθεί κανένα παράδειγμα που να την αναιρεί, αλλά η απόδειξη παραμένει άπιαστη.Αυτή είναι η περίφημη Εικασία του Γκόλντμπαχ, μία από τις πιο παλιές και πιο γνωστές άλυτες μαθηματικές εικασίες.
🧠 Ωστόσο, η μαθηματική κοινότητα δεν αρκείται σε αριθμητικές επαληθεύσεις — ζητά μια καθολική απόδειξη, θεμελιωμένη σε μαθηματική λογική και όχι μόνο σε υπολογισμούς.
📌 Νέα προσπάθεια από τον χρήστη @ymichel στο GitHub φέρνει ξανά το πρόβλημα στην επικαιρότητα. Η εργασία του εστιάζει σε προγραμματιστικά εργαλεία και μεθόδους για την επαλήθευση της εικασίας.
📚 Τι γνωρίζουμε σήμερα:
-
Ισχύει για κάθε άρτιο αριθμό μέχρι $4×10^{18}$.
-
Η «αδύναμη» μορφή της, που αφορά το άθροισμα τριών πρώτων αριθμών για τους περιττούς >5, αποδείχθηκε το 2013 από τον Helfgott.
-
Η πλήρης απόδειξη της κύριας εικασίας παραμένει ανοικτό πρόβλημα.

Δεν υπάρχουν σχόλια:
Δημοσίευση σχολίου