Комментарии 3
Просто шикарно. Наконец-то додумались объединить LLM и символьные вычисления, и не просто додумались а реализовали.
Однако это только первый шаг. Теперь ждем когда такая система сделает математическое открытие.
99.99% людей не делает никаких открытий. Никак не могу понять, почему им так важно, чтобы ии умел?
Открытие это результат направленных усилий, стечения обстоятельств и массы других факторов. Это результат культурной эволюции, а не какое-то отдельное специфическое свойство человеческого мозга. ИИ уже сейчас делает открытия, если интересоваться научными новостями. Правда направляется людьми, ибо не имеет своей мотивации. Чтобы "делать открытия" нужно последовательно экспериментировать и дообучаться на результатах, а также дообучаться постоянно на результатах других ученых в той же области. Для этого не нужна новая архитектура ии, нужно создавать дообучающие сеты в требуемой области из актуальных данных и заставлять искать новые варианты для проверки. И это успешно делают для отдельных специализированных исследований. ЛЛМ, предназначенные для ответов на вопросы по выборке из гугла открытия делать не могут в принципе, это же очевидно. Как и люди, чья профессия не ученый и кто не работает над открытиями. По правде даже те ученые, кто работает над открытиями, чаще всего ничего не открывает за всю жизнь. Это не значит, что они бесполезные, или тупые.
Это все понятно, но... ИИ, решивший скажем одну из "задач тысячелетия", да еще каким-нибудь простым и элегантным способом, или даже создавший для этого новое направление математики - это будет круто, эффектно и сенсационно.
Думаю что ИИ совершит немало открытий и в физике, и в химии, и в биологии, но там все-же нужно активное взаимодействие с реальным миром - эксперименты, сложнейшее оборудование для них и т.д. А математика - это чистая абстракция, кроме компьютеров ничего не надо, поэтому думаю что самое интересное начнется именно с нее.
AlphaGeometry2: DeepMind превосходит олимпийцев по математике в выполнении заданий по геометрии