Acaban de publicar la solución a un problema mítico de Erdos junto su correspondiente prueba formalizada.

Mirad la lista de autores (!!!!) @pmarsupia