Компьютерное доказательство теории конденсированной математики — первый шаг к «великому объединению»
Пример расчётного доказательства в Lean Математики давно используют компьютеры в своей работе как инструменты для сложных вычислений и выполнения рутинных операций перебора. Например, в 1976 году методом компьютерного перебора была доказана теорема о четырёх красках. Это была первая крупная теорема,…
Читать дальше
![[Перевод] Вот это да: нобелевку вместо гравитационных волн дали за топологию](https://i2.wp.com/habrastorage.org/getpro/geektimes/post_images/41e/e4e/f89/41ee4ef8964ff7b5e6a2af9e78465788.jpg?resize=840&w=840&ssl=1 "[Перевод] Вот это да: нобелевку вместо гравитационных волн дали за топологию")
![[Перевод] Входим в форму: от гиперболической геометрии до кубических комплексов и обратно](https://i2.wp.com/habrastorage.org/getpro/geektimes/post_images/a37/c2e/4f3/a37c2e4f3b728f01e6514019a1925ece.png?resize=840&w=840&ssl=1 "[Перевод] Входим в форму: от гиперболической геометрии до кубических комплексов и обратно")