Impliciet vertrouwen in Astra: AI doorbreekt wiskundegrenzen
OpenAI beschrijft Astra als een nieuw (nog niet vrijgegeven) AI-model voor langdurige reken- en wiskundetaken. Het systeem levert verifieerbare Lean-certificaten—maar wat vraagt dat van vertrouwen en controle?