有人在旧金山军械库附近的一个交通灯杆上发现了一个数学谜题,网址为`*.ai/givemeprize`,答对有奖。谜题涉及与人工智能相关的函数和计算,包括`argmax`、`softmax`、对数、忙碌的海狸数和英伟达芯片的浮点运算次数。解题者难以理解`log*`以及`BusyBeaver(4)`的正确值。简化等式后,答案似乎是`prefix(11^112).ai/givemeprize`,但网站返回404错误。穷举搜索也无果而终。
在lobsters.rs网站获得进一步指导后,解题者发现`log*`表示迭代对数,`BusyBeaver(4)`的正确值是13。重新计算后,指数变为18。在10^18的上下文中,`prefix`指的是10^18的SI前缀,即exa(艾)。
最终答案是`exa.ai/givemeprize`。