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. Ezek közül sok apró technikai rejtvénynek tűnik, mások a számelmélet és kombinatorika központi kérdései közé tartoznak. Az Erdős-problémák listája ma is él, és a matematikusok folyamatosan dolgoznak rajtuk. Most azonban egy új szereplő is beszállt: a mesterséges intelligencia. Az elmúlt hónapokban nagy nyelvi modellek, például a ChatGPT és a Gemini, látványos eredményeket értek el az Erdős-problémák „megoldásában”. De vajon valódi matematikai áttörésről van szó, vagy csupán hatékonyabb szakirodalmi


Követés