Vůbec poprvé se umělé inteligenci podařilo odvodit obecnou funkci "foldr" pro N-tice v λ-kalkulu. Byl to Gemini Pro 2.5 s technologií Deep Think. Všechny ostatní modely to nedělají, včetně o3 a Grok 4. Pěkný pokrok @GoogleDeepMind

@GoogleDeepMind (Pokud jde o Bend, rozhodli jsme se, že o něm začneme psát v říjnu, což je s největší pravděpodobností měsíc spuštění.)