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...