El ‘aficionado’ y ChatGPT
1:26:51–1:27:36 · 45s
Relato viral: un joven no matemático coordina con un amigo en Cambridge y herramientas formales para validar pruebas de IA y resolver varios problemas de Erdős.
1:26:51–1:27:36 · 45s
Relato viral: un joven no matemático coordina con un amigo en Cambridge y herramientas formales para validar pruebas de IA y resolver varios problemas de Erdős.
We use cookies to understand how you use our platform and to improve your experience. Click "Accept All" to consent, or "Decline non-essential" to opt out of non-essential cookies. Read our Privacy Policy.