AnswersPublished21 sources
Η διαμάχη για τα 722 μαθηματικά χειρόγραφα της OpenAI
Η AHM ζητά από τους μαθηματικούς να σταματήσουν να συνεργάζονται με την OpenAI, επειδή θεωρεί ότι η μαζική κυκλοφορία αποτελεσμάτων δεν ισοδυναμεί με επιστημονικά επικυρωμένη γνώση. Η OpenAI δημοσίευσε αποδεικτικά τεκμήρια και Lean τυποποιήσεις για ορισμένα αποτελέσματα, όχι όμως για όλη τη συλλογή· το μοντέλο που τ...
Δημοσιεύτηκε απόΕπεξεργασία με GPT-6 LunaΕικόνες δημιουργήθηκαν με GPT Image 2
Research answer
Key takeaways
- Η AHM ζητά από τους μαθηματικούς να σταματήσουν να συνεργάζονται με την OpenAI, επειδή θεωρεί ότι η μαζική κυκλοφορία αποτελεσμάτων δεν ισοδυναμεί με επιστημονικά επικυρωμένη γνώση.
- Η OpenAI δημοσίευσε αποδεικτικά τεκμήρια και Lean τυποποιήσεις για ορισμένα αποτελέσματα, όχι όμως για όλη τη συλλογή· το μοντέλο που τα παρήγαγε παραμένει εσωτερικό και μη διαθέσιμο.
- Η διαμάχη αφορά τόσο την πιθανή μαθηματική αξία όσο και τη διαφάνεια, τον χρόνο που χρειάζεται η ανεξάρτητη αξιολόγηση και τον ρόλο των ανθρώπων στην έρευνα.
AI Prompt
openai.comCreate a landscape editorial hero image for this Studio Global article: Why has the Association for Human Mathematics (AHM) urged mathematicians to stop working with OpenAI after its October 6 release of AI-gener. Article summary: AHM urged mathematicians to stop working with OpenAI because it sees the October 6 release as a mass display of a company’s capability, not a responsible way to establish mathematical knowledge. It argues that hundreds o. Topic tags: general, general web. Style: premium digital editorial illustration, source-backed research mood, clean composition, high detail, modern web publication hero. Use reference image context only for broad subject, composition, and topical grounding; do not copy the exact image. Avoid: logos, brand marks, copyrighted characters, real person likenesses, fake screenshots, UI text, readable text, watermarks, charts with fake numbers, clic
Η Association for Human Mathematics (AHM) κάλεσε τους μαθηματικούς να διακόψουν τη συνεργασία τους με την OpenAI μετά την κυκλοφορία, στις 6 Οκτωβρίου 2026, μιας μεγάλης συλλογής μαθηματικών χειρογράφων. Η ένστασή της δεν είναι απλώς ότι ορισμένες αποδείξεις μπορεί να είναι λανθασμένες: είναι ότι μια μαζική ανακοίνωση από εταιρικό μοντέλο δεν υποκαθιστά τη διαδικασία ελέγχου, τεκμηρίωσης και επιστημονικής συζήτησης.45
Η συλλογή μπορεί να περιέχει ενδιαφέροντα αποτελέσματα. Όμως οι αριθμοί, τα αποδεικτικά αρχεία και οι εντυπωσιακοί ισχυρισμοί δεν αποτελούν από μόνα τους επιβεβαίωση. Η αντιπαράθεση αφορά επίσης το ποιος έχει πρόσβαση στο μοντέλο, ποιος ελέγχει τα αποτελέσματά του και ποιος επωμίζεται την εργασία της επαλήθευσης.
Τι δημοσίευσε η OpenAI
Η αρχική ανακοίνωση περιέγραφε 722 χειρόγραφα σε 17 κλάδους, οργανωμένα σε 372 οικογένειες σχετικών αποτελεσμάτων. Επομένως, η συλλογή δεν αντιστοιχεί σε 722 ξεχωριστές, ανεξάρτητες ανακαλύψεις. Το αποθετήριο περιλαμβάνει χειρόγραφα και υποστηρικτικά αποδεικτικά τεκμήρια, ενώ διατίθεται με άδεια Apache-2.0.7
15
Η OpenAI ανέφερε ότι το μοντέλο δοκίμασε περίπου 4.000 προβλήματα και ότι ο μέσος υπολογιστικός χρόνος ανά αποτέλεσμα αντιστοιχούσε περίπου σε τρεις ώρες λειτουργίας ChatGPT Pro Thinking. Δημοσίευσε επίσης 10 συντομευμένες περιλήψεις της συλλογιστικής του μοντέλου και Lean τυποποιήσεις για ορισμένες αποδείξεις.7
12
16 Το αποθετήριο αναφέρει ότι η συλλογή βρίσκεται σε διαφορετικά στάδια επαλήθευσης και ότι δεν έχουν όλα τα αποτελέσματα Lean formalization· η τρέχουσα καταχώρισή του εμφανίζει 719 χειρόγραφα, αντί των 722 της αρχικής ανακοίνωσης.
10
11
Η συλλογή περιλαμβάνει ισχυρισμούς που αφορούν, μεταξύ άλλων, τις εικασίες Mahler και τον ακριβή εκθέτη παραλογικότητας του π. Δεν πρέπει όμως να αντιμετωπίζονται ως οριστικά επιβεβαιωμένα μόνο και μόνο επειδή δημοσιεύτηκαν ως χειρόγραφα.5
21
Γιατί η AHM αντιδρά
Στη δήλωσή της, η AHM είπε ότι οι μαθηματικοί «δεν ζήτησαν να γίνει αυτή η δουλειά» και χαρακτήρισε την κυκλοφορία εκατοντάδων αρχείων «επίδειξη ισχύος», όχι απόδειξη επιστημονικής εργασίας. Η ομάδα ζητά σκεπτικισμό και έρευνα με επίκεντρο τους ανθρώπους, αντί για βιαστική αποδοχή ή μαζική επεξεργασία εταιρικών αποτελεσμάτων.45
Ένα πρακτικό ζήτημα είναι ο όγκος: για να αξιολογηθούν τα χειρόγραφα, ειδικοί πρέπει να διαβάσουν, να ελέγξουν και να τοποθετήσουν τα αποτελέσματα στο πλαίσιο της υπάρχουσας βιβλιογραφίας. Η δημοσίευση ανοιχτών αρχείων δίνει στην κοινότητα υλικό προς εξέταση, αλλά δεν αφαιρεί αυτό το έργο· σε μεγάλο βαθμό το μεταφέρει στους ερευνητές.
Η AHM συνέδεσε επίσης την αντίδρασή της με την προειδοποίηση της Advisory Group on Mathematics and Artificial Intelligence, η οποία έχει συσταθεί για να συμβουλεύει εταιρείες AI σχετικά με τις σχέσεις τους με τη μαθηματική έρευνα. Σύμφωνα με τη δήλωση της AHM, η ομάδα είχε προειδοποιήσει κατά της δοκιμής προηγμένων μαθηματικών προβλημάτων σε εσωτερικά εταιρικά μοντέλα.45
Τι ελέγχουν οι Lean αποδείξεις — και τι όχι
Οι Lean formalizations είναι σημαντικό εργαλείο: επιτρέπουν τον υπολογιστικό έλεγχο των αποδείξεων που έχουν πράγματι μεταφερθεί στο σύστημα. Η OpenAI αναφέρει ότι η κύρια πρόταση 162 χειρογράφων έχει τυποποιηθεί.5 Αυτό ενισχύει τον έλεγχο αυτών των συγκεκριμένων αποτελεσμάτων, αλλά δεν επικυρώνει αυτομάτως κάθε ισχυρισμό σε κάθε χειρόγραφο.
Όπου δεν υπάρχει αντίστοιχη τυποποίηση, η αξιολόγηση εξαρτάται από την ανάγνωση και τον έλεγχο του επιχειρήματος. Το ίδιο το αποθετήριο σημειώνει ότι τα αποτελέσματα είναι σε διαφορετικά στάδια επαλήθευσης και ότι δεν συνοδεύονται όλα από Lean formalizations.10
11 Άρα, η ορθή στάση είναι να εξετάζεται κάθε αποτέλεσμα χωριστά, αντί να θεωρείται ολόκληρη η συλλογή είτε αποδεδειγμένη είτε άχρηστη.
Περισσότερα στοιχεία για τη διαδικασία, αλλά όχι πλήρης διαφάνεια
Οι αριθμοί για τα προβλήματα που δοκιμάστηκαν και τον υπολογιστικό χρόνο, μαζί με τις 10 περιλήψεις συλλογιστικής, προσφέρουν κάποια εικόνα για τη διαδικασία παραγωγής.7
12
16 Δεν αποκαλύπτουν όμως πλήρες ιστορικό για κάθε αποτέλεσμα, ενώ το μοντέλο παραμένει εσωτερικό και μη διαθέσιμο για ανεξάρτητη εξέταση.
7
11
Επίσης, ο συνολικός αριθμός των προβλημάτων που δοκιμάστηκαν δεν αρκεί από μόνος του για να αποσαφηνίσει πόσο συχνά το μοντέλο πέτυχε σε ένα σαφώς ορισμένο σύνολο προβλημάτων αιχμής. Για να αξιολογηθεί η επίδοση και η αναπαραγωγιμότητα, οι ερευνητές χρειάζονται περισσότερες πληροφορίες για τη μέθοδο και τη διαδικασία παραγωγής των επιμέρους αποτελεσμάτων.
Η OpenAI ανέφερε ότι σχεδιάζει εργαστήρια και συνέδρια για την εξέταση σημαντικών αποτελεσμάτων.7 Τέτοιες πρωτοβουλίες μπορούν να διευκολύνουν τον έλεγχο, αλλά δεν υποκαθιστούν τη δημοσίευση επαρκών στοιχείων ώστε άλλοι ερευνητές να μπορούν να αξιολογήσουν ανεξάρτητα πώς προέκυψαν οι αποδείξεις.
Τι σημαίνει η διαμάχη για την ανθρώπινη μαθηματική έρευνα
Η συζήτηση δεν έχει απλή απάντηση. Μια συλλογή AI-παραγόμενων επιχειρημάτων μπορεί να περιέχει πραγματική μαθηματική πρόοδο, αλλά η αξία της κρίνεται από τα αποτελέσματα που θα αντέξουν σε ανεξάρτητο έλεγχο — όχι από το μέγεθος της κυκλοφορίας ή τη σημασία των προβλημάτων που αναφέρονται.7
10
Παράλληλα, η αντίδραση της AHM αναδεικνύει ερωτήματα για τη δίκαιη αναγνώριση προηγούμενης ανθρώπινης εργασίας, το κόστος αξιολόγησης των νέων αποτελεσμάτων και την πιθανότητα να αλλάξουν οι προτεραιότητες ή η στήριξη της ανθρώπινης έρευνας. Η κυκλοφορία των χειρογράφων δεν απαντά από μόνη της σε αυτά τα ζητήματα· τα καθιστά πιο επείγοντα.45
Το βασικό συμπέρασμα είναι να διαχωριστεί η δυνατότητα παραγωγής πολλών μαθηματικών ισχυρισμών από την επιστημονική τους επικύρωση. Η διαμάχη αφορά και τα δύο: το τι μπορεί να συνεισφέρει η AI στα μαθηματικά και τους κανόνες που χρειάζονται ώστε αυτή η συνεισφορά να είναι ελέγξιμη, διαφανής και ουσιαστική για την κοινότητα.
Studio Global AI
Continue your research
This page includes a source-backed answer you can continue inside Studio Global.
People also ask
What is the short answer to "Η διαμάχη για τα 722 μαθηματικά χειρόγραφα της OpenAI"?
Η AHM ζητά από τους μαθηματικούς να σταματήσουν να συνεργάζονται με την OpenAI, επειδή θεωρεί ότι η μαζική κυκλοφορία αποτελεσμάτων δεν ισοδυναμεί με επιστημονικά επικυρωμένη γνώση.
What are the key points to validate first?
Η AHM ζητά από τους μαθηματικούς να σταματήσουν να συνεργάζονται με την OpenAI, επειδή θεωρεί ότι η μαζική κυκλοφορία αποτελεσμάτων δεν ισοδυναμεί με επιστημονικά επικυρωμένη γνώση. Η OpenAI δημοσίευσε αποδεικτικά τεκμήρια και Lean τυποποιήσεις για ορισμένα αποτελέσματα, όχι όμως για όλη τη συλλογή· το μοντέλο που τα παρήγαγε παραμένει εσωτερικό και μη διαθέσιμο.
What should I do next in practice?
Η διαμάχη αφορά τόσο την πιθανή μαθηματική αξία όσο και τη διαφάνεια, τον χρόνο που χρειάζεται η ανεξάρτητη αξιολόγηση και τον ρόλο των ανθρώπων στην έρευνα.