idag har vi ett inlägg om AI och automatiserad teorembevisning (och några coola projekt!)
18,52K