Автор оригинала: Konstantin Kakaes
В отличие от других недавних доказательств, сделанных ИИ, это уже разобрали живые эксперты. Последствия, по словам одного математика, «ошеломляющие».
Рубрика «lean»
Почему доказательство квазигипотезы Римана от OpenAI удивило самих математиков
2026-10-20 в 19:09, admin, рубрики: lean, OpenAI, гипотеза римана, дзета-функция, доказательства, метаплектические формы, простые числа, теория чисел
Навье — Стокс, упаковка сфер и Lean: как ИИ пришёл в большую математику
2026-10-14 в 8:01, admin, рубрики: lean, OpenAI, задачи тысячелетия, ИИ в науке, ии-агенты, искусственный интеллект, математика, математические доказательства, научные исследования, формализация
Мы с женой нашли один запрет за 7 нерешаемыми задачами и первым делом построили машину, которая не даёт нам соврать
2026-07-09 в 8:22, admin, рубрики: collatz conjecture, fractal, lean, navier-stokes equation, prime numbers, riemann, Twins conjecture, доказательства, простые близнецы, формальная верификацияНу всё, я это сказал. «Один запрет за проблемами тысячелетия». Половина из вас уже тянется к минусу и слову на букву «к». И правильно тянется, потому что почти каждый, кто пишет такое, несёт чушь. Решили задачу тысячелетия или пробили столетнюю гипотезу, которую не смогли сотни умнейших математиков планеты до вас. Ну точно кранки!
Поэтому договоримся сразу. Первым делом не пафос, а признание:
Мы не решили ни одной проблемы тысячелетия. Гипотеза близнецов в нашем проекте — это
sorryЧитать полностью »
Проект Lean: Можно ли формализовать всю математику на компьютере – и нужно ли?
2026-06-26 в 9:36, admin, рубрики: lean, доказательство теорем, история математики, математическая строгость, теорема ферма, формализация математики, формальная верификация
Стремление к строгости в математике имеет долгую и неоднозначную историю — историю, из которой математики могут извлечь уроки сейчас, когда формализуют математику в программе Lean.
Автоматизация хаоса: почему IT‑проекты на производстве не дают результата, даже когда сданы в срок
2026-06-09 в 11:40, admin, рубрики: lean, mvp, автоматизация, бережливое производство, картирование процессов, поток создания ценности, проверка гипотез, узкое место, управление проектамиПроизводственник, который пришёл в IT. О том, почему до кода надо идти в цех.
Несколько лет назад наблюдал проект на одном производственном предприятии. Небольшое производство, человек 200. До нашего проекта руководство уже наняло специалистов 1С и начало автоматизировать учёт движения сырья и управленческую отчётность по сменам. Кто‑то посоветовал — мол, пора двигаться к нормальному учёту.
N100 это не только ценный мех: самые совершенные процессоры для офисных задач
2025-09-17 в 10:20, admin, рубрики: Celeron, lean, macbook air
Сравнение методологий продуктовой разработки и фреймворков бизнес моделей
2025-07-11 в 8:44, admin, рубрики: agile development, canvas, lean, product, product management, product ownerНа недавнем собеседовании мне задали, казалось бы, простой вопрос:
«Какими методологиями продуктовой разработки вы пользуетесь?»
Читать полностью »
Скрам-мастер vs мастер реальности
2025-05-07 в 14:15, admin, рубрики: agile, kanban, lean, less, project management, scrum, анализ процессов, организация процессов, управление проектами«Здравствуй, мама, я руководитель! Сейчас как все разрулю! как бы так всех организовать, чтобы больше ничего не делать.. Тем более когда есть такой выбор!»
_________________________________________________________________________
А что же организовывала я? И кто я такая вообще?
Меня зовут Яна. Мой стаж в ИТ 13+ лет, а начался еще в университете, ведь я инженер-программист, решивший, что сфера огонь, но вот код писать это не его.
Как мы разрабатывали платформу цифровизации производств — и внедрили её в последний момент
2025-04-24 в 12:42, admin, рубрики: agile, lean, scrum, waterfall, автоматизация, цифровизацияИстория о том, как мы практически с нуля запускали стартап, выстраивали в нем процессы, договаривались с нашим первым клиентом, про внезапно горящие сроки, и какие ошибки были допущены по ходу.
А так же на практических примерах и наших ошибках поговорим о плюсах гибких методологий управления проектами.
Кратко обо мне
Я Кирилл, на момент написания статьи имею опыт более 4х лет в роле руководителя it проектов. Работал над проектами по цифровизации и автоматизации производств, а так же имею обширный опыт работы в веб студиях. Подробнее в посте знакомства.
С чего все начиналось
Моделирование с верификацией междоменных теорем на языке Lean
2025-03-29 в 6:16, admin, рубрики: lean, моделирование, моделирование данных, моделирование предметной области, моделирование систем, моделирование физических процессов1. Введение: многоуровневая формализация и её важность
Традиционный подход к разработке программных продуктов и бизнес-решений обычно фокусируется прежде всего на конечном результате: формальных моделях, спецификациях или непосредственно коде. Однако такой подход зачастую упускает из виду очень важный аспект: процесс рассуждений, которые привели к этим формальным структурам.