μαθηματικά

Η τεχνητή νοημοσύνη της DeepMind έλυσε εννέα προβλήματα του Erdős

Η Google DeepMind, τμήμα της Alphabet, δημοσίευσε μια αξιολογημένη μελέτη για το AlphaProof Nexus, ένα σύστημα τεχνητής νοημοσύνης που έλυσε εννέα ανοιχτά προβλήματα του μαθηματικού Paul Erdős και απέδειξε 44 εικασίες από την On-Line Encyclopedia of Integer Sequences (OEIS). Η…

Η OpenAI απέσυρε τρεις μαθηματικές μελέτες τεχνητής νοημοσύνης λόγω λάθους στο πρόσημο

Η OpenAI απέσυρε τρία από τα 722 μαθηματικά χειρόγραφα που δημοσίευσε στις 6 Οκτωβρίου, λιγότερο από μία ημέρα μετά την ανάρτησή τους. Η εταιρεία εντόπισε ένα λάθος στο πρόσημο που κατέστρεψε το επιχείρημα σε μία εργασία, καθώς και την κατασκευή…

Ερευνητές εντοπίζουν ασυμφωνία στην απόδειξη της OpenAI για τις εξισώσεις Navier-Stokes

Μαθηματικοί εξετάζουν μια μεγάλη παρτίδα αποδείξεων που παρήχθησαν από τεχνητή νοημοσύνη και δημοσιεύτηκαν από την OpenAI στις 6 Οκτωβρίου, και ορισμένα από τα ευρήματά τους προκαλούν αμφιβολίες. Ομάδα με επικεφαλής ερευνητές του Κέιμπριτζ αναφέρει ότι οι εκδοχές της προηγούμενης απόδειξης…

Η OpenAI δημοσίευσε 722 μαθηματικές εργασίες από αδημοσίευτο μοντέλο τεχνητής νοημοσύνης

Την Τρίτη 6 Οκτωβρίου, η OpenAI ανάρτησε 722 μαθηματικά χειρόγραφα σε δημόσιο αποθετήριο στο GitHub, ταξινομημένα σε 372 οικογένειες αποτελεσμάτων. Η εταιρεία αναφέρει ότι παρήχθησαν από ένα αδημοσίευτο εσωτερικό μοντέλο αιχμής. Το Scientific American ανέφερε ότι το αποθετήριο τέθηκε σε…

Μαθηματικοί χαρακτηρίζουν «ακατάληπτη» την απόδειξη που παρήγαγε η τεχνητή νοημοσύνη της OpenAI

Η OpenAI ανακοίνωσε τη Δευτέρα, 21 Σεπτεμβρίου, ότι συνεργάζεται με μια ανεξάρτητη Συμβουλευτική Ομάδα για τα Μαθηματικά και την Τεχνητή Νοημοσύνη, η οποία θα εδρεύει στο Institute for Advanced Study του Πρίνστον, μετά τον σάλο που προκλήθηκε από μια αμφιλεγόμενη…

Η OpenAI ισχυρίζεται ότι η τεχνητή νοημοσύνη έλυσε πάνω από 100 μαθηματικά προβλήματα χωρίς να προσκομίσει αποδείξεις

Η OpenAI ανακοίνωσε στις 21 Σεπτεμβρίου ότι ένα ανώνυμο εσωτερικό μοντέλο, το οποίο ξεκίνησε την εκπαίδευσή του στις 28 Αυγούστου, έχει επιλύσει περισσότερα από 100 μακροχρόνια ανοιχτά προβλήματα σε σχεδόν όλους τους τομείς των μαθηματικών, συμπεριλαμβανομένου του προβλήματος Navier-Stokes, ενός…

Η OpenAI συγκροτεί συμβουλευτική επιτροπή μαθηματικών καθώς η τεχνητή νοημοσύνη της επιλύει πάνω από 100 προβλήματα

Η OpenAI φέρεται να βρίσκεται κοντά στην επίλυση ενός δεύτερου μαθηματικού προβλήματος Millennium Prize, ακόμη και όταν ο πρώτος τέτοιος ισχυρισμός της —μια λύση για το πρόβλημα ύπαρξης και ομαλότητας Navier-Stokes που ανακοινώθηκε στις 8 Σεπτεμβρίου— αντιμετωπίζει αυξανόμενη κριτική από…

Μηχανικοί: Η απόδειξη της OpenAI για τις εξισώσεις Navier-Stokes δεν αλλάζει την πρακτική της ρευστομηχανικής

Στις 8 Σεπτεμβρίου, η OpenAI ανακοίνωσε ότι ένα μη δημοσιευμένο εσωτερικό σύστημα τεχνητής νοημοσύνης παρήγαγε μια απόδειξη ότι οι τρισδιάστατες εξισώσεις Navier-Stokes μπορούν να αναπτύξουν μια ιδιομορφία σε πεπερασμένο χρόνο, επιλύοντας ενδεχομένως ένα από τα έξι εναπομείναντα Προβλήματα της Χιλιετίας…

Η OpenAI αφήνει να εννοηθεί ότι πλησιάζει σε δεύτερη λύση προβλήματος της χιλιετίας

Λιγότερο από δύο εβδομάδες μετά τον ισχυρισμό της ότι έλυσε το πρόβλημα ύπαρξης και ομαλότητας των εξισώσεων Navier-Stokes, η OpenAI άφησε να εννοηθεί ότι ίσως βρίσκεται κοντά στην επίλυση ενός ακόμη από τα επτά Προβλήματα της Χιλιετίας, με τις εικασίες…

Αζήτητο από την OpenAI το μαθηματικό βραβείο 1 εκατ. δολαρίων του Justin Sun

Η OpenAI αρνήθηκε να διεκδικήσει το βραβείο ύψους 1 εκατομμυρίου δολαρίων που της απένειμε ο δισεκατομμυριούχος των κρυπτονομισμάτων Justin Sun για το έργο της πάνω στις εξισώσεις Navier-Stokes, προσθέτοντας μια δεύτερη απόρριψη χρηματικού επάθλου σε ένα αποτέλεσμα που έχει ανατρέψει…

Μαθηματικός καταρρίπτει τον μύθο των 2.000 ετών για τις οπτικές διορθώσεις του Παρθενώνα

Για περισσότερα από 2.000 χρόνια, οι μελετητές υποστήριζαν ότι οι ανεπαίσθητες καμπύλες του Παρθενώνα αποτελούσαν ένα επίτευγμα οπτικής μηχανικής, δηλαδή σκόπιμες διορθώσεις που σχεδιάστηκαν για να φαίνεται ο ναός απόλυτα ευθύγραμμος στο ανθρώπινο μάτι. Ένας μαθηματικός από το Πανεπιστήμιο της…

«Τρομοκρατημένος» δηλώνει μαθηματικός καθώς η ΤΝ ανατρέπει τα μαθηματικά σε μία εβδομάδα

Μέσα σε μία μόνο εβδομάδα, δύο από τις κορυφαίες εταιρείες τεχνητής νοημοσύνης στον κόσμο ανακοίνωσαν αποτελέσματα που συγκλόνισαν τη μαθηματική κοινότητα: η OpenAI υποστηρίζει ότι έλυσε ένα μαθηματικό πρόβλημα 90 ετών, αξίας ενός εκατομμυρίου δολαρίρων, ενώ η Anthropic αποκάλυψε ότι…

Το Ινστιτούτο Clay τοποθετείται για τον ισχυρισμό της OpenAI σχετικά με το Navier-Stokes

Η OpenAI ανακοίνωσε στις 8 Σεπτεμβρίου ότι ένα ακυκλοφόρητο εσωτερικό μοντέλο AI, αξιοποιώντας περίπου 10.000 αυτόνομους πράκτορες σε διάστημα 88 ωρών, παρήγαγε μια απόδειξη ότι οι τρισδιάστατες εξισώσεις Navier-Stokes μπορούν να εμφανίσουν μοναδικότητα σε πεπερασμένο χρόνο, ένα αποτέλεσμα που, εάν…

25 νικητές του μεταλλίου Fields προειδοποιούν: Η τεχνητή νοημοσύνη απειλεί τα μαθηματικά

Η OpenAI ανακοίνωσε στις 8 Σεπτεμβρίου ότι ένα εσωτερικό μοντέλο τεχνητής νοημοσύνης που δεν έχει κυκλοφορήσει, έλυσε το πρόβλημα ύπαρξης και ομαλότητας Navier-Stokes, ένα από τα επτά Προβλήματα της Χιλιετίας στα μαθηματικά, συντονίζοντας περίπου 10.000 πράκτορες τεχνητής νοημοσύνης για 88…

Δεύτερος μαθηματικός κατηγορεί την OpenAI για χρήση μη δημοσιευμένου έργου σε επιτεύγματα AI

Η OpenAI ανακοίνωσε αυτή την εβδομάδα ότι ένα ακυκλοφόρητο μοντέλο AI, συντονισμένο μέσω ενός σμήνους 10.000 πρακτόρων, παρήγαγε μια απόδειξη που δείχνει ότι οι εξισώσεις Navier-Stokes μπορούν να «εκραγούν» (blow up) υπό ορισμένες συνθήκες, ένα αποτέλεσμα που, εάν επαληθευτεί, θα…

Η OpenAI υποστηρίζει ότι 10.000 πράκτορες τεχνητής νοημοσύνης έλυσαν μαθηματικό πρόβλημα 90 ετών

Η OpenAI ανακοίνωσε την Τρίτη ότι ένα αδημοσίευτο εσωτερικό μοντέλο τεχνητής νοημοσύνης, εργαζόμενο μέσω περίπου 10.000 συντονισμένων πρακτόρων, παρήγαγε μια προτεινόμενη απόδειξη για το πρόβλημα ύπαρξης και ομαλότητας των Navier-Stokes, ένα από τα επτά Προβλήματα της Χιλιετίας, καθένα από τα…

Ανακάλυψη στην εξίσωση Navier-Stokes με τη βοήθεια AI προκαλεί σύγκρουση μεταξύ OpenAI και ερευνητών της Anthropic

Μια διαμάχη για ένα από τα πιο διάσημα άλυτα προβλήματα στα μαθηματικά ξέσπασε την Τρίτη, αφού ο μαθηματικός του NYU, Tristan Buckmaster, δημοσίευσε μια δήλωση κατηγορώντας την OpenAI ότι έσπευσε να οικειοποιηθεί τα εύσημα για μια εργασία που βασίστηκε στη…

Τέρενς Τάο: «Αξιοσημείωτο επίτευγμα» οι αποδείξεις ρευστοδυναμικής με τη βοήθεια ΤΝ

Ο μαθηματικός του Πανεπιστημίου της Νέας Υόρκης (NYU) Τρίσταν Μπάκμαστερ και ο ερευνητής της Anthropic Λέβεντ Αλπόγκε δημοσίευσαν την Κυριακή αποδείξεις με τη βοήθεια τεχνητής νοημοσύνης και επαληθευμένες μέσω Lean, οι οποίες δείχνουν ότι αρκετές εξισώσεις ρευστών μπορούν να εμφανίσουν…

Η Anthropic ανακοίνωσε ότι το Claude ολοκλήρωσε την πρώτη επαληθευμένη από υπολογιστή απόδειξη του Τελευταίου Θεωρήματος του Φερμά

Η Anthropic ανακοίνωσε την Πέμπτη ότι το μοντέλο τεχνητής νοημοσύνης Claude ολοκλήρωσε την πρώτη πλήρη, ελεγμένη από υπολογιστή απόδειξη του Τελευταίου Θεωρήματος του Φερμά, ενός από τα πιο διάσημα αποτελέσματα στα μαθηματικά. Εργαζόμενο σε μεγάλο βαθμό αυτόνομα για 11 ημέρες,…

Διπλή επιστημονική ανακάλυψη από την τεχνητή νοημοσύνη σε μαθηματικά προβλήματα δεκαετιών

Μέσα σε λίγες εβδομάδες, η τεχνητή νοημοσύνη πέτυχε δύο ιστορικά αποτελέσματα στα καθαρά μαθηματικά: απέδειξε μια εικασία που προβλημάτιζε τους ειδικούς για περισσότερα από 20 χρόνια και σημείωσε πρόοδο σε ένα από τα πιο διάσημα άλυτα προβλήματα του κλάδου.

Anthropic: Το Claude σχεδόν διπλασίασε ένα βασικό όριο για την υπόθεση Riemann

Μια ακυκλοφόρητη ερευνητική έκδοση της τεχνητής νοημοσύνης Claude της Anthropic πέτυχε τη μεγαλύτερη μεμονωμένη βελτίωση σε ένα βασικό μαθηματικό όριο που σχετίζεται με την υπόθεση Riemann, αυξάνοντας το αποδεδειγμένο κάτω όριο για το ποσοστό των μη τετριμμένων μηδενικών της συνάρτησης…

OpenAI: Κατηγορίες για λογοκλοπή στα μαθηματικά αποτελέσματα του Astra

Το επόμενο μεγάλο μοντέλο τεχνητής νοημοσύνης της OpenAI, με την εσωτερική ονομασία Astra, έλυσε 10 άλυτα επί μακρόν προβλήματα στα μαθηματικά και τη θεωρητική πληροφορική, όμως η ανακοίνωση αμαυρώθηκε από κατηγορίες για ερευνητικό παράπτωμα από μαθηματικούς, οι οποίοι υποστηρίζουν ότι…

Κριτική για «υπερβολικούς ισχυρισμούς» της OpenAI σχετικά με το μοντέλο Astra

Η OpenAI ανακοίνωσε την 1η Αυγούστου ότι η μη κυκλοφορημένη οικογένεια μοντέλων Astra παρήγαγε λύσεις για 10 μακροχρόνια ανοιχτά προβλήματα στα μαθηματικά και τη θεωρητική πληροφορική, δημοσιεύοντας ένα χειρόγραφο 249 σελίδων και πλήρως επαληθευμένα πιστοποιητικά απόδειξης Lean 4 στο GitHub.…

Η OpenAI υποστηρίζει ότι το μοντέλο Astra έλυσε 10 μαθηματικά προβλήματα δεκαετιών με κόστος 2.000 δολαρίων

Η OpenAI αποκάλυψε το Σάββατο ότι το εσωτερικό της μοντέλο Astra παρήγαγε νέα αποτελέσματα για 10 προβλήματα στα μαθηματικά και τη θεωρητική πληροφορική, τα οποία παρέμεναν άλυτα για τουλάχιστον μία δεκαετία, δημοσιεύοντας αποδείξεις που μπορούν να ελεγχθούν από μηχανή για…

Anthropic: Το AI της έλυσε τα μισά μαθηματικά προβλήματα της OpenAI μέσα σε 24 ώρες

Η OpenAI ανακοίνωσε το Σάββατο ότι μια εσωτερική έκδοση του επόμενου μεγάλου μοντέλου τεχνητής νοημοσύνης της, με την ονομασία Astra, έλυσε ή σημείωσε σημαντική πρόοδο σε 10 μακροχρόνια ανοιχτά προβλήματα στα μαθηματικά και τη θεωρητική πληροφορική. Μέσα σε 24 ώρες,…

OpenAI: Το μοντέλο Astra έλυσε 10 άλυτα μαθηματικά προβλήματα

Η OpenAI ανακοίνωσε την 1η Αυγούστου ότι μια εσωτερική έκδοση του Astra, της επόμενης κύριας οικογένειας μοντέλων της, παρήγαγε λύσεις σε δέκα χρονίζοντα ανοιχτά προβλήματα στα μαθηματικά και τη θεωρητική πληροφορική, με συνολικό κόστος εξαγωγής συμπερασμάτων περίπου 2.000 δολαρίων σε…

Το διάσημο πλακίδιο ‘einstein’ αποκαλύπτει εκπληκτικές ιδιότητες στη φυσική

Το πλακίδιο "καπέλο" (einstein) - μια μαθηματική περιέργεια που έλυσε έναν γρίφο δεκαετιών σχετικά με την κάλυψη άπειρων επιφανειών χωρίς επαναλαμβανόμενα μοτίβα - προσέφερε τώρα μια έκπληξη στον κόσμο της φυσικής. Ερευνητές στο Πανεπιστήμιο του Τόκιο ανακάλυψαν ότι νανοδομές βασισμένες…

Τέσσερις μαθηματικοί κερδίζουν τα Μετάλλια Fields 2026 στη Φιλαδέλφεια

Η Διεθνής Μαθηματική Ένωση ανακοίνωσε τους αποδέκτες των Μεταλλίων Fields 2026 την Πέμπτη στην τελετή έναρξης του Διεθνούς Συνεδρίου Μαθηματικών στη Φιλαδέλφεια, τιμώντας τέσσερις μαθηματικούς των οποίων το έργο εκτείνεται στην αρμονική ανάλυση, τις μερικές διαφορικές εξισώσεις, τη συμλεκτική γεωμετρία…

Το μοντέλο AI της RedNote πετυχαίνει την πρώτη τέλεια βαθμολογία στη Μαθηματική Ολυμπιάδα

Η κινεζική πλατφόρμα κοινωνικής δικτύωσης RedNote ανακοίνωσε την Τρίτη ότι το μοντέλο AI που διαθέτει, το dots-note-3.0, συγκέντρωσε την απόλυτη βαθμολογία 42 στα 42 στη 67η Διεθνή Μαθηματική Ολυμπιάδα, η οποία ολοκληρώθηκε αυτή την εβδομάδα στη Σανγκάη. Το επίτευγμα αυτό…

Ερευνητής της Anthropic χρησιμοποιεί τεχνητή νοημοσύνη για να καταρρίψει μαθηματική εικασία 87 ετών

Το βράδυ της 19ης Ιουλίου, ο μαθηματικός Levent Alpöge δημοσίευσε ένα σύντομο μήνυμα στο X που ενδέχεται να αποτελεί το δυσκολότερο μαθηματικό πρόβλημα που έχει επιλυθεί ποτέ με τη βοήθεια της τεχνητής νοημοσύνης. Χρησιμοποιώντας το μοντέλο Claude Fable 5 της…