48 points | by markerz 14 days ago ago
10 comments
o3-mini solved it
https://chatgpt.com/share/67ee9b1c-57d4-8005-b7ec-16fceab1ff...
o1-pro also solves it
https://chatgpt.com/share/67ee9bc0-2804-8005-85c3-2978e7a8ba...
Looking at this, I do not understand how people can be bearish about LLMs.
log* is https://en.wikipedia.org/wiki/Iterated_logarithm
aka inverse of tetration
I solved this in the worst way. Took a (correct) guess at what was meant by prefix, and then brute-forced a dozen of them. Did you know that zetta.ai is also an AI company?
It's an ad for a search engine.
this problem does not look remotely interesting
Haven't read past the problem statement to avoid spoilers.
How difficult can it be to brute force this. (Try all possible domain names within a reasonable length)
Take help from AI while you are at it.
exa.ai/givemeprize
o3-mini solved it
https://chatgpt.com/share/67ee9b1c-57d4-8005-b7ec-16fceab1ff...
o1-pro also solves it
https://chatgpt.com/share/67ee9bc0-2804-8005-85c3-2978e7a8ba...
Looking at this, I do not understand how people can be bearish about LLMs.
log* is https://en.wikipedia.org/wiki/Iterated_logarithm
aka inverse of tetration
I solved this in the worst way. Took a (correct) guess at what was meant by prefix, and then brute-forced a dozen of them. Did you know that zetta.ai is also an AI company?
It's an ad for a search engine.
this problem does not look remotely interesting
Haven't read past the problem statement to avoid spoilers.
How difficult can it be to brute force this. (Try all possible domain names within a reasonable length)
Take help from AI while you are at it.
exa.ai/givemeprize