@vitalik.eth
https://x.com/Math_files/status/2035264585629147538
I'm impressed that Qwen 35B was able to figure this one out.
(took 15k tokens, a little under 3 min on my laptop)
Anyway, the way that you can use trigonometric functions to sneak modular arithmetic into what looks like clean smooth elementary functions is really cool.