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

Post to X