математика

Может ли ИИ решать нерешаемое? Нейросети начинают щелкать сложнейшие математические задачи

от

Долгое время считалось, что ИИ не способен к абстрактному математическому мышлению. Однако последние прорывы Google DeepMind и других лабораторий меняют правила игры. Нейросети научились не просто считать, а находить новые закономерности и доказательства в геометрии и теории чисел. В статье для Live Science профессор математической биологии Кит Йейтс анализирует этот феномен. ИИ уже помог решить … Читать далее

Как 24-летняя студентка, бросившая Стэнфорд, переманила лучших ученых Meta* в свой стартап

от

*Компания Meta признана в РФ экстремистской организацией и запрещена.* В Кремниевой долине новая звезда. Карина Хонг, 24-летняя основательница стартапа Axiom Math, совершила невозможное: она увела ведущих исследователей из лаборатории Meta FAIR и Google DeepMind, предложив им не просто зарплату, а место в истории. Миссия: Сверхразум через математику Axiom Math разрабатывает ИИ, который будет специализироваться на … Читать далее

Китайская нейросеть DeepSeek научилась исправлять свои ошибки и победила лучших студентов-математиков

от

Китайская компания DeepSeek совершила прорыв в области математического мышления (reasoning). В препринте, опубликованном на arXiv и освещенном журналом *Nature*, сообщается, что их новая модель DeepSeekMath-V2 способна находить и исправлять собственные ошибки в ходе рассуждений. Результаты впечатляют: Олимпиады: Модель набрала 118 из 120 баллов на престижном конкурсе Putnam (для студентов бакалавриата), побив лучший результат человека (90 … Читать далее