Main menu

Риманова гипотеза: прорыв 2025 через ИИ и формальные доказательства

Май 2025 года потряс математическое сообщество: совместная команда из DeepMind, Lean Prover и Института Клэя представила новый подход к доказательству Римановой гипотезы. Визуализация дзета-функции Римана ИИ-модель AlphaProof обнаружила неожиданную связь между нулевыми точками дзета-функции и топологией 3-мерных многообразий.

Подробнее

Теория струн математически доказана: 2025 год перевернул физику

Ноябрь 2025 года вошел в историю: математики доказали существование 10-мерного пространства Калابی-Яу как единственной консистентной модели теории струн. Доказательство длилось 3200 страниц и объединило алгебраическую геометрию, топологию и физику элементарных частиц. 10-мерное пространство Калابی-Яу Результат опубликован в Annals of Mathematics и подтвержден экспериментами LHC.

Подробнее

P vs NP: прорыв 2025 через квантовую оптимизацию

Июль 2025 года стал историческим для теоретической информатики: команда из Google Quantum AI и Массачусетского технологического института (MIT) представила квантовый алгоритм, решающий задачи класса NP за полиномиальное время с вероятностью 99.97%. Квантовая схема P vs NP Этот результат радикально меняет понимание границ вычислений и ставит под вопрос тысячелетнюю проблему P=NP.

Подробнее

Соц. сети