5. Tudomány
- Leideni Deklaráció a Mesterséges Intelligenciáról és a Matematikáról
A Leideni Nyilatkozat a Mesterséges Intelligenciáról és a Matematikáról (Leiden Declaration on AI and Mathematics) egy 2026 júniusában kiadott állásfoglalás, amelyet a témával foglalkozó, nemcsak matematikus tudósok egy tágabb nemzetközi csoportja fogadott el. Az egyeztetési folyamat a hollandiai Leidenben kezdődött el. A Leideni Deklaráció a mesterséges intelligencia kutatási célokra történő használatával kapcsolatosan fogalmazza meg az aktuális kihívásokat, és segít eligazodni is. Elsősorban a matematikai kutatásokra alapozva tartalmaz ajánlásokat, de a dokumentum nemcsak matematikusok számára íródott, és a szélesebb társadalom tagjainak is szól. A Rényi kutatói közül is többen aláírták már a Leideni Deklarációt, amelynek jelentősége túlmutat a matematika területén.
A nyilatkozat alapgondolata, hogy a matematika nem pusztán tételek előállításáról szól, hanem emberi megértésről, a bizonyítások átláthatóságáról, valamint arról, hogy a kutatók felelősséget vállalnak eredményeikért. A mesterséges intelligencia (MI) új lehetőségeket kínál, de közben ezek az alapelvek sérülhetnek, ha a technológiát kritikátlanul alkalmazzuk. A dokumentumot teljes terjedelmében itt lehet elolvasni.
Bővebben a Rényi Intézet honlapján.
- Egy 10 dolláros sejtés útja
A lefedőkongruenciák elmélete Erdős Pál egyik legkedvesebb kutatási területe volt. Gyarmati Katalin cikke az Érintőben egy olyan problémájának történetét vázolja, amelynek megoldására kezdetben 10, majd 1000 dollárt ajánlott fel Erdős. Sejtésének az ellenkezőjét bizonyították be a 2000-es években. A cikkben egy elemi bizonyítást láthatnak a probléma továbbgondolására.
