A fotón látható Frank Plumpton Ramsey, a fiatalon elhunyt zseniális polihisztor egyszerű matematikai tételéből egy teljes elmélet keletkezett.  A Ramsey-elméletet a hőskortól, Erdős Páltól, Szekeres Györgytől kezdődően a 2023-as év új hullámáig, a fiatal matematikusok áttöréséig, a legújabb felső becslést diagonális Ramsey-számokra, majd az új alsó becslést Ramsey-számokra is bemutatja Pach János és Tardos Gábor tanulmánya. 

A fényképen focimezben a Rényi Intézet 11 kutatója, ők azok, akik az Európai Kutatási Tanács immár 12 ERC pályázatát megnyerték az utóbbi években. Stipsicz András, az Intézet vezetője nemrég másodszor kapta meg az Advanced Grant támogatást, segítségével némi bepillantást kapunk a Csomók és felületek 4-dimenzióban című kutatás témájába. 

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ásban, 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 programnyelvbe és a bizonyításasszisztens szoftverek elvébe, érintve a mesterséges intelligencia jövőbeni fejlődését. Tovább...