Pentru prima dată, o inteligență artificială a reușit să derive o funcție generică de "pliere" pentru N-tuplele în λ-calcul. Era Gemini Pro 2.5, cu Deep Think. Toate celelalte modele nu reușesc să facă acest lucru, inclusiv o3 și Grok 4. Progres frumos @GoogleDeepMind

@GoogleDeepMind (În ceea ce privește Bend, am decis să începem să postăm despre el în octombrie, care este cel mai probabil luna lansării.)