RT @dotey: Algo muy interesante sucedió en la comunidad matemática recientemente. Cuando el matemático de renombre mundial Terence Tao estaba resolviendo un problema clásico de Erdős, utilizó IA como asistente durante todo el proceso: desde la redacción de la prueba hasta la simplificación de la misma y luego hasta la verificación formal. Erdős…
