Тепер, коли я повернувся до Прінстона після запуску @DARPA expMath, я починаю збирати свої думки щодо майбутнього автоформалізації, штучного інтелекту для математики та ШІ для науки загалом. Ось куди мені треба йти. «Про продуктивні та непродуктивні тертя»