OpenAI: Μετά τον προγραμματισμό, η AI διεκδικεί και τα μαθηματικά
Η δημοσίευση 722 μαθηματικών χειρογράφων φέρνει στο προσκήνιο ένα σημαντικό ερώτημα σχετικά με τις δυνατότητες της τεχνητής νοημοσύνης: η ικανότητα να αποδεικνύει ένα μαθηματικό θεώρημα δεν σημαίνει απαραίτητα ότι μπορεί να κατανοήσει και τη βαθύτερη σημασία του.