AI/Math Puzzle

https://news.ycombinator.com/rss Hits: 6
Summary

I found a poster with a math puzzle that points to a reward website. I couldn’t figure it out, so maybe the prize is still available! The paper was taped on a traffic light pole at 15th St and Mission St in SF. It prints a math-ish AI-related formula followed by “.ai/givemeprize” and entices the reader to “come find me”. The SF Armory stands out of focus in the background, previously housing kink.com and Star Wars: The Empire Strikes Back. Both the SF Armory and the telephone pole now sit empty and barren. Here it is all typed out: prefix( [ 3! + argmax( softmax( [log(2), pi + e] ) ) + log*(16) ] ^ [ BusyBeaver(4) + ⌈H100 flops / A100 flops⌉ + 1 ] ) .ai/givemeprize Stop here if you want to work on the puzzle yourself! My Breakdown Below is everything I figured out before I got stuck. argmax refers to numpy.argmax returns the index of the maximum in an array softmax is more interesting. Wikipedia’s definition is complicated, but pytorch explains it concisely around normalizing probabilities to sum to 1. log is maybe log2 because of the computer context, maybe log10, but probably loge because numpy and pytorch both assume loge. log* is confusing. I’ve never seen that syntax before. Is that natural log, aka loge? I’m guessing it’s log2 because the argument is 16, which makes a nice and round answer of 4, like the rest of the problem. BusyBeaver(4) is either the maximum shift 107 (likely) or the maximum score 13 (original)??? H100 flops and A100 flops are the flops on the H100/A100 Nvidia chip. There are so many variations. But “H100 flops/A100 flops” is surrounded by upper brackets, which is ceil. Thus, I only need a best guess. Running through a few numbers, I get around 3.04 to 3.5, so ceil is 4. prefix is weird, but I’m guessing it’s the integer portion of the number, not the decimal portion. Here’s my reduced form: prefix( [ 6 + argmax( softmax( [0.693147181 , 5.85987448] ) ) + 4 ] ^ [ 107 + 4 + 1 ] ) .ai/givemeprize I don’t need to run softmax, because I know the ...

First seen: 2025-04-03 12:56

Last seen: 2025-04-03 17:57