# Jim Portegies Eindhoven University of Technology 所属(連絡先: [email protected])。2025年9月に [[Lorentz Center]] で開催された「機械化と数学研究」会議のオーガナイザーであり、会議後8ヶ月の議論を経て策定された [[@2026__leidendeclaration.ai__Leiden Declaration on Artificial Intelligence and Mathematics]] を主催した。(Source: [[@2026__leidendeclaration.ai__Leiden Declaration on Artificial Intelligence and Mathematics]]) ## 関連 - ソース: [[@2026__leidendeclaration.ai__Leiden Declaration on Artificial Intelligence and Mathematics]] - 関連組織: [[Lorentz Center]]