В середине мая в Беркли прошла уникальная встреча, собравшая тридцать выдающихся математиков со всего мира. Целью этого закрытого мероприятия было проверить способности современного ИИ в решении математических задач. Ученые подготовили ряд сложных вопросов, чтобы оценить, насколько хорошо чатбот сможет справиться с их вызовами.
Чатбот, использующий модель o4-mini, разработан OpenAI и способен выполнять сложные логические выводы. Участники встречи были поражены, когда бот успешно ответил на некоторые из самых трудных задач, которые они ему предложили. Один из математиков отметил, что его коллеги были впечатлены, заявив, что такие модели приближаются к уровню математического гения.
Сравнение с аналогичными системами, такими как Gemini 2.5 Flash от Google, подчеркивает, насколько быстро развиваются технологии в области искусственного интеллекта. Эти достижения открывают новые горизонты для исследований и применения ИИ в математике и других науках.
Такое взаимодействие между людьми и ИИ поднимает важные вопросы о будущем науки и образования. Как будут выглядеть исследования и обучение в условиях, когда машины могут решать задачи, которые раньше считались прерогативой только человека? Это событие стало важным шагом в понимании возможностей ИИ и его роли в научном прогрессе.
В целом, встреча продемонстрировала, что ИИ уже сейчас способен на удивительные вещи, и это только начало. Ученые продолжают исследовать, как можно использовать эти технологии для дальнейшего развития науки и образования, что, безусловно, будет интересно всем, кто следит за последними трендами в IT и математике.