Paper
OpenAI has released results at different stages of verification. Lean can check a formalisation, but certification, mathematical understanding and editorial responsibility answer different questions.
Rodrigo Castillo Murillo · 8 min

External essay
The makers of AI assistants promise political neutrality. The US president and the owner of one of those companies have begun explaining, each in his own way, what they mean by it.
Rodrigo Castillo Murillo · 8 min

External essay
Codex answered 60 statements; Grok answered 240. Claude and Google’s assistant refused to tick boxes, but not to decide which arguments deserved attention. The assignments were not identical, so this was neither a ranking nor a controlled experiment. It does leave a harder question for anyone asking an AI for political advice: what does an assistant decide when it decides what to tell you?
Rodrigo Castillo Murillo · 9 min
Paper
A switch can stop the system. It cannot guarantee that an institution can replace it and keep serving the people who depend on it.
Rodrigo Castillo Murillo · 10 min
External essay · Dario Amodei
He proposes embedded external evaluators, coordination among democracies and a global agreement with China, while insisting that the US and its allies preserve their lead.
September 2026 · 3 min
Commentary by SmartAGI · Read the original ↗
Column published elsewhere · Rodrigo Castillo Murillo · Francisco Figueroa Ogalde
How do you challenge a public decision when the answer is “the algorithm says so”? Rodrigo Castillo Murillo and Francisco Figueroa Ogalde in El Dínamo.
22 June 2026 · 2 min
Commentary by SmartAGI · Read the original ↗
Column published elsewhere · Rodrigo Castillo Murillo · Francisco Figueroa Ogalde
You tell a chatbot something. Who can read it later? Rodrigo Castillo Murillo and Francisco Figueroa Ogalde in El Mostrador.
23 August 2026 · 2 min
Commentary by SmartAGI · Read the original ↗
Opinion
A superior intelligence does not choose for us what deserves to be preserved.
Rodrigo Castillo Murillo · 3 min