Математика
OpenAI пригрозила математику «разрушить карьеру» из-за спора о задаче тысячелетия Навье-Стокса
Тристан Бакмастер заявил, что вице-президент компании требовал исключить из соавторов сотрудника Anthropic в обмен на право единолично опубликовать доказательство, полученное моделью OpenAI
Китайская ИИ-модель dots-note-3.0 от RedNote набрала максимальные 42 из 42 баллов на Международной математической олимпиаде
Впервые ИИ получил абсолютный результат на IMO
Google DeepMind смогла решить ещё девять открытых задач Эрдёша и десятки математических гипотез
Новая система AlphaProof Nexus решила задачи, используя формальную верификацию через язык Lean
В математике нашёлся «универсальный вентиль»: одна операция вместо всех формул
Новый оператор eml может свести всю вычислительную математику к единому базису — от арифметики до тригонометрии
GPT-5 предположительно самостоятельно решила открытую математическую задачу
Работа усиливает дискуссию о том, может ли ИИ вносить вклад в теорию
ИИ AlphaGeometry2 от Google DeepMind превзошёл золотых медалистов в решении олимпиадных задач по геометрии
AlphaGeometry2 решил 42 из 50 сложнейших задач IMO за последние 25 лет
Математик Ави Вигдерсон удостоен Премии Тьюринга за революционный вклад в теорию вычислений
Он внёс большой вклад в параллельные алгоритмы, криптографию и теорию сложности