Forradalmasítja a mesterséges intelligencia a matematikát? Az Erdős-problémáktól a First Proof kihívásig
Mi az az Erdős-probléma, és miért beszél most róla a fél matematikai világ? A 20. század legendás matematikusa, Erdős Péter élete során több mint ezer nyitott kérdést, sejtést és problémát fogalmazott meg.
