Οι μαθηματικοί τυποποιούν το τελευταίο θεώρημα του Φερμά με AI

Σε εκδήλωση στο Λονδίνο, μαθηματικοί σημείωσαν απρόσμενα γρήγορη πρόοδο στην τυποποίηση του τελευταίου θεωρήματος του Φερμά με τη βοήθεια της AI.

Στο λόμπι ενός ξενοδοχείου στο κέντρο του Λονδίνου, οι τουρίστες ετοιμάζονται για μια μέρα περιήγησης μέσα στον καύσωνα. Το προσωπικό, την ίδια ώρα, στρώνει ξανά την τραπεζαρία μετά το πρωινό. Και σε μια αίθουσα συσκέψεων χωρίς παράθυρα, συγκεντρωμένοι ακαδημαϊκοί αναρωτιούνται αν οι άνθρωποι θα έχουν ρόλο στο μέλλον των μαθηματικών, τώρα που η AI μπορεί να αποδεικνύει θεωρήματα μόνη της.

Η γενική αίσθηση στην αίθουσα είναι ένα μείγμα απορίας για το πρόσφατο άλμα στην υπολογιστική νοημοσύνη και ενθουσιασμού για τις δυνατότητες που ανοίγει — μαζί με μια μικρή ανησυχία για το τι σημαίνει αυτό για τους ίδιους προσωπικά.

Μια χρυσή εποχή των μαθηματικών ανατέλλει και οι μαθηματικοί ανησυχούν.

Είκοσι πέντε ερευνητές από διαφορετικά πεδία και χώρες βρίσκονται εδώ για να περάσουν μία εβδομάδα δουλεύοντας στην τυποποίηση του τελευταίου θεωρήματος του Φερμά με προηγμένα μοντέλα AI.

Το τελευταίο θεώρημα του Φερμά απασχολούσε τους μαθηματικούς επί αιώνες, μέχρι να αποδειχθεί το 1993 από τον Andrew Wiles. Λέει ότι δεν υπάρχουν ακέραιοι αριθμοί a, b και c που να ικανοποιούν την εξίσωση aⁿ + bⁿ = cⁿ, όταν το n είναι ακέραιος μεγαλύτερος του 2. Είναι εξαιρετικά εύκολο να διατυπωθεί, αλλά τρομερά δύσκολο να αποδειχθεί.

Τώρα, ο Kevin Buzzard στο Imperial College London εργάζεται σε ένα πενταετές πρόγραμμα για να μετατρέψει τις 100 σελίδες μαθηματικών του Wiles σε κώδικα υπολογιστή με την ονομασία Lean, ώστε να μπορεί να ελεγχθεί τυπικά ως προς την ορθότητά του και να χρησιμοποιηθεί ως βάση για περαιτέρω έρευνα.

Η τυποποίηση μαθηματικών θεωρημάτων τα βγάζει από τον κόσμο του χαρτιού και του μολυβιού και τα τοποθετεί σε μια μορφή που επιτρέπει στους υπολογιστές να τα επεξεργαστούν, ακολουθώντας βήμα βήμα τη λογική και εντοπίζοντας τυχόν λάθη. Ήδη, υπάρχουν 2 εκατομμύρια γραμμές τυποποιημένων μαθηματικών αποθηκευμένες σε ένα κεντρικό αποθετήριο με την ονομασία Mathlib.

Το εργαστήριο έχει φέρει μαζί μαθηματικούς, επιστήμονες υπολογιστών και ειδικούς της AI, με την ελπίδα ότι θα μπορέσουν να προχωρήσουν το σχέδιο του Buzzard ώστε να προστεθεί το τελευταίο θεώρημα του Φερμά σε αυτό το σύνολο, βάζοντας τα πιο πρόσφατα μοντέλα AI να κάνουν μέρος της δύσκολης δουλειάς.

Ομάδες έχουν μαζευτεί γύρω από laptops, με το καθένα να δείχνει ελαφρώς διαφορετικό περιβάλλον για ένα από τα κορυφαία μοντέλα της βιομηχανίας της AI. Η ατμόσφαιρα είναι ζωντανή. Ένα δεύτερο δωμάτιο είχε κλειστεί ώστε όποιος ήθελε να δουλέψει σιωπηλά, αλλά παραμένει άδειο.

Προβλήματα και υποπροβλήματα μοιράζονται, ανατίθενται και λύνονται σταδιακά από ανθρώπινα μυαλά που κατευθύνουν και «σπρώχνουν» την AI. Όπως λέει ο Buzzard, πριν από το εργαστήριο το project είχε συνολικά 20.000 γραμμές κώδικα. Μετά από μόλις την πρώτη μέρα, ο αριθμός αυτός είχε διπλασιαστεί.

Το πρόγραμμα Formalising Fermat χρηματοδοτήθηκε το 2024 και ξεκίνησε αργά, με τον Buzzard να γράφει κώδικα χειροκίνητα, με κόπο. Ο ρυθμός επιταχύνθηκε θεαματικά γύρω στον Δεκέμβριο της περασμένης χρονιάς, λέει ο ίδιος, όταν φάνηκε ότι η ικανότητα των μοντέλων AI να δουλεύουν με προχωρημένα μαθηματικά μεγάλωσε γρήγορα. Έπειτα, τον Μάιο, ένα πρόβλημα 80 ετών που είχε θέσει ο Paul Erdős λύθηκε από μηχανή, αιφνιδιάζοντας πλήρως τον κλάδο. Όλη αυτή η εξέλιξη ανάγκασε τον Buzzard να ξανασκεφτεί το σχέδιό του.

«Πάντα είχα μια ήσυχη σιγουριά ότι θα τα καταφέρναμε. Αλλά τώρα έχουν περάσει δύο χρόνια και η AI έχει γίνει τόσο καλή που το ένστικτό μου είναι πως αυτό είναι γελοίο — αυτό που είπα ότι θα κάνω είναι γελοίο. Ας κάνουμε κάτι δέκα φορές καλύτερο», λέει.

Η απόδειξη του Wiles μπορεί να έφτανε περίπου τις 100 σελίδες, αλλά στηριζόταν σε άλλες περίπου 2.000 σελίδες μαθηματικών από τις δεκαετίες του 1960, του 1970 και του 1980. Το αρχικό σχέδιο του Buzzard ήταν να τυποποιηθεί μόνο η τελική εργασία — ή, τουλάχιστον, οι πιο πρόσφατες βελτιώσεις της — θεωρώντας ότι όλα όσα πατάει είναι σωστά.

Αν όλο το σύνολο των θεωρημάτων ήταν μια πυραμίδα, ο Buzzard είχε σκοπό να ξεκινήσει από το 90% του ύψους της, εκεί όπου βρίσκονται τα πραγματικά ενδιαφέροντα προβλήματα. Τώρα όμως πιστεύει ότι είναι δυνατό να δουλέψει κανείς όλη τη διαδρομή, από την κορυφή μέχρι τη βάση, για λόγους πληρότητας.

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

Τα μαθηματικά περνούν τη μεγαλύτερη αλλαγή στην ιστορία τους.

Η Hang Lu Su από το Imperial College London είναι μία από τις ερευνήτριες που συμμετέχουν στο εργαστήριο. Έμαθε μόνη της το Lean πριν από μόλις έξι μήνες, χρησιμοποιώντας το ChatGPT, και τώρα εργάζεται εδώ στην αιχμή της έρευνας.

Οι περισσότεροι μαθηματικοί που γνωρίζει εξακολουθούν να χρησιμοποιούν χαρτί και μολύβι. Άρα η χρήση της AI και η τυποποίηση που βλέπει κανείς εδώ δεν αντιπροσωπεύουν σε καμία περίπτωση το σημερινό πεδίο, όμως εκείνη θεωρεί πως μπορεί να είναι μια εικόνα του μέλλοντός του. «Νιώθω ότι υπάρχει μια βιομηχανοποίηση της πνευματικής διαδικασίας [που συντελείται]», λέει η Su. «Αν μη τι άλλο, τα εργαλεία της AI δουλεύουν τόσο καλά, που είναι κάπως σαν να λέμε: “Εντάξει, ας αφήσουμε [το μοντέλο AI] Claude να δουλέψει, και εμείς τι κάνουμε μετά;”»

Εδώ χρησιμοποιούνται πολλά διαφορετικά εργαλεία, από δωρεάν και ανοιχτού κώδικα μέχρι τα πιο πρόσφατα και ακριβά μοντέλα νεοφυών εταιρειών στις ΗΠΑ. Κανείς στην εκδήλωση δεν μπορεί να πει με ακρίβεια πόσα χρήματα ξοδεύονται σε tokens, τις μονάδες νοημοσύνης της AI με τις οποίες χρεώνεται η πρόσβαση, αλλά οι περισσότεροι συμφωνούν ότι το ποσό θα φτάνει εύκολα σε χιλιάδες λίρες τη μέρα. «Καίω tokens λες και δεν πληρώνω τον λογαριασμό, σίγουρα», λέει η Su.

Για να λυθούν αυτά τα δύσκολα μαθηματικά προβλήματα, η ομάδα θα χρειαστεί ποιότητα αλλά και ποσότητα. Η Su εξηγεί ότι εκείνη και ένας συνάδελφός της προσπαθούσαν να τυποποιήσουν το ίδιο κομμάτι μαθηματικών την πρώτη μέρα του εργαστηρίου. Εκείνη κατέληξε σε μια λύση 800 λέξεων, ενώ ο συνάδελφός της βρήκε μια λύση 400 λέξεων. Και οι δύο θα μπορούσαν να θεωρηθούν ως απόδειξη του συγκεκριμένου θεωρήματος. Όμως η πιο σύντομη εκδοχή, που συντάχθηκε πιο γρήγορα, θα ήταν ευκολότερο να δουλευτεί από την AI στη συνέχεια και επίσης πιο εύκολα κατανοητή από έναν άνθρωπο.

Ο κώδικας που δημιουργείται από την AI μπορεί να είναι φλύαρος, άκομψος και να χρειάζεται πολύ χρόνο για να εκτελεστεί, λέει ο Buzzard. Κάποιες φορές βασίζεται σε χρήση ασαφών λειτουργιών μέσα στο Lean με τρόπους που δεν είναι οι προβλεπόμενοι, και έτσι δεν θα μεταγλωττίζονται σωστά όταν κυκλοφορήσουν ανανεωμένες εκδόσεις.

Πολλοί από τους επιμελητές της βιβλιοθήκης Mathlib είναι επιφυλακτικοί στο να προστεθεί μεγάλος όγκος αυτού του κώδικα Lean που παράγεται από AI, ακόμη κι αν αποδεικνύει θεωρήματα, ακριβώς για αυτόν τον λόγο, λέει ο Buzzard. Σήμερα, ο κώδικας σε αυτή τη βιβλιοθήκη γράφεται από εξειδικευμένους και προσεκτικούς ανθρώπους μαθηματικούς, που φροντίζουν να είναι αποδοτικός, σύντομος και κατανοητός. Αποτελεί σταθερή βάση για μελλοντική δουλειά. Ο κώδικας που παράγεται σε αυτό το εργαστήριο είναι διαφορετικός.

«Φτιάχνουμε ένα στρώμα slop από πάνω — ας το πούμε απλώς slop — και τώρα το ερώτημα είναι: τι γίνεται όταν προσπαθήσουμε να μετακινήσουμε το επόμενο στρώμα; Μπορούμε να χτίσουμε το επόμενο επίπεδο πάνω σε αυτό ή όλα απλώς κολλάνε;» αναρωτιέται ο Buzzard.

Οι εξελίξεις αυτές θέτουν και φιλοσοφικά, υπαρξιακά ερωτήματα για τους μαθηματικούς. Τουλάχιστον, τα εργαλεία που έχουν στη διάθεσή τους αλλάζουν, και μαζί τους θα αλλάξει και η δουλειά τους. Στην πιο τεχνο-αισιόδοξη εκδοχή, όμως, η AI μπορεί κάποια στιγμή να αναλάβει και να επεκτείνει μόνη της τα όρια των γνωστών μαθηματικών, ξεπερνώντας και αντικαθιστώντας την ανθρώπινη σκέψη.

«Όλοι κάνουμε [μαθηματικά] επειδή τα αγαπάμε και επειδή πιστεύουμε ότι έχουν σημασία. Αλλά τώρα έρχεται η AI και ξαφνικά το ερώτημα είναι: στην πραγματικότητα, γιατί το κάνουμε αυτό; Ποιο είναι το νόημα;» λέει ο Buzzard. «Αν μια μηχανή αποδείξει ένα θεώρημα αλλά κανένας άνθρωπος δεν μπορεί να το καταλάβει, τότε τι έχουμε πετύχει;»

Αυτά τα ερωτήματα γίνονται ακόμη πιο αιχμηρά όταν τα μαθηματικά είναι απολύτως αφηρημένα, στο είδος του κόσμου που περιλαμβάνει σφαίρες 38 διαστάσεων ή σύνθετα προβλήματα χωρίς προφανή άμεση εφαρμογή. «Υπάρχει αυτός ο αφηρημένος κόσμος, αλλά υπάρχει άραγε αν δεν υπάρχουν άνθρωποι να τον εκτιμήσουν;» διερωτάται ο Buzzard.

Η Κίνα ανακτά επιτυχώς το πρώτο στάδιο του Long March 10B

HELSINKI — Η Κίνα εκτόξευσε νωρίς την Παρασκευή τον πύραυλο Long March 10B και ανέκτησε με επιτυχία το πρώτο στάδιο, σε μια σημαντική εξέλιξη για τις προσπάθειές της στον τομέα των επαναχρησιμοποιούμενων πυραύλων.

Ο πρώτος Long March 10B απογειώθηκε στις 12:15 π.μ. Eastern (0415 UTC) στις 10 Ιουλίου από το Hainan Commercial Space Launch Site, στη νότια νησιωτική επαρχία Hainan. Η China Aerospace Science and Technology Corporation (CASC) επιβεβαίωσε την επιτυχή ανάκτηση του πρώτου σταδίου του πυραύλου 11 λεπτά αργότερα, χρησιμοποιώντας θαλάσσια πλατφόρμα με σύστημα σύλληψης μέσω διχτυού.

Βίντεο που κυκλοφόρησαν στα επόμενα λεπτά έδειξαν ελεγχόμενη, υποβοηθούμενη από τους κινητήρες κάθοδο, με μαύρο καπνό να βγαίνει από το πάνω μέρος του πρώτου σταδίου, πριν αυτό συλληφθεί από το θαλάσσιο σκάφος ανάκτησης Linghang Zhe («navigator»). Τα άγκιστρα που αναπτύχθηκαν από τον προωθητή πιάστηκαν σε τεντωμένο δίχτυ. Η ανάκτηση έγινε έξι λεπτά μετά τον διαχωρισμό του πρώτου και του δεύτερου σταδίου.

Η επιτυχής ανάκτηση φέρνει την CASC δίπλα στις αμερικανικές εταιρείες SpaceX και Blue Origin, που έχουν επίσης καταφέρει την ανάκτηση διαστημικού προωθητή.

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

Ο διπλού σταδίου Long March 10B, με διάμετρο πέντε μέτρων, έχει μήκος 63 μέτρα, μάζα 760.000 κιλά κατά την απογείωση και ικανότητα μεταφοράς 16.000 κιλών σε χαμηλή γήινη τροχιά σε επαναχρησιμοποιούμενη διαμόρφωση.

Σύμφωνα με την κρατική κύρια διαστημική εταιρεία της Κίνας, την CASC, ο πύραυλος καλύπτει τις ανάγκες διαφόρων αποστολών, όπως η ανάπτυξη αστερισμών δορυφόρων χαμηλής γήινης τροχιάς για ίντερνετ και οι εκτοξεύσεις μεγάλων εμπορικών δορυφόρων, μειώνοντας παράλληλα το κόστος. Η CASC ανέφερε ότι σκοπεύει να επαναχρησιμοποιήσει το πρώτο στάδιο της σημερινής πτήσης πριν από το τέλος του έτους.

https://t.co/jtCmasw3Y0 pic.twitter.com/ZsbVRk6FS0

«Στο εξής, η ομάδα ανάπτυξης του φορέα Long March 10B θα συνεχίσει να βελτιστοποιεί την απόδοση του πυραύλου και να επιταχύνει τη σταδιακή αναβάθμιση της τεχνολογίας επαναχρησιμοποιούμενων πυραύλων», ανέφερε η CASC.

Το σκάφος ανάκτησης διαθέτει ευέλικτο σύστημα σύλληψης με δίχτυ και υδραυλική απόσβεση. Το σύστημα αυτό σημαίνει ότι το πρώτο στάδιο δεν χρειάζεται σκέλη προσγείωσης, όπως αυτά που χρησιμοποιούν ο Falcon 9 της SpaceX και ο New Glenn της Blue Origin. Οι Long March 12A της Κίνας και ο εμπορικός Zhuque-3 της Landspace είχαν επίσης εξοπλιστεί με σκέλη προσγείωσης, αλλά οι μοναδικές απόπειρες ανάκτησής τους απέτυχαν κατά την κάθοδο. Η δεύτερη εκτόξευση του Zhuque-3 ενδέχεται να πραγματοποιηθεί αργότερα αυτόν τον μήνα, έπειτα από πρόσφατη δοκιμή στατικού πυροδοτήματος στο εμπορικό τμήμα του διαστημοδρομίου Jiuquan.

Ενίσχυση των σεληνιακών φιλοδοξιών

Η εκτόξευση σηματοδοτεί επίσης μεγάλη πρόοδο για τα προγράμματα επανδρωμένων διαστημικών πτήσεων και επανδρωμένων σεληνιακών αποστολών της Κίνας. Η αποστολή της 10ης Ιουλίου σχεδιάστηκε ως δοκιμαστική πτήση πλήρους προφίλ του πρώτου σταδίου του Long March 10A, ενός πυραύλου που προορίζεται να μεταφέρει το νέο επανδρωμένο σκάφος Mengzhou — διάδοχο του Shenzhou, μεγαλύτερο και εν μέρει επαναχρησιμοποιούμενο — σε χαμηλή γήινη τροχιά. Ο πλήρης Long March 10, με τρεις πυρήνες, θα χρησιμοποιηθεί για τη μεταφορά αστροναυτών και ενός σεληνιακού συστήματος προσεδάφισης στη Σελήνη, με την Κίνα να έχει δεσμευτεί να στείλει δύο αστροναύτες στην επιφάνειά της πριν από το 2030.

Ο Long March 10B είναι η έκδοση για φορτίο του 10A. Το πρώτο στάδιό του είναι κοινό με αυτό του 10A και χρησιμοποιεί επτά κινητήρες YF-100K υγρού κηροζίνης και υγρού οξυγόνου, οι οποίοι παράγουν συνολική ώση 890 τόνων, ενώ το δεύτερο στάδιο του 10B χρησιμοποιεί κινητήρα που καίει μεθάνιο και υγρό οξυγόνο. Πιστεύεται ότι ο 10B αποτελεί την πρώτη πτήση του κινητήρα YF-219 methalox της CASC.

Ένας μονοσταδιακός demonstrator του Long March 10A χρησιμοποιήθηκε τον Φεβρουάριο για να πραγματοποιηθεί δοκιμή διαφυγής εν πτήσει για το επανδρωμένο σκάφος Mengzhou, με το στάδιο στη συνέχεια να εκτελεί ελεγχόμενη προωθητική κάθοδο και προσθαλάσσωση κοντά στο σκάφος ανάκτησης.

Η δοκιμή αυτή άνοιξε τον δρόμο για μια προσπάθεια εκτόξευσης και ανάκτησης του 10B, με τον πύραυλο να μεταφέρεται για πρώτη φορά στο πεδίο εκτόξευσης τον Απρίλιο. Ωστόσο, τα παράθυρα εκτόξευσης ακυρώθηκαν και η εκτόξευση πραγματοποιήθηκε τελικά στις 10 Ιουλίου.

Το επιτυχημένο ντεμπούτο του Long March 10B φαίνεται να ανοίγει τον δρόμο για την πρώτη εκτόξευση του 10A, που αναμένεται να μεταφέρει ένα μη επανδρωμένο Mengzhou σε μια πρώτη πλήρη τροχιακή αποστολή. Η CASC δεν έδωσε χρονοδιάγραμμα για την αποστολή, ωστόσο έχει αφήσει να εννοηθεί ότι μια τέτοια πτήση μπορεί να γίνει το 2026, με την έκδοση του διακριτικού αποστολής Mengzhou-1.

Ο Andrew Jones καλύπτει τη διαστημική βιομηχανία της Κίνας για τα GBTIMES και SpaceNews. Εδρεύει στο Helsinki της Φινλανδίας. Περισσότερα από τον Andrew Jones

Η ElevationSpace προχωρά στην ανάπτυξη εμπορικού οχήματος επανεισόδου

TOKYO — Μια ιαπωνική startup που αναπτύσσει οχήματα επανεισόδου κλείνει συνεργασίες με πελάτες και προετοιμάζει την πρώτη της αποστολή, παρακολουθώντας παράλληλα στενά την είσοδο της SpaceX στην αγορά.

Η ElevationSpace ανακοίνωσε στις 9 Ιουλίου μνημόνιο συνεργασίας με τη Space Cargo Unlimited, εταιρεία διαστημικής παραγωγής με έδρα το Λουξεμβούργο. Με βάση τη συμφωνία, οι δύο εταιρείες θα εξετάσουν τη μεταφορά της πειραματικής πλατφόρμας BentoBox της Space Cargo Unlimited με τα οχήματα επανεισόδου της ElevationSpace.

«Συνδυάζοντας την πλατφόρμα παραγωγής σε μικροβαρύτητα της Space Cargo Unlimited με τις καινοτόμες δυνατότητες επιστροφής της ElevationSpace, διασφαλίζουμε ότι ιδιαίτερα ευαίσθητα φορτία, όπως δείγματα φαρμακευτικής και βιοτεχνολογίας, μπορούν να επιστρέφουν με ασφάλεια στη Γη, δημιουργώντας πιο ισχυρή βάση για την επόμενη γενιά εμπορικών διαστημικών υπηρεσιών», δήλωσε σε ανακοίνωσή του ο Nicolas Gaume, διευθύνων σύμβουλος της Space Cargo Unlimited.

Η ElevationSpace αναπτύσσει μια σειρά οχημάτων επανεισόδου για την επιστροφή φορτίων από το διάστημα. Το διαστημόπλοιο ELS-R θα είναι ένα free flyer που θα εκτοξεύεται σε χαμηλή τροχιά γύρω από τη Γη και θα φιλοξενεί φορτία πριν τα επιστρέψει στη Γη. Το ELS-RS θα εκτοξεύεται προς διαστημικό σταθμό με σκάφος μεταφοράς φορτίου και θα επιστρέφει φορτία από τον σταθμό.

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

«Ως προς την ομαλότητα, είναι κατάλληλο για κάθε φορτίο», είπε ο Kazunari Miyamaru, chief operating officer της ElevationSpace, σε πάνελ στο συνέδριο Spacetide στις 9 Ιουλίου. «Επιτρέπει αξιόπιστη προσγείωση οπουδήποτε».

Η ElevationSpace εργάζεται πάνω σε έναν επιδείκτη επανεισόδου με την ονομασία AOBA, ο οποίος εντάσσεται στη σειρά ELS-R και είναι προγραμματισμένος να εκτοξευθεί στα μέσα του 2027. Στις 19 Ιουνίου ανακοίνωσε ότι ολοκλήρωσε γύρο Series B ύψους 40 εκατομμυρίων δολαρίων, ανεβάζοντας το συνολικό ποσό που έχει συγκεντρώσει η εταιρεία των 90 ατόμων στα 63,5 εκατομμύρια δολάρια.

Οι προσπάθειες της ElevationSpace και άλλων εταιρειών που αναπτύσσουν οχήματα επανεισόδου αντιμετωπίζουν πλέον νέο ανταγωνισμό από τη SpaceX. Η εταιρεία πραγματοποίησε την πρώτη δοκιμαστική πτήση του οχήματος Starfall στις 23 Ιουνίου, με το όχημα να επανεισέρχεται πάνω από τον Ειρηνικό λίγες ώρες μετά την εκτόξευση.

Σύμφωνα με περιβαλλοντικά έγγραφα της Federal Aviation Administration, το Starfall έχει σχεδιαστεί για να μεταφέρει έως και 1.000 κιλά φορτίου μέσα σε όχημα σε σχήμα δίσκου. Ο σχεδιασμός του φαίνεται να είναι βελτιστοποιημένος για το όχημα Starship της SpaceX, αν και ο πρώτος επιδεικτικός Starfall εκτοξεύτηκε με Falcon 9.

Το Starfall έχει προκαλέσει ανησυχίες ότι η SpaceX θα μπορούσε να διαταράξει την αναδυόμενη αγορά οχημάτων επανεισόδου, όπως έχει κάνει και στις εκτοξεύσεις. Ωστόσο, ο Miyamaru είπε ότι υπάρχει χώρος για πολλές εταιρείες με διαφορετικές δυνατότητες.

«Είναι απόδειξη ότι αυτή η αγορά ανοίγει», είπε για το Starfall, κάνοντας αναλογία με την εμπορική αεροπορία. «Στον χώρο των αερογραμμών υπάρχουν διάφοροι τύποι αεροσκαφών: δικινητήρια αεροσκάφη ευρείας ατράκτου και μικρότερα αεροσκάφη. Εξαρτάται από τη ζήτηση του πελάτη και τη συχνότητα».

Παρόμοια άποψη εξέφρασαν και άλλοι συμμετέχοντες στο πάνελ. «Αν κοιτάξουμε τον κόσμο σήμερα και σκεφτούμε ποιες χώρες έχουν μέχρι τώρα δυνατότητες επανεισόδου, είναι πολύ λίγες. Μετριούνται στα δάχτυλα του ενός χεριού», είπε η Dana Baki, chief commercial officer της The Exploration Company, που αναπτύσσει την κάψουλα Nyx.

«Υπάρχει σαφές κενό στην αγορά», είπε. «Τώρα είναι η στιγμή, γιατί δεν θέλουμε ο κόσμος να εξαρτάται από μία χώρα ή μία εταιρεία».

«Νομίζω ότι το μάθημα που πρέπει να πάρουμε από την εκτόξευση και την πρόσβαση στο διάστημα είναι να είμαστε σίγουροι για το μέγεθος της αγοράς για την επανείσοδο», είπε ο Jeremy Hallett, πρόεδρος του διοικητικού συμβουλίου της Southern Launch, της αυστραλιανής εταιρείας που λειτουργεί τοποθεσίες εκτόξευσης και επανεισόδου.

«Συνεχίστε στον ίδιο δρόμο και συνεχίστε να κερδίζετε, γιατί χρειαζόμαστε περισσότερο ανταγωνισμό», είπε στον Miyamaru.

Ένεση μειώνει στο μισό τον κίνδυνο ανευπλοειδίας στα ωάρια μεγαλύτερης ηλικίας

Τα ωάρια που δεν διαθέτουν μια βασική πρωτεΐνη μπορεί να είναι πιο πιθανό να καταλήξουν με λάθος αριθμό χρωμοσωμάτων. Μια ένεση mRNA που βοηθά τα κύτταρα να παράγουν την πρωτεΐνη αυτή φαίνεται ότι μειώνει το πρόβλημα.

Τα ανθρώπινα ωάρια με περισσότερα ή λιγότερα χρωμοσώματα από το φυσιολογικό μπορεί να οδηγήσουν σε αποβολή, αποτυχία της εξωσωματικής και παθήσεις όπως το σύνδρομο Down. Τώρα, ερευνητές διαπίστωσαν ότι μια μόνο ένεση μπορεί να περιορίσει σημαντικά το πρόβλημα. Η προσέγγιση αυτή θα μπορούσε τελικά να αυξήσει τις πιθανότητες επιτυχίας για μεγαλύτερης ηλικίας γυναίκες που υποβάλλονται σε εξωσωματική γονιμοποίηση.

«Πραγματικά μοιάζει με κάτι πολύ σημαντικό», λέει ο Marcos Iuri Roos Kulmann από τη Nilo Frantz Reproductive Medicine στο Πόρτο Αλέγκρε της Βραζιλίας, ο οποίος δεν συμμετείχε στη νέα έρευνα. «Απ’ όσο γνωρίζω, αυτή είναι η πρώτη [θεραπεία] που δείχνει τόσο κλινικό δυναμικό για τη διόρθωση αυτής της βασικής αιτίας αποτυχίας της εξωσωματικής.»

Κατά τη διαδικασία που ονομάζεται μείωση, τα ωάρια και τα σπερματοζωάρια αποβάλλουν ακριβώς το μισό γενετικό τους υλικό. Έτσι, όταν ενώνονται στη γονιμοποίηση, σχηματίζουν ένα έμβρυο με πλήρες γονιδίωμα. Κάποιες φορές, όμως, ένα σπερματοζωάριο ή ένα ωάριο έχει λίγο περισσότερο ή λίγο λιγότερο από το μισό γονιδίωμα που θα έπρεπε να περιέχει. Αυτή η κατάσταση ονομάζεται ανευπλοειδία.

Η ανευπλοειδία αφορά περίπου το 10% έως 25% των ωαρίων στις αρχές των 30 και γίνεται συχνότερη με την ηλικία. «Ήδη στα τέλη των 30, περισσότερο από το 65% όλων των ωαρίων είναι ανευπλοειδή», είπε η Agata Zielinska από την Ovo Labs, βιοτεχνολογική εταιρεία στη Γερμανία, στο συνέδριο της Ευρωπαϊκής Εταιρείας Ανθρώπινης Αναπαραγωγής και Εμβρυολογίας στο Λονδίνο, στις 6 Ιουλίου.

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

Τώρα, η Zielinska και οι συνεργάτες της διαπίστωσαν ότι το επίπεδο μιας πρωτεΐνης που ονομάζεται shugoshin-1 είναι σημαντικά χαμηλότερο στα μεγαλύτερης ηλικίας ωάρια ποντικών και ανθρώπων σε σχέση με τα νεότερα. Η shugoshin-1 βοηθά σε ένα στάδιο της μείωσης, κατά το οποίο δύο αντίγραφα κάθε χρωμοσώματος ευθυγραμμίζονται στο κέντρο ενός ανώριμου ωαρίου. Η πρωτεΐνη διατηρεί τη μοριακή «κόλλα» που κρατά ενωμένο κάθε ζεύγος.

Μετά τη γονιμοποίηση, τα δύο αντίγραφα των χρωμοσωμάτων χωρίζονται και κινούνται προς αντίθετες πλευρές του κυττάρου. Το ένα άκρο τελικά σχηματίζει το ώριμο ωάριο και το άλλο απορρίπτεται.

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

Για να εξετάσουν αν η αναπλήρωση της shugoshin-1 θα μπορούσε να αποτρέψει την ανευπλοειδία, βοηθώντας στη διατήρηση των ζευγών των χρωμοσωμάτων, η ομάδα συνέλεξε 111 πλεονάζοντα, ανώριμα ωάρια από περισσότερες από 30 γυναίκες ηλικίας 22 έως 43 ετών, που είτε αποθήκευαν ωάρια είτε υποβάλλονταν σε εξωσωματική.

Η ομάδα εγχύσε το γενετικό «σχέδιο» για τη shugoshin-1, σε μορφή mRNA, σε ένα ή περισσότερα ωάρια κάθε δότριας και άφησε άλλα ωάρια της ίδιας δότριας χωρίς θεραπεία.

Λίγες ώρες αργότερα, τα χρωμοσώματα είχαν αποχωριστεί πρόωρα στο 53% των αθεράπευτων ωαρίων, ενώ το αντίστοιχο ποσοστό στα θεραπευμένα ήταν σχεδόν το μισό, στο 29%. Στα ωάρια από εννέα δότριες άνω των 35 ετών, τα ποσοστά ανευπλοειδίας ήταν κατά μέσο όρο 65% στα αθεράπευτα ωάρια. Στα θεραπευμένα ωάρια, όμως, ο μέσος όρος έπεσε στο 44%. Η μείωση αυτή δεν ήταν στατιστικά σημαντική, πιθανότατα λόγω του μικρού μεγέθους του δείγματος, σύμφωνα με τους ερευνητές.

Περαιτέρω πειράματα έδειξαν ότι η προσέγγιση αυτή μπορούσε να αποτρέψει την ανευπλοειδία σε ωάρια ποντικών, τα οποία στη συνέχεια γονιμοποιήθηκαν επιτυχώς και έδωσαν υγιείς απογόνους.

Δεν παρατηρήθηκαν παρενέργειες ούτε στις μελέτες σε ποντίκια ούτε στις ανθρώπινες. «Έχουμε πετύχει ζωντανές γεννήσεις σε ποντίκια, οπότε, από αυτή την άποψη, είμαστε βέβαιοι ότι αυτή η προσέγγιση δεν παρεμβαίνει στο μοντέλο του ποντικού σε κανένα βήμα της εμβρυϊκής ανάπτυξης και δεν επηρεάζει την υγεία των νεογνών και την υγεία της κύησης», είπε η Zielinska στο κοινό του συνεδρίου.

Οι ερευνητές εργάζονται τώρα ώστε να δοκιμάσουν τις επιδράσεις της shugoshin-1 σε ανθρώπους. Αυτό θα απαιτούσε προσαρμογή της τυπικής εξωσωματικής ώστε να χρησιμοποιούνται ανώριμα ωάρια αντί για ώριμα, αλλά η αλλαγή αυτή θα ήταν σχετικά εύκολη στην εφαρμογή, λέει η Zielinska.

Η ίδια ελπίζει ότι η θεραπεία, την οποία η ομάδα ονομάζει EmbryoProtect, θα προσφέρει έναν οικονομικά προσιτό τρόπο βελτίωσης της εξωσωματικής για μεγαλύτερης ηλικίας γυναίκες. «Περιμένουμε ότι η θεραπεία θα κοστίζει ένα κλάσμα του κόστους ενός πλήρους κύκλου εξωσωματικής», λέει η Zielinska. «Βελτιώνοντας ουσιαστικά τα ποσοστά επιτυχίας της εξωσωματικής, ειδικά για γυναίκες άνω των 35 ετών, όπου η βασική επιτυχία είναι χαμηλή, ελπίζουμε ότι θα χρειάζονται λιγότερες προσπάθειες για σύλληψη.»

Νέα μαθηματική βάση για τη θερμοδυναμική μετά από 200 χρόνια

Οι φυσικοί νόμοι που αφορούν τη θερμότητα και το έργο μπορεί να αποκτήσουν πιο σταθερή μαθηματική βάση χάρη στη «gauge theory», η οποία ήδη βοηθά στην κατανόηση των κβαντικών πεδίων.

Της Karmela Padavic-Callaghan

Η σύγκριση της θερμοδυναμικής με μπίλιες και τις σκιές τους προσφέρει έναν νέο τρόπο μελέτης της γνωστής θεωρίας Priscila Zambotto/Getty Images

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

Priscila Zambotto/Getty Images

Η θεωρία της θερμοδυναμικής μάς βοηθά να κατανοήσουμε συσκευές όπως οι κινητήρες εδώ και περισσότερα από 200 χρόνια, όμως η μαθηματική της θεμελίωση ήταν πάντα κάπως ασαφής. Τώρα, ερευνητές επιχειρούν να τη στηρίξουν σε πιο σταθερές βάσεις, με μαθηματικά που χρησιμοποιούνται πιο συχνά για την περιγραφή κβαντικών πεδίων.

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

Παρότι η θερμοδυναμική είναι μια εξαιρετικά επιτυχημένη θεωρία, ιστορικά της έλειπε η μαθηματική αυστηρότητα, λέει ο Bryan Roberts από το London School of Economics and Political Science. Ο ίδιος έχει ξεκινήσει να την αναδομεί με βάση μαθηματικές ιδέες που αντλούν από τη γεωμετρία και την κβαντική θεωρία πεδίου, σε μια σημαντική απόκλιση από τον τρόπο με τον οποίο η θερμοδυναμική έχει μέχρι σήμερα κατανοηθεί και διδαχθεί.

Μπορεί να χρειαζόμαστε έναν τέταρτο νόμο της θερμοδυναμικής για τα ζωντανά συστήματα

Κεντρική έννοια στην προσπάθεια του Roberts να ξαναχτίσει τη θερμοδυναμική είναι η «gauge theory», η οποία συνήθως ασχολείται με ιδιότητες αντικειμένων που δεν είναι άμεσα παρατηρήσιμες ή χειρίσιμες.

Ένα απλοποιημένο παράδειγμα, με μπίλιες που κυλούν πάνω σε μια επιφάνεια, βοηθά να γίνει κατανοητή η προσέγγιση. Οι μπίλιες φαίνονται ίδιες, αλλά η καθεμία έχει διαφορετικό χρώμα κρυμμένο στο κέντρο της.

Το καλύτερο από το New Scientist, με μεγάλα κείμενα, πολιτισμό, podcasts και ειδήσεις, κάθε εβδομάδα.

Σε μια gauge theory, θα υπήρχε ένας μαθηματικός χώρος — ο «observable» χώρος — που ορίζεται από αριθμούς οι οποίοι αποτυπώνουν την κίνηση των μπιλιών, και ένας άλλος χώρος — ο «bundle» χώρος — που μπορεί να διαμορφωθεί ώστε να περιέχει πληροφορίες για το εσωτερικό χρώμα κάθε μπίλιας.

Αυτοί οι δύο μαθηματικοί χώροι συνδέονται βαθιά μεταξύ τους, με τον observable χώρο να αποτελεί την προβολή του μη παρατηρήσιμου bundle χώρου. Ο Roberts λέει ότι αυτό μοιάζει λίγο με το να ρίχνεις φως σε ένα αντικείμενο. Ακόμη κι αν για κάποιον λόγο δεν μπορούσες να δεις το αντικείμενο απευθείας, θα μπορούσες να διακρίνεις ορισμένες ιδιότητές του απλώς μελετώντας τη σκιά του.

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

«Υπάρχουν, σε έναν βαθμό, δύο επίπεδα στη θερμοδυναμική», λέει. «Υπάρχει το προσβάσιμο επίπεδο, πράγματα από τα οποία μπορείς να πάρεις έργο, επειδή μπορείς κάπως να τα πιάσεις και να τα μετακινήσεις – όπως το έμβολο που ανεβοκατεβαίνει σε έναν κινητήρα». Και υπάρχει ένα λιγότερο προσβάσιμο επίπεδο: η θερμότητα που παράγεται ή χάνεται σε ένα σύστημα, η οποία δεν μπορεί να χειριστεί κανείς τόσο άμεσα. Ο Roberts το ορίζει αυτό ως μια κρυφή συνεισφορά στην ενέργεια.

Η «αντίστροφη» θερμότητα δείχνει ότι οι νόμοι της θερμοδυναμικής ίσως χρειάζονται κβαντική ανανέωση

Αυτή δεν είναι μια διάκριση που έχει μαθηματικό βάρος στην παραδοσιακή θερμοδυναμική. Εκεί, το «έργο» και η «θερμότητα» τοποθετούνται σε ισότιμη βάση και το άθροισμά τους εξηγεί τις μεταβολές στη συνολική ενέργεια ενός αντικειμένου. Για τον Roberts, όμως, η κρυφή φύση της συνιστώσας της θερμότητας στην ενέργεια τον οδηγεί να χαρτογραφήσει τη θερμοδυναμική πάνω στη δομή μιας gauge theory, τοποθετώντας την στον bundle χώρο.

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

Για παράδειγμα, η θερμοκρασία και η εντροπία — δύο θεμελιώδη μεγέθη της θερμοδυναμικής — μπορούν να οριστούν με βάση μια συγκεκριμένη προβολή από τον bundle χώρο προς τον observable χώρο. Ο Roberts λέει ότι αυτό αποτελεί έναν πιο γεωμετρικό ορισμό της εντροπίας από πολλούς προηγούμενους, κάτι που διευκολύνει την εφαρμογή του σε γενικά συστήματα, από κινητήρες έως μαύρες τρύπες.

Χωρίς χώρο, χωρίς χρόνο, χωρίς σωματίδια: Μια ριζική θεώρηση της κβαντικής πραγματικότητας

Επιπλέον, η δομή της gauge theory έχει συνδεθεί με πειράματα στην κβαντική θεωρία των ηλεκτρομαγνητικών πεδίων, και ο Roberts εκτιμά ότι κάτι παρόμοιο μπορεί να συμβεί και με τη θερμοδυναμική. Συγκεκριμένα, λέει ότι προκαταρκτικά πειράματα με ορισμένες μοριακές ενώσεις υποδηλώνουν ένα θερμοδυναμικό ανάλογο του φαινομένου Aharonov-Bohm, ενός γνωστού πειράματος στο οποίο ένα φορτισμένο σωματίδιο φαίνεται να επηρεάζεται από ένα κρυφό μαγνητικό πεδίο.

Ο Roberts παρουσίασε την εργασία στο συνέδριο Foundations of Physics στο Irvine της Καλιφόρνια, στις 16 Ιουνίου.

Ο Lucas Céleri από το Federal University of Goiás στη Βραζιλία λέει ότι η ιδέα του Roberts είναι όμορφη και συμπληρώνει τις προσπάθειες που βρίσκονται σε εξέλιξη για την κατανόηση της θερμοδυναμικής στο κβαντικό πεδίο, επίσης ως gauge theory.

Μια κβαντική κατάσταση που διαρκεί για πάντα μπορεί επιτέλους να είναι κοντά μας

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

Όταν εφαρμόζεται σε κβαντικά αντικείμενα, η θερμοδυναμική γίνεται ακόμη λιγότερο καλά ορισμένη και σαφής, λέει ο Céleri. «Ανησυχώ για την κβαντική θερμοδυναμική, γιατί υπάρχουν τόσοι πολλοί ορισμοί της θερμότητας και του έργου, για παράδειγμα. Άρα, αν μπορείς να το εντάξεις σε μια αυστηρή μαθηματική θεωρία, ίσως μπορέσουμε να διατυπώσουμε μια [πιο] συνεπή και μοναδική κατανόηση», λέει.

Ο ίδιος και οι συνεργάτες του εργάζονται προς αυτή την κατεύθυνση, στρεφόμενοι στη gauge theory, η οποία, όπως λέει ο Céleri, μέχρι στιγμής έχει πετύχει να αναπαράγει ορισμένα καθιερωμένα αποτελέσματα της κβαντικής θερμοδυναμικής.

Μια μεγάλη πρόκληση τόσο για την κβαντική όσο και για την κλασική θερμοδυναμική στο μέλλον θα είναι η σύνδεσή τους με την ειδική θεωρία της σχετικότητας του Albert Einstein, όμως και εδώ τα μαθηματικά των gauges ίσως είναι πιο κατάλληλα από τις πιο παραδοσιακές προσεγγίσεις, λέει ο Céleri.

Η Fidji Simo αποχωρεί από την ηγεσία του AGI στην OpenAI λόγω ασθένειας

Η Fidji Simo της OpenAI αποχωρεί από τη θέση πλήρους απασχόλησης ως επικεφαλής του AGI της εταιρείας και περνά σε ρόλο «part-time advisor», όπως ανακοίνωσε η ίδια στο X.

Η εξέλιξη έρχεται μετά την αρχική ανακοίνωσή της, τον Απρίλιο, ότι θα έπαιρνε μερικές εβδομάδες ιατρική άδεια λόγω μιας νευροανοσολογικής πάθησης, λίγο αφότου είχε αναλάβει τον τίτλο της επικεφαλής του AGI. Προηγουμένως είχε διατελέσει CEO των εφαρμογών της εταιρείας. Την ίδια περίοδο, ο COO Brad Lightcap αποχώρησε επίσης από τον ρόλο του για να επικεντρωθεί σε «ειδικά projects», ενώ η CMO της OpenAI, Kate Rouch, αποχώρησε επίσης για να εστιάσει στην υγεία της. Η Rouch σχεδίαζε να επιστρέψει σε έναν «πιο περιορισμένο ρόλο» όταν το επέτρεπε η υγεία της, είχε γράψει τότε η Simo.

Η ανακοίνωση της Simo τον Απρίλιο έφερε και σειρά αλλαγών στα ανώτατα κλιμάκια της OpenAI. Όσο βρισκόταν σε ιατρική άδεια, ο πρόεδρος της εταιρείας Greg Brockman ανέλαβε το προϊόν, συμπεριλαμβανομένης της προσπάθειας της OpenAI για μια «super app», ενώ ο CSO Jason Kwon, η CFO Sarah Friar και η CRO Denise Dresser είχαν αναλάβει το επιχειρηματικό σκέλος.

Περίπου έναν μήνα αργότερα, στα μέσα Μαΐου, τα δεδομένα άλλαξαν ξανά, με αναδιοργάνωση της εταιρείας. Ο Brockman ανέλαβε επίσημα τη στρατηγική προϊόντων της OpenAI και το «scaling», με επικεφαλής τέσσερις διαφορετικούς πυλώνες: core product and platform, critical enterprise industries, consumer, δηλαδή health, commerce και personal finance, και core infrastructure, ads, data science και growth. Σε υπόμνημα που είδε το The Verge τον Μάιο, ο Brockman έγραφε ότι η αναδιοργάνωση θα βοηθούσε την εταιρεία να δώσει προτεραιότητα στους στόχους της γύρω από τους AI agents, συνδυάζοντας τα προϊόντα της ώστε να «επενδύσει σε μια ενιαία agentic πλατφόρμα και να ενώσει το ChatGPT και το Codex σε μία ενιαία agentic εμπειρία για όλους».

«Πριν από τρεις μήνες, χρειάστηκε να πάρω ιατρική άδεια μετά από μια σοβαρή έξαρση μιας χρόνιας ασθένειας με την οποία ζω εδώ και επτά χρόνια», έγραψε η Simo στο X. «Κατά τη διάρκεια αυτής της περιόδου, έγινε σαφές ότι ο δρόμος προς την ανάρρωση θα ήταν πολύ πιο μακρύς και πολύ πιο περίπλοκος από ό,τι είχα φανταστεί — και ότι έπρεπε να επικεντρωθώ πλήρως σε αυτό … Ήταν μια συγκλονιστική εμπειρία να περνάω τις μέρες μου βοηθώντας να χτιστεί το μέλλον, ενώ ταυτόχρονα διαχειρίζομαι μια αναπηρική ασθένεια που ακόμη δεν έχει θεραπεία».

Ο CEO της OpenAI, Sam Altman, έγραψε στο X ότι είναι «πολύ λυπημένος γι’ αυτό» και ότι είναι ευγνώμων στη Simo.

Η Microsoft αύξησε κατά 25% τις εκπομπές άνθρακα το 2025

Η Microsoft ενδέχεται να αντιμετωπίζει ξανά δυσκολίες στην πορεία προς τους κλιματικούς της στόχους, σύμφωνα με την έκθεση βιωσιμότητας του 2026. Όπως αναφέρει το GeekWire, η έκθεση σημειώνει ότι οι εκπομπές άνθρακα της εταιρείας αυξήθηκαν κατά 25% το 2025, φτάνοντας τους 34 εκατομμύρια μετρικούς τόνους «χωρίς επιλεγμένες παρεμβάσεις».

Η Microsoft αναφέρει ότι η αύξηση αυτή οφείλεται κυρίως στην επέκταση της υποδομής των datacenters της, αλλά και στην απόφαση που έλαβε τον περασμένο Φεβρουάριο να σταματήσει την αγορά «μη πρόσθετων, μη συνδυασμένων πιστοποιητικών ανανεώσιμης ενέργειας».

Πριν από μερικά χρόνια, η Microsoft έθεσε ως στόχο να γίνει carbon negative έως το 2030, κάτι που σημαίνει ότι θα πρέπει να απομακρύνει περισσότερο διοξείδιο του άνθρακα απ’ όσο παράγει. Δεν είναι η πρώτη φορά που η εταιρεία βλέπει εμπόδια στην προσπάθειά της να πετύχει αυτόν τον στόχο, καθώς και η έκθεση βιωσιμότητας του 2024 είχε δείξει αντίστοιχη αύξηση στη ρύπανση από το κλίμα.

Η φετινή έκθεση παραδέχεται ότι, «ενώ η υποδομή της AI οδηγεί τη ζήτηση για ενέργεια, νερό, γη και υλικά, οι λύσεις βιωσιμότητας δεν κλιμακώνονται αρκετά γρήγορα ώστε να καλύψουν τη ζήτηση».

Αντίστοιχη αύξηση κατά 25% στις εκπομπές της εφοδιαστικής της αλυσίδας ανέφερε και η Google στην έκθεση βιωσιμότητας του 2026, ενώ η Amazon κατέγραψε μικρότερη αύξηση, της τάξης του 16%. Τον Ιούνιο, η Amazon ανακοίνωσε επίσης ότι τα datacenters της χρησιμοποίησαν 2,5 δισεκατομμύρια γαλόνια νερού το 2025, ποσότητα που, όπως υποστηρίζει, είναι μικρότερη από εκείνη που χρησιμοποίησε η Microsoft.

Αυτός είναι ο τίτλος για native ad

Ανθρώπινοι αμφιβληστροειδείς ανταποκρίθηκαν στο φως 10 ώρες μετά τον θάνατο

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

Η διατήρηση της λειτουργίας του αμφιβληστροειδούς εκτός σώματος αποτελεί βήμα προς αποτελεσματικές μεταμοσχεύσεις Michael Lutz/Alamy

Η διατήρηση της λειτουργίας του αμφιβληστροειδούς εκτός σώματος αποτελεί βήμα προς αποτελεσματικές μεταμοσχεύσεις

Τα ανθρώπινα μάτια διατηρήθηκαν ενεργά εκτός σώματος έως και 10 ώρες μετά τον θάνατο, στο διπλάσιο χρονικό διάστημα από ό,τι είχε επιτευχθεί μέχρι σήμερα. Η παροχή αίματος και οξυγόνου στα δωρημένα μάτια σημαίνει ότι συνέχισαν να ανταποκρίνονται στο φως, ενώ διατηρήθηκε και η δομή τους, καθώς και η συνολική τους υγεία, για 24 ώρες.

«Αυτή η εργασία αναμφίβολα αποτελεί ένα σημαντικό βήμα προς τη δυνατότητα μεταμόσχευσης ολόκληρου του ματιού», λέει ο Thomas Johnson στο Johns Hopkins University στη Βαλτιμόρη του Maryland, ο οποίος δεν συμμετείχε στην έρευνα. «Η διατήρηση των αποκρίσεων στο φως εκτός σώματος είναι ένα τεράστιο επίτευγμα».

Νέο χρώμα παρατηρήθηκε για πρώτη φορά με τέχνασμα στα μάτια

Περισσότεροι από ένα εκατομμύριο άνθρωποι στο Ηνωμένο Βασίλειο είναι τυφλοί ή έχουν μερική όραση λόγω μιας μη αναστρέψιμης οφθαλμικής πάθησης, όπως η εκφύλιση της ωχράς κηλίδας λόγω ηλικίας, που επηρεάζει τον αμφιβληστροειδή, τον φωτοευαίσθητο ιστό στο πίσω μέρος του ματιού.

Έχουν σημειωθεί ορισμένες πρόοδοι. Για παράδειγμα, οι μεταμοσχεύσεις κερατοειδούς, που αντικαθιστούν το διαφανές «παράθυρο» στο μπροστινό μέρος του ματιού με ιστό από δότη, μπορούν να βελτιώσουν την όραση σε ανθρώπους με κατεστραμμένους κερατοειδείς. Όμως η αντιμετώπιση του αμφιβληστροειδούς είναι πιο δύσκολη, καθώς συνδέεται με το κεντρικό νευρικό σύστημα.

Αν και το 2023 πραγματοποιήθηκε μερική μεταμόσχευση προσώπου και ολόκληρου του ματιού, δεν αποκατέστησε την όραση του λήπτη. Αυτό αποτελεί μεγάλη πρόκληση, εν μέρει επειδή ο αμφιβληστροειδής είναι εξαιρετικά ευάλωτος στην εκφύλιση που προκαλείται από την έλλειψη οξυγόνου, γνωστή ως ισχαιμία. «Ακόμη και μια σύντομη περίοδος ισχαιμίας είναι πιθανό να προκαλέσει μη αναστρέψιμη εκφύλιση των φωτοευαίσθητων νευρώνων και κυκλωμάτων», λέει ο Johnson.

Οδηγός βασισμένος στην επιστήμη για απλές συνήθειες που θα σας βοηθήσουν να κοιμάστε καλύτερα, να αγχώνεστε λιγότερο, να τρώτε πιο έξυπνα και να γερνάτε καλύτερα.

Η Eimear Byrne από το Barcelona Institute of Science and Technology στην Ισπανία και οι συνεργάτες της αναρωτήθηκαν αν θα μπορούσαν να μειώσουν αυτή τη βλάβη, διατηρώντας ένα δωρημένο μάτι υπό τις ίδιες συνθήκες που επικρατούν μέσα στο σώμα.

Για να το πετύχουν, δημιούργησαν ένα σύστημα που περιλάμβανε την τοποθέτηση ενός εύκαμπτου σωλήνα στην οφθαλμική αρτηρία, η οποία τροφοδοτεί με αίμα το μάτι και τις γύρω δομές. Στη συνέχεια, αιμάτωσαν το δωρημένο μάτι με ένα οξυγονωμένο διάλυμα, χρησιμοποιώντας μια ειδικά κατασκευασμένη συσκευή που ονομάζουν Eye-in-Care-Box, η οποία αξιοποιεί αισθητήρες για να ρυθμίζει αυτόματα την πίεση και τη ροή.

Για να ελέγξουν την τεχνική, οι ερευνητές αφαίρεσαν και τα δύο μάτια από έξι δότες, αιματώνοντας κάθε φορά το ένα και αφήνοντας το άλλο χωρίς αιμάτωση. Το σύστημα αιμάτωσης διατήρησε τη δομή του αμφιβληστροειδούς και τη υγεία των γύρω κυττάρων για έως και 24 ώρες, ενώ τα μη αιματωμένα μάτια εμφάνισαν γρήγορη υποβάθμιση μετά την αφαίρεσή τους.

Στη συνέχεια, αιμάτωσαν άλλα 36 δωρημένα μάτια και διαπίστωσαν ότι οι αμφιβληστροειδείς των 15 από αυτά παρήγαγαν ηλεκτρικές αποκρίσεις στο φως, παρόμοιες με εκείνες που μετρώνται σε ζωντανούς ανθρώπους. Οι αποκρίσεις διήρκεσαν έως και 10 ώρες μετά τον θάνατο, διπλάσιο διάστημα από τις 5 ώρες που είχαν πετύχει άλλοι επιστήμονες το 2022. Ωστόσο, δεν είναι σαφές γιατί τα υπόλοιπα 21 μάτια που αιμάτωσε η ομάδα της Byrne δεν εμφάνισαν αυτή την απόκριση.

Παραμένει ακόμη μια μεγάλη πρόκληση πριν οι γιατροί μπορέσουν να αποκαταστήσουν την όραση μέσω μεταμοσχευμένου ματιού: η αναγέννηση των ινών του κομμένου οπτικού νεύρου, ώστε να μπορεί να συνδεθεί με τα κέντρα όρασης στον εγκέφαλο. «Χωρίς αυτό, ένα μάτι δότη δεν θα έχει κανέναν τρόπο να μεταδώσει οπτική αίσθηση στον εγκέφαλο του λήπτη», λέει ο Johnson.

Εμφύτευμα στο μάτι και έξυπνα γυαλιά αποκαθιστούν την όραση που χάθηκε με την ηλικία

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

Η νέα εργασία δεν λύνει αυτό το πρόβλημα, όμως, διατηρώντας το μάτι μεταβολικά υγιές μετά τον θάνατο, μπορεί να κάνει πιο εφικτές μελλοντικές στρατηγικές αποκατάστασης της όρασης, διασφαλίζοντας ότι τα δωρημένα μάτια θα έχουν υποστεί μικρότερη βλάβη από την ισχαιμία.

Πολλές ομάδες εξετάζουν τρόπους για να ενθαρρυνθεί η αναγέννηση του οπτικού νεύρου. «Μου φαίνεται ότι τώρα είναι η στιγμή να αρχίσουμε να συνδυάζουμε αυτές τις πολλά υποσχόμενες παρεμβάσεις στο πλαίσιο της μεταμόσχευσης ολόκληρου του ματιού», λέει ο Johnson.

Η συσκευή Eye-in-Care-Box θα μπορούσε επίσης να αποδειχθεί χρήσιμη για τη δοκιμή θεραπειών που σχετίζονται με την όραση σε ανθρώπινα μάτια, αντί σε άλλα ζώα, σύμφωνα με την ομάδα της Byrne. «Πιστεύω σίγουρα ότι υπάρχει δυνατότητα η τεχνολογία αυτή να χρησιμοποιηθεί για την ανάπτυξη νέων in-vitro μοντέλων και πειραματικών προσεγγίσεων για τη δοκιμή φαρμάκων και άλλων θεραπειών, καθώς και για την κατανόηση της βιολογίας και της παθολογίας», λέει ο Johnson. «Αυτό θα είχε το πλεονέκτημα ότι τα αποτελέσματα θα είναι πιο άμεσα εφαρμόσιμα στην ανθρώπινη νόσο και βιολογία».

bioRxiv DOI: 10.64898/2026.06.25.733416

Η ειδική σχετικότητα αλλοιώνει τους χημικούς δεσμούς, δείχνει πείραμα

Ένα πείραμα με ένα φορτισμένο μόριο βισμουθίου και άνθρακα αποκαλύπτει πώς τα φαινόμενα της ειδικής σχετικότητας του Αλμπερτ Αϊνστάιν μπορούν να αναδιαμορφώσουν τη συμβατική εικόνα για τους χημικούς δεσμούς.

Σε ορισμένα βαριά άτομα, όπως το βισμούθιο, τα ηλεκτρόνια κινούνται με σχετικιστικές ταχύτητες.

Η θεωρία της ειδικής σχετικότητας περιγράφει τι συμβαίνει στην εμπειρία του χώρου και του χρόνου για όποιον κινείται με ταχύτητες κοντά στην ταχύτητα του φωτός. Γι’ αυτό συνήθως συνδέεται με επιταχυντές σωματιδίων και αντικείμενα στο διάστημα. Ωστόσο, μέσα σε ορισμένα βαριά άτομα, τα ηλεκτρόνια κινούνται κι αυτά με σχετικιστικές ταχύτητες.

Ο Λάι-Σενγκ Γουάνγκ στο Πανεπιστήμιο Μπράουν, στο Ρόουντ Άιλαντ, και οι συνεργάτες του κατάφεραν τώρα να ρίξουν μια πρωτοφανή ματιά στο πώς αυτό ανατρέπει την καθιερωμένη αντίληψη για τους χημικούς δεσμούς σε ένα φορτισμένο μόριο από βισμούθιο και άνθρακα.

Στο μόριο, ένα άτομο βισμουθίου και ένα άτομο άνθρακα συνδέονταν με τρεις δεσμούς, έναν που οι ερευνητές περίμεναν ότι θα ήταν τύπου «σίγμα» και δύο τύπου «πι». Η διαφορά ανάμεσα στους δύο τύπους προκύπτει από τον κβαντικό χαρακτήρα των ηλεκτρονίων: κάθε ηλεκτρόνιο είναι «απλωμένο» σε μια περιοχή του χώρου, αντί να είναι ένα συμπαγές σφαιρίδιο, και το αν αυτές οι περιοχές αλληλεπικαλύπτονται μετωπικά ή πλάγια καθορίζει τον τύπο του χημικού δεσμού που δημιουργείται ανάμεσα στα άτομα.

Στο πείραμά τους, ο Γουάνγκ και οι συνεργάτες του χαρτογράφησαν την κατανομή των ηλεκτρονίων σε όλο το μόριο, παίρνοντας ουσιαστικά μια εικόνα των δεσμών του. Όμως, αντί να δουν ηλεκτρόνια κατανεμημένα σε σχήματα που παραπέμπουν σε δεσμούς σίγμα και πι, η ομάδα παρατήρησε ότι δύο από τους δεσμούς έμοιαζαν με δύο διαφορετικά μίγματα σχημάτων σίγμα και πι. «Ο χαρακτήρας τους είναι διαφορετικός από τη συνηθισμένη μας αντίληψη», λέει ο Γουάνγκ. «Δεν μπορείς πραγματικά να το πεις σίγμα και πι».

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

«Το πιο δύσκολο πράγμα στη μελέτη των βαρέων στοιχείων είναι η έλλειψη πραγματικά καλών πειραματικών δεδομένων», λέει ο Πίτερσον. «Το να υπάρχει ένα τόσο όμορφο πείραμα, ώστε να μπορείς ουσιαστικά να συγκρίνεις θεωρία πολύ υψηλού επιπέδου με δεδομένα, είναι πραγματική πολυτέλεια».

Ο Γουάνγκ λέει ότι ένα σημαντικό στοιχείο του νέου πειράματος ήταν πως ο ίδιος και οι συνεργάτες του μπόρεσαν να ψύξουν πολύ το μόριο πριν εξετάσουν τα ηλεκτρόνιά του. Αυτό περιόρισε οποιαδήποτε ταλάντωση και διέγερση που θα έκανε τις τελικές εικόνες λιγότερο ακριβείς.

«Οι μέθοδοι που χρησιμοποιήθηκαν, τόσο πειραματικές όσο και θεωρητικές, είναι οι καλύτερες δυνατές», λέει ο Πέκα Πιούκκο από το Πανεπιστήμιο του Ελσίνκι στη Φινλανδία.

Όπως λέει, αυτή η σχετικιστική αναμόρφωση του δεσμού του βισμουθίου με τον άνθρακα θα μπορούσε να επηρεάσει τον τρόπο με τον οποίο χρησιμοποιούνται οι οργανικές ενώσεις βισμουθίου σε χημικές αντιδράσεις. Μάλιστα, πρόσφατη μελέτη ερευνητών στο Ινστιτούτο Μαξ Πλανκ για την Έρευνα του Άνθρακα στη Γερμανία έδειξε ήδη ότι τα σχετικιστικά φαινόμενα βοηθούν αυτό το βαρύ μέταλλο να λειτουργεί ως καλός καταλύτης χημικών διεργασιών.

Ο Γουάνγκ λέει ότι οι ερευνητές θέλουν τώρα να επαναλάβουν το πείραμά τους, αντικαθιστώντας το βισμούθιο με στοιχεία που βρίσκονται κοντά του στον περιοδικό πίνακα, ώστε να δουν πότε ακριβώς η ειδική σχετικότητα κάνει την παραδοσιακή δομή των χημικών δεσμών να καταρρέει.

Science DOI: 10.1126/science.aei1285

Η Xona λανσάρει πρόγραμμα πιστοποίησης για συμβατές συσκευές Pulsar

ΣΑΝ ΦΡΑΝΣΙΣΚΟ – Η Xona, η startup από τη Silicon Valley που αναπτύσσει το Pulsar, μια συστοιχία ακριβούς εντοπισμού, πλοήγησης και χρονισμού (PNT), ανακοίνωσε ένα υψηλού προφίλ σύνολο συνεργατών που αναπτύσσουν συμβατό εξοπλισμό.

Η Xona παρουσίασε στις 9 Ιουλίου το πρόγραμμα Pulsar Verified, το οποίο προσφέρει σε συνεργάτες όπως οι Trimble, Septentrio, STMicroelectronics, Safran, StarNav και Keysight μια τεχνική διαδρομή για να επιβεβαιώσουν τη συμβατότητα δεκτών και εξοπλισμού προσομοίωσης με τη συστοιχία PNT σε χαμηλή τροχιά γύρω από τη Γη.

«Οι δορυφόροι τραβούν συνήθως όλη την προσοχή επειδή οι δορυφόροι είναι εντυπωσιακοί», δήλωσε στο SpaceNews ο CEO της Xona, Brian Manning. «Όλοι τείνουν να ξεχνούν ότι οι δορυφόροι είναι άχρηστοι, αν ο εξοπλισμός του χρήστη δεν μπορεί να λάβει και να αξιοποιήσει την υπηρεσία».

Η Xona συνεργάζεται εδώ και χρόνια με εταίρους της βιομηχανίας, μεταξύ των οποίων και τους μεγαλύτερους εμπορικούς κατασκευαστές chipset του Global Navigation Satellite System (GNSS), «για να επιταχύνει τη μετάβαση στην πλοήγηση μέσω LEO μέσα από τα αξιόπιστα κανάλια από τα οποία ο κόσμος προμηθεύεται σήμερα εξοπλισμό GNSS», ανέφερε στις 9 Ιουλίου σε blog ο Tyler Reid, συνιδρυτής και chief technology officer της Xona.

Οι συνεργάτες έχουν επενδύσει σημαντικούς πόρους για να βοηθήσουν την Xona να αναπτύξει την υπηρεσία Pulsar και να ενσωματώσουν το Pulsar στα προϊόντα τους, είπε ο Manning.

Οι προσομοιωτές Skydel της Safran και PNT X της Keysight, που μπορούν να μοντελοποιήσουν τη συμπεριφορά της συστοιχίας Pulsar, έχουν αποκτήσει το Pulsar Verification. Συσκευές δεκτών συμβατές με το Pulsar αρχίζουν να αποστέλλονται σε πελάτες, καθώς πιστοποιούνται.

Ο πρώτος δορυφόρος Pulsar της Xona, ο Pulsar-0, εκτοξεύτηκε τον Ιούνιο του 2025. Τον τελευταίο χρόνο, η εταιρεία «πραγματοποίησε περισσότερες από 350 διελεύσεις εκπομπής σε τέσσερις ηπείρους, συγκέντρωσε 22 terabytes δεδομένων παρατήρησης, έστειλε τέσσερις ενημερώσεις λογισμικού στον ίδιο τον δορυφόρο και είδε περισσότεροι από δώδεκα εμπορικούς δέκτες να παρακολουθούν τα σήματά μας από τη Φινλανδία έως την Αυστραλία», είπε ο Reid.

Αφού ακόμη έξι δορυφόροι Pulsar φτάσουν σε τροχιά αργότερα μέσα στη χρονιά, η Xona θα μπορέσει να ξεκινήσει δοκιμές σε beta επίπεδο.

«Αν χρησιμοποιείτε εξοπλισμό που είναι Pulsar Verified και τον τοποθετείτε στο drone σας, στο ρομπότ σας, στο τηλέφωνό σας, στη συσκευή IoT σας ή οπουδήποτε αλλού, θα μπορείτε να λαμβάνετε και να χρησιμοποιείτε την υπηρεσία μόλις τεθεί σε λειτουργία», είπε ο Manning.

Η ζήτηση για εναλλακτικές συστοιχίες PNT που μπορούν να εντοπίζουν τοποθεσίες με μεγαλύτερη ακρίβεια από το Global Positioning System αυξάνεται. Μέσω του Pulsar, η Xona σχεδιάζει να προσφέρει ακρίβεια σε επίπεδο εκατοστού, σήματα περίπου 100 φορές ισχυρότερα από το GPS, καθώς και προστασία από spoofing και jamming.

Τον Απρίλιο, η Xona άνοιξε εγκατάσταση συναρμολόγησης και ενοποίησης δορυφόρων στο Burlingame, έπειτα από τον γύρο χρηματοδότησης Series C ύψους 170 εκατομμυρίων δολαρίων τον Μάρτιο.

1...110111112...1,653Page 111 of 1,653