Μοιραζόμαστε την πρόοδο της AI στα μαθηματικά

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

Γλώσσα αρχικής πηγής · Αγγλικά

Ελέγχθηκε · 10 Οκτωβρίου 2026