i dag har vi et innlegg om AI og automatisert teorembevis (og noen kule prosjekter!)
18,35K