Попробовал, наконец, классную математическую настольную игру "Машина Тьюринга".
На самом деле не столько игра, сколько головоломка, которую вы можете решать в одиночку, совместно или соревнуясь. Она совершенно гениально сделана, и я не до конца понимаю, как именно, но она работает и приносит много удовольствия.
Каждая задача в игре — трехзначное число с цифрами 1..5, зашифрованное в наборе карточек. Карточки двух видов: выражение и его валидатор. Выражение, например, может быть таким: "Вторая цифра меньше трех". Вы выдвигаете гипотезу, каким именно будет число-ответ. А дальше происходит магия — каждое такое число собирается из трёх перфокарт с отверстиями, вы прикладываете к сборке валидатор, и в единственном оставшемся отверстии видете бинарный результат: истина или ложь. Таким образом, получаете информацию о том, справедливо ли выражение для загаданного числа.
Ход за ходом вы должны выбирать самые эффективные гипотезы и выражения, которые отсекут больше всего неверных вариантов. В какой-то момент информации для однозначного ответа становится достаточно. Чем меньше ходов вы потратили, тем лучше.
Если вы нерд и любите фокусы с цифрами, то это прям мастхэв. Играется очень приятно, и вызывает неподдельный кайф каждый раз, когда вы собираете из кусочков ответ, хотя за мгновение до этого может казаться, что до решения ещё очень далеко.
Если же вы не фанат подобного, то подарите коробку знакомому математику, он будет рад!
#games
#python#agent#agent_framework#browsecomp#deep_research#futurex#gaia#hle#research_agent#search_agent#xbench
MiroThinker v1.5 is the top open-source AI search agent with a 256K context window and up to 400 tool calls per task for deep web research, code execution, and multi-step reasoning. It leads benchmarks like HLE-Text (39.2%), BrowseComp (69.8%), and GAIA (80.8%), beating other free agents at low cost. You benefit by getting accurate, real-world research help—like finding arXiv papers or solving complex queries—faster and cheaper than paid tools, with full open-source access on GitHub and Hugging Face.
https://github.com/MiroMindAI/MiroThinker