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