求解这个 AI/数学谜题，赢取奖品？反正我解不出来
求解这个 AI/数学谜题，赢取奖品？反正我解不出来
我发现一张海报，上面有一个数学谜题，指向一个奖励网站。我没能解出来，所以也许奖品还在！
这张纸被贴在旧金山第 15 街和 Mission 街的交通灯柱上。它印着一个与 AI 相关的数学公式，后面跟着“.ai/givemeprize”，并引诱读者“来找我”。The SF Armory 在背景中模糊不清，以前是 kink.com 和《星球大战：帝国反击战》的所在地。现在，SF Armory 和电线杆都空无一人。
下面是谜题的完整内容：
prefix(
[
3!
+ argmax(
softmax(
[log(2), pi + e]
)
)
+ log*(16)
] ^ [
BusyBeaver(4)
+ ⌈H100 flops / A100 flops⌉
+ 1
]
)
.ai/givemeprize
如果你想自己解谜，请在这里停止！
我的分析
以下是我被卡住之前的所有发现。
- argmax 指的是 numpy.argmax，它返回数组中最大值的索引。
- softmax 更有趣。Wikipedia 的定义很复杂，但 pytorch 用简洁的方式解释了它，即规范化概率使其总和为 1。
- log 可能是以 2 为底的对数 (log2)，因为是在计算机上下文中，也可能是以 10 为底的对数 (log10)，但更可能是以 e 为底的对数 (loge)，因为 numpy 和 pytorch 都假定为 loge。
- log* 令人困惑。我以前从未见过这种语法。是自然对数，也就是 loge 吗？我猜它是 log2，因为参数是 16，这会得到一个很好且圆整的答案 4，就像问题的其余部分一样。
- BusyBeaver(4) 要么是最大移动次数 107（很可能），要么是 最大分数 13（最初） ???
- H100 flops 和 A100 flops 是 H100/A100 Nvidia 芯片的浮点运算次数。有很多变体。但是 “H100 flops/A100 flops” 被上括号括起来，也就是 ceil（向上取整）。因此，我只需要一个最佳猜测。经过一些数字的运算，我得到了大约 3.04 到 3.5，所以 ceil 是 4。
- prefix 很奇怪，但我猜它是数字的整数部分，而不是小数部分。
这是我的简化形式：
prefix(
[
6
+ argmax(
softmax(
[0.693147181 , 5.85987448]
)
)
+ 4
] ^ [
107
+ 4
+ 1
]
)
.ai/givemeprize
我不需要运行 softmax，因为我知道第二个数字会更大，并且 argmax 将返回其索引。 Argmax 是从零开始的，因此简化为 1。
prefix(
[6 + **1** + 4] ^ [107 + 4 + 1]
)
.ai/givemeprize
再次，通过简单的数学运算进行简化：
prefix(
[**11**] ^ [**112**]
)
.ai/givemeprize
也许答案是 11.ai/givemeprize，但现在它返回 404 错误。他们不是在旧金山，所以我对此表示怀疑。
未解决的问题：
- prefix 函数接受的参数只有一个数字，那它是什么意思？
- BusyBeaver(4) 应该是 107 还是 13？对于指数来说，107 非常大，但从技术上讲是可能的。11 ^ 112 的长度为 112 位数字，并且 最大域名长度为 253 个字符。
- log* 是什么？我可以尝试 log2 或 log10。 loge 也是可能的，但我只见过它写成 ln。
剩下的选项是：
BusyBeaver(4) = 13| BusyBeaver(4) = 107 ---|--- log2| ~~prefix(11 ^ 18) = 5559917313492231481.ai/givemeprize~~| prefix(11 ^ 112) = https://4.3249464815*10^116.ai/givemeprize log10| ~~prefix( (7 + log 10(16)) ^ 18 ) = 28351501028247453.ai/givemeprize~~| prefix( (7 + log10(16)) ^ 112 ) loge 或 ln| ~~prefix( (7 + ln(16)) ^ 18 ) = 93742854.ai/givemeprize~~| prefix( (7 + ln(16)) ^ 112 )
我考虑过查看最近注册的域名。我可以按仅包含数字且在 *.ai TLD 下的域名进行筛选。我可以对所有这些域名执行 /givemeprize，看看谁会响应，并且没有 404 错误。不幸的是，这些信息都需要付费才能获取。
我喜欢谜题，但我已经不想再解这个谜题了。我想我搞不懂。也许我错过了一些东西。
最后一点
有人在评论中留下了正确的答案，但没有展示任何步骤，这让人很沮丧，因为我想理解！
但是，lobste.rs 的人们非常友善地指导了我，我发现了自己的错误！
- log* 是迭代对数。如果我使用 ChatGPT 或 WolframAlpha 而不是 Google，我就能了解到这一点。
- BusyBeaver(4) 是 13，我不太可能的答案
- 这使得指数为 10^18
- prefix 在 10^18 的上下文中是 SI 前缀，例如 EXAbyte 或 TERAflops。所以这里的答案是 exa。