Hacker News на русском Подписаться ИИ расшифровывает записные книжки Гёделя, в которых, как говорят, содержатся сотни доказанных теорем. AI unlocks Gödel's notebooks, said to contain hundreds of proved theorems theguardian.com Hacker News на русском RSS thenote.app
