Самые значительные математические успехи ИИ связаны с решением задач, поставленных бунтарем середины XX века. Изучая то, что делает задачи Эрдёша уникальными, математики пытаются понять, как ИИ может изменить остальную математику. 20 мая 2026 года компания OpenAI сделала заявление, которое потрясло математический мир. Внутренняя модель искусственного интеллекта, недоступная широкой публике, нашла контрпример к задаче о «единичном расстоянии», […]
Метка: формальная логика
Может ли самая абстрактная математика сделать мир лучше?
Обозревательница Натали Уолховер рассуждает о том, можно ли считать прикладную теорию категорий «зеленой» математикой. Я долгое время изучал кристальную красоту традиционной математики, но теперь мне хочется заняться чем-то более приземлённым», — Джон Баэз(открывает новую вкладку) написал в своём блоге(открывает новую вкладку) в 2011 году. Влиятельный физик-математик (работающий попеременно в Калифорнийском университете в Риверсайде и Эдинбургском университете) Баэз всё больше […]
Грамматика бога-океана. Чтобы по-настоящему исследовать инопланетные языки, лингвисты должны открыться максимально возможной степени космической инаковости.
Вконце 1620-х годов, почти за два столетия до того, как Мэри Шелли помогла основать жанр научной фантастики своим знаковым романом «Франкенштейн» (1818), английский епископ по имени Фрэнсис Годвин написал умозрительный рассказ о существах, живущих в ином мире. Рассказ Годвина под названием «Человек на Луне» (1638) важен не только как произведение протонаучной фантастики, но и потому, что содержит, возможно, самое […]