El uso de esta herramienta tan potente en combinación con la experiencia de profesionales humanos, ha permitido en 3 semanas desatascar y completar el reto planteado por Terence Tao y Kontorovich, cuyo progreso había quedado encallado tras 18 meses de trabajo humano!

→ View original post on X — @dotcsv