bizonyítás
A Matematikusok Nemzetközi Kongresszusa a matematika legfontosabb új eredményeinek, problémáinak és kutatási irányainak nemzetközi fóruma. A kongresszus egyik fontos törekvése a különböző matematikai területek közötti kapcsolatok bemutatása. Az idei eseményen, az ICM 2026-on olyan aktuális témák is megjelentek, mint a mesterséges intelligencia és annak lehetséges szerepe a matematikai kutatásban. A Fields-érmes Terence Tao előadásának lényegét Simon Péter főszerkesztő foglalta össze az Érintő olvasóinak.
A gépi tételbizonyítás sikere vitát indított el a matematikai közösségben. A fő kérdés: vajon teljes mértékben megbízhatunk-e egy olyan bizonyí­tás­ban, amelyet nem tudunk teljes egészében az emberi percepcióra és a tiszta észre hagyatkozva ellenőrizni? Molnár Zoltán Gábor cikke érdekes filozófiai problémákat is felvet, miközben bevezetést kapunk a Lean program­nyelvbe és a bizo­nyí­tás­asszisz­tens szoftverek elvébe, érintve a mesterséges intelligencia jövőbeni fejlődését. Tovább...