Caltech Mathathon: первый в истории хакатон по математике уровня исследований
Caltech Mathathon – first hackathon ever devoted to research level mathematics
40 часов, более $2 млн в AI-кредитах и задача решить открытую проблему. Caltech Mathathon, первый хакатон, посвященный исследовательской математике, пройдет с 30 октября по 1 ноября. Сто команд получат доступ к передовым моделям ИИ для работы над нерешенными гипотезами и создания новых математических теорий. Результаты будут защищаться перед ведущими математиками, а лучшие работы получат призы — как сразу, так и после проверки сообществом. Организаторы опираются на недавние прорывы: опровержение гипотезы Эрдёша о расстояниях, первая явная несофтовая группа и комплексная структура на шестимерной сфере.
Какова роль математика, когда ИИ может решать гипотезы быстрее?
- Semkas
Не буду отрицать, что это интересная идея, но мне кажется, что ожидание результата от LLM в течение 40 часов совершенно противоречит тому, что делает классические хакатоны привлекательными/познавательными.
В более общем плане, я не думаю, что формат хакатона (интенсивная работа в течение короткого времени) вообще соответствует тому, как, судя по всему, продвигается математика с помощью LLM; насколько я знаю, в основном это включает выбор задачи для модели, а затем её запуск в течение недели с периодическими исправлениями/подбадриванием.
- xqcgrek2
Ни один уважающий себя математик не захочет добровольно стать маркетинговым инструментом для этих компаний, решая заброшенные и неактуальные головоломки.
- youoy
Стоит ли мне понимать это так, что большие лаборатории пытаются продвинуть математику вперёд? Или большие лаборатории пытаются использовать профессиональных математиков как (дешёвую?) рабочую силу для проверки результатов LLM? Во вчерашнем посте "An Alien Mind" от OpenAI они открыто заявили, что математика не является для них приоритетом, так что я лично знаю, что думать...
- corinthia
Недавний выпускник Caltech здесь! И я хорошо знаю некоторых организаторов.
Факультет CS в Caltech очень, очень слабый, и в последние годы ему было трудно привлекать ведущих специалистов, а последние наймы преподавателей по ИИ имели проблемы. Это очень медленно меняется, но во многом мотивацией для этого было создание способа для студентов получить "признание" в области ML и узнать об ИИ, поскольку в школе это сейчас невозможно. Очень рад, что HN это подхватил!
- chaoxu
Я подал заявку как команда, надеюсь, что пройду.
В последнее время меня заботит, как создать обвязку для математики, которая использует все возможности рассуждения модели. Меня интересуют и возможности, и стоимость.
Большинство универсальных обвязок, которые у нас сейчас есть, не созданы для максимизации рассуждений. Я тестировал таких агентов, как Codex, и редко когда стоимость токенов рассуждения превышает 20%. Это довольно странно, так как математика требует много рассуждений. Так что хакатоны могут быть хорошим полигоном для испытаний.