26 октября 2026 года компания Axiom Math сообщила о завершении полной формализации Теоремы о классификации простых конечных групп.
В международном математическом сообществе теорема известна как CFSG — Classification of Finite Simple Groups. Эта фундаментальная теорема перечисляет все строительные блоки, из которых состоят конечные простые математические группы.
Автор оригинала: Konstantin Kakaes
В отличие от других недавних доказательств, сделанных ИИ, это уже разобрали живые эксперты. Последствия, по словам одного математика, «ошеломляющие».
Ну всё, я это сказал. «Один запрет за проблемами тысячелетия». Половина из вас уже тянется к минусу и слову на букву «к». И правильно тянется, потому что почти каждый, кто пишет такое, несёт чушь. Решили задачу тысячелетия или пробили столетнюю гипотезу, которую не смогли сотни умнейших математиков планеты до вас. Ну точно кранки!
Поэтому договоримся сразу. Первым делом не пафос, а признание:
Мы не решили ни одной проблемы тысячелетия. Гипотеза близнецов в нашем проекте — это
sorryЧитать полностью »
Стремление к строгости в математике имеет долгую и неоднозначную историю — историю, из которой математики могут извлечь уроки сейчас, когда формализуют математику в программе Lean.
Производственник, который пришёл в IT. О том, почему до кода надо идти в цех.
Несколько лет назад наблюдал проект на одном производственном предприятии. Небольшое производство, человек 200. До нашего проекта руководство уже наняло специалистов 1С и начало автоматизировать учёт движения сырья и управленческую отчётность по сменам. Кто‑то посоветовал — мол, пора двигаться к нормальному учёту.
На недавнем собеседовании мне задали, казалось бы, простой вопрос:
«Какими методологиями продуктовой разработки вы пользуетесь?»
Читать полностью »
«Здравствуй, мама, я руководитель! Сейчас как все разрулю! как бы так всех организовать, чтобы больше ничего не делать.. Тем более когда есть такой выбор!»
_________________________________________________________________________
А что же организовывала я? И кто я такая вообще?
Меня зовут Яна. Мой стаж в ИТ 13+ лет, а начался еще в университете, ведь я инженер-программист, решивший, что сфера огонь, но вот код писать это не его.
История о том, как мы практически с нуля запускали стартап, выстраивали в нем процессы, договаривались с нашим первым клиентом, про внезапно горящие сроки, и какие ошибки были допущены по ходу.
А так же на практических примерах и наших ошибках поговорим о плюсах гибких методологий управления проектами.
Я Кирилл, на момент написания статьи имею опыт более 4х лет в роле руководителя it проектов. Работал над проектами по цифровизации и автоматизации производств, а так же имею обширный опыт работы в веб студиях. Подробнее в посте знакомства.
