IA contraejemplo: cuando la máquina resuelve problemas que los matemáticos no pudieron en 60 años
ChatGPT disproved Erdős' conjecture and OpenAI's Sol found a counterexample to a 60-year-old Grothendieck conjecture. What happens when AI becomes an active agent of mathematical discovery?