Сьогодні у нас сендпост про штучний інтелект та автоматизоване доведення теорем (і кілька крутих проєктів!)
18,51K