Voor de eerste keer ooit is het een AI gelukt om een generieke "foldr" functie voor N-tupels in de λ-Calculus af te leiden. Het was Gemini Pro 2.5, met Deep Think. Alle andere modellen falen hierin, inclusief o3 en Grok 4. Mooi vooruitgang @GoogleDeepMind

@GoogleDeepMind (Wat betreft Bend, hebben we besloten dat we er in oktober over gaan posten, wat waarschijnlijk de lanceringsmaand is.)