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