7 материалов · хроника по теме
Исследователи MIT заявляют, что ИИ может стать основным инструментом решения теоретических задач в экономике, физике высоких энергий и других областях. Это расширяет применение моделей за пределы математики, где они уже показали результаты.
Автор разбирает заявления Сэма Альтмана о скором решении ИИ сложнейших научных задач и показывает, что задача Навье-Стокса по-прежнему не решена. Материал критикует завышенные ожидания от суперинтеллекта.
Сообщается, что нашумевшее доказательство задачи Навье — Стокса от OpenAI не соответствует первоначальным заявлениям. Разбор важен для оценки реальных возможностей моделей в математике.
25 лауреатов Филдсовской премии предупреждают об угрозах ИИ-доказательств, часть сообщества призывает к бойкоту. На этом фоне Шин-Тун Яу запустил альянс из восьми институтов и более 1000 учёных для внедрения ИИ в математические исследования.
После того как OpenAI опубликовала сотни математических результатов, исследователи предупреждают о рисках передачи работ LLM. Проверка ИИ-доказательств может занять годы.
Google DeepMind сообщила, что AlphaProof Nexus решил десятки открытых математических задач, включая девять задач Эрдёша, две из которых не решались 56 лет. Результаты прошли рецензирование и опубликованы в Science.
OpenAI опубликовала более 700 сгенерированных ИИ рукописей с решениями открытых математических задач. Математическое сообщество отреагировало смесью интереса и тревоги за привычный уклад работы.