DeepSeek V3.2 Speciale one shot the shortest solution to my 3rd (currently, hardest) λ-calculus problem. Current solutions, from worst to best. Opus 4.5: rotL = λN.λT.λt.(T λk.(λn.λs.λz.(n λg.λh.(h (g s)) λu.z λu.u) N λu.λr.λk.λe.(u (r e) k) λr.λk.(r k) t k)) Gemini 3 Pro / GPT 5 Pro: rotL = λn.λt.λf.(t λx.(n λg.λh.(h (g λp.λg.λy.(p (g y)))) λu.λg.(g x) λu.u f)) DeepSeek V3.2: rotL = λN.λT.λc.(T λa.(N λf.λg.λx.(f (g x)) λh.(h a) λz.z c)) All are correct. I find this curious. A few months ago, no model solved this. Now all recent ones (except GPT 5.1) seem to. I'll make harder problems! Worth noting that DeepSeek failed on the stack underflow bug, which only Opus 4.5 and a non public checkpoint of Gemini 3 Pro solved.
Cargando el detalle del hilo
Obteniendo los tweets originales de X para ofrecer una lectura limpia.
Esto suele tardar solo unos segundos.