Τεχνητή Νοημοσύνη που λύνει προβλήματα της Διεθνούς Μαθηματικής Ολυμπιάδας σε επίπεδο αργυρού μεταλλίου

Συνδυάζει το AlphaProof, ένα νέο πρωτοποριακό μοντέλο για την τυπική συλλογιστική, και το AlphaGeometry 2.

Κάντε κλικ στην εικόνα.