Говоря о крупных наградах в математике, многие, скорее всего, сразу подумают о Полевой медали — её обычно называют «Нобелем по математике».
Но в настоящее время, когда ИИ всё глубже участвует в рассуждениях, доказательствах и решении сложных задач, порядок вручения наград за математические решения, вероятно, тоже начинает меняться.
Недавно @justinsuntron объявил Justin Sun Prize.
По названию это похоже на традиционную премию, но по механике всё довольно похоже на «подвешивание bounty» в крипто.
Если объяснить проще, то так:
Сложную задачу публикуют
→ Justin Sun назначает размер вознаграждения
→ любой может попытаться найти решение, включая ИИ
→ если решение признаёт математическое сообщество, его дальше переводят в формат, который сможет проверить компьютер.
Только когда все доказательство будет машиной подтверждено как верное, награда официально разблокируется.
Мне показалось особенно интересным, что эта премия разделена на 2 части довольно чётко.
Один человек находит решение.
А другой человек может взять на себя «formalize», то есть превратить это решение в вид, который компьютер сможет прочитать и проверить.
Разумеется, один человек может сделать сразу и то, и другое.
И также нет правила, что решатель обязательно должен быть человеком. Justin Sun прямо сказал, что неважно, это человек, ИИ или их совместная работа — главное, чтобы в итоге доказательство оказалось верным.
В этом и состоит причина, почему она довольно сильно отличается от традиционных математических премий.
Полевую медаль вручают раз в 4 года и есть возрастное ограничение. А в этой модели каждая задача почти превращается в отдельный bounty.
Но в настоящее время, когда ИИ всё глубже участвует в рассуждениях, доказательствах и решении сложных задач, порядок вручения наград за математические решения, вероятно, тоже начинает меняться.
Недавно @justinsuntron объявил Justin Sun Prize.
По названию это похоже на традиционную премию, но по механике всё довольно похоже на «подвешивание bounty» в крипто.
Если объяснить проще, то так:
Сложную задачу публикуют
→ Justin Sun назначает размер вознаграждения
→ любой может попытаться найти решение, включая ИИ
→ если решение признаёт математическое сообщество, его дальше переводят в формат, который сможет проверить компьютер.
Только когда все доказательство будет машиной подтверждено как верное, награда официально разблокируется.
Мне показалось особенно интересным, что эта премия разделена на 2 части довольно чётко.
Один человек находит решение.
А другой человек может взять на себя «formalize», то есть превратить это решение в вид, который компьютер сможет прочитать и проверить.
Разумеется, один человек может сделать сразу и то, и другое.
И также нет правила, что решатель обязательно должен быть человеком. Justin Sun прямо сказал, что неважно, это человек, ИИ или их совместная работа — главное, чтобы в итоге доказательство оказалось верным.
В этом и состоит причина, почему она довольно сильно отличается от традиционных математических премий.
Полевую медаль вручают раз в 4 года и есть возрастное ограничение. А в этой модели каждая задача почти превращается в отдельный bounty.
