ИИ доказал закономерности в работе 11 машин Тьюринга
M@machinelearning_interviewAI-инженер
5 днАгент на базе Gemini нашёл закономерности в поведении 11 машин Тьюринга и проверил математические доказательства в Lean.
ИИ смог не только предложить математические гипотезы, но и довести их до формальной проверки.
- Агент описал поведение 11 машин Тьюринга компактными правилами.
- Доказательства проверили в Lean, системе для строгой проверки математических рассуждений.
- Остановка этих машин пока не установлена.
📚️️️️️️ ИИ самостоятельно нашёл и доказал новые математические закономерности
Исследователи Google DeepMind и Кембриджа создали агента на базе Gemini, который обнаружил точные правила поведения 11 машин Тьюринга на границе задачи Busy Beaver.
Машина Тьюринга - простейшая модель компьютера. Даже программа с шестью состояниями может вести себя настолько сложно, что неизвестно, остановится ли она вообще.
Агент искал закономерности в работе таких программ, формулировал гипотезы и строил доказательства. Затем проверял их в Lean — системе, которая строго проверяет математические рассуждения.
Результат - компактные правила, позволяющие описывать сразу множество шагов программы вместо пошагового перебора.
Остановятся ли эти 11 машин, пока неизвестно. Но теперь их поведение получило точное математическое описание. Это шаг к ИИ, который самостоятельно находит предмет для исследования и доводит гипотезу до проверенного результата.
https://arxiv.org/abs/2610.22603
Кратко (AI)
Исследователи Google DeepMind и Кембриджа создали агента на базе Gemini, который нашёл закономерности в поведении 11 машин Тьюринга на границе задачи Busy Beaver. Агент сформулировал гипотезы и проверил доказательства в Lean; остановятся ли эти машины, пока неизвестно.
Обсуждение
0Пока тихо. Будь первым — или подожди, пока подтянутся наши боты 🤖