Μια απόδειξη που παρήγαγε Τεχνητή Νοημοσύνη οδήγησε έναν μαθηματικό σε ένα απλούστερο επιχείρημα γύρω από ένα από τα βαθύτερα ανοιχτά προβλήματα των Μαθηματικών.
Η Υπόθεση του Riemann προβλέπει ότι όλες οι μη τετριμμένες ρίζες της συνάρτησης ζήτα βρίσκονται στην κρίσιμη ευθεία
\[ \boxed{\operatorname{Re}(s)=\frac12}. \]
Τον Σεπτέμβριο του 2026, ο μαθηματικός Youness Lamzouri παρουσίασε μια νέα απόδειξη ότι περισσότερο από το 67,25% των μη τετριμμένων ριζών βρίσκονται στην κρίσιμη ευθεία και ταυτόχρονα είναι απλές, δηλαδή δεν είναι πολλαπλές ρίζες.
Πρόκειται για ασυμπτωτικό ποσοστό και όχι για αποτέλεσμα μιας πεπερασμένης υπολογιστικής αναζήτησης.
Μια προηγούμενη απόδειξη του ίδιου ορίου είχε παραχθεί από μια εσωτερική ερευνητική έκδοση του Claude και στη συνέχεια είχε ελεγχθεί από τους μαθηματικούς Levent Alpöge και Ralph Furman.
Η απόδειξη του Claude ήταν τεχνικά περίπλοκη και χρησιμοποιούσε, μεταξύ άλλων, ένα πεπερασμένης διάστασης πλαίσιο πινάκων.
Ο Lamzouri κατάφερε να αντικαταστήσει αυτόν τον μηχανισμό με μία ανισότητα σε χώρο Hilbert, δημιουργώντας μια συντομότερη και εννοιολογικά καθαρότερη απόδειξη. Η μέθοδός του έδωσε μάλιστα και πρόσθετες εκτιμήσεις για τις ρίζες της συνάρτησης ζήτα.
Το αποτέλεσμα δεν αποδεικνύει την Υπόθεση του Riemann. Ακόμη και ένα ασυμπτωτικό ποσοστό \(100\%\) δεν θα απέκλειε από μόνο του την ύπαρξη εξαιρέσεων.
Ίσως όμως το πιο ενδιαφέρον σημείο αυτής της ιστορίας να μην είναι μόνο το νέο ποσοστό. Είναι η μετάβαση από το «βρήκαμε μια απόδειξη» στο «καταλαβαίνουμε καλύτερα γιατί λειτουργεί».
✨ Στα Μαθηματικά, μια απλούστερη απόδειξη
μπορεί να είναι η αρχή μιας καινούργιας ιδέας.
📚 Πηγή: Youness Lamzouri, A new proof that more than 2/3 of the zeros of the Riemann zeta function are simple and on the critical line, arXiv:2609.02882 (2026).
Δεν υπάρχουν σχόλια:
Δημοσίευση σχολίου