сент. 08, 2026
13 миллион жол, 11 күн: Claude Ферма теоремасымен не істеді — және бұл неге теоремадан да маңызды
Claude Ферманың Ұлы теоремасының дәлелін 11 күнде формализациялап, Lean-де 13 млн жол код жазды. Басты жайт — теореманың өзі емес, ЖИ формальды верификацияның архитектурасы....
сент. 08, 2026
13 миллионов строк за 11 дней: что Claude сделал с теоремой Ферма — и почему это важнее самой теоремы
Claude формализовал доказательство Великой теоремы Ферма за 11 дней, написав 13 млн строк в Lean. Главное — не сама теорема, а архитектура формальной верификации ИИ....
авг. 28, 2026
Математиканың парасатты жоятын кубиктері
Математиктер кубик бингосының 2,36 млрд тақта нұсқасын қарап шықты және жалғыз оптимал тақтаны тапты. Оның ортасында — 7 емес. Ал одан әрі — транзитивті емес қасиет және Нэш тепе-теңдігі....
авг. 28, 2026
Кости, на которых математика ломает здравый смысл
Математики перебрали 2,36 млрд вариантов доски для бинго на кубиках и нашли единственную оптимальную. В её центре — не 7. А дальше — нетранзитивность и равновесие Нэша....
Оставайтесь на связи
Избранные новости
Почему компании начинают ограничивать расходы на ИИ
окт. 19, 2026
