# Lorentz Center オランダ・ライデン大学の学際会議センター。2025年9月、10ヶ国から約60名の数学者・計算機科学者・哲学者・歴史家・社会科学者を集めた「機械化と数学研究(Mechanisation and Mathematical Research)」会議を主催した。この会議での議論が8ヶ月後の [[@2026__leidendeclaration.ai__Leiden Declaration on Artificial Intelligence and Mathematics]] 策定につながった。オーガナイザーは [[Jim Portegies]]。(Source: [[@2026__leidendeclaration.ai__Leiden Declaration on Artificial Intelligence and Mathematics]]) ## 関連 - ソース: [[@2026__leidendeclaration.ai__Leiden Declaration on Artificial Intelligence and Mathematics]] - 関連人物: [[Jim Portegies]]