В Москве стартовал заключительный этап Всероссийской олимпиады школьников по математике. Мероприятие проходит на площадке Центрального университета и продлится до 20 апреля 2026 года. Всероссийская олимпиада школьников проводится по 24 общеобразовательным предметам. Ежегодно в олимпиаде принимает участие 7 млн школьников из всех регионов России. Олимпиада включает четыре этапа: школьный, муниципальный, региональный и заключительный. Организаторами финала в 2026 году выступают Министерство просвещения России, Департамент образования и науки […]
Математика
Швейцарский математик Йоханнес Шмитт (Johannes Schmitt) сообщил в сети X, что GPT-5 впервые независимо решила открытую математическую задачу. По словам Шмитта, GPT-5 предложила элегантное решение, неожиданно применив методы из другой области алгебраической геометрии, а не традиционные подходы. В настоящее время работа находится на стадии рецензирования. Ранее о пользе ИИ в математике сообщал, в частности, математик […]
Искусственный интеллект AlphaGeometry2, разработанный командой исследователей проекта DeepMind компании Google, продемонстрировал выдающиеся результаты в решении геометрических задач. Система показала уровень золотого медалиста, справившись с заданиями, которые предлагались участникам Международной математической олимпиады (IMO) за последние 25 лет. Команда DeepMind объединила AlphaGeometry2 с другой своей разработкой — системой Alpha Proof, предназначенной для проведения математических доказательств. Этот тандем […]
У нас есть 3 «теории всего» — научная картина мира (все сводится к законам физики), информатика (все сводится к битам) и фундамент математики (все сводится к логике). Именно фундамент математики представляет особый интерес, так как он является фундаментом для двух других фундаментов и имеет глубокий философский смысл. Последние 2 года (2023–2024) я сильно им увлекся и проделал довольно большую работу по углубленному изучению теории типов […]