WEB広報・会員ニュース

「AIと数学に関するライデン宣言」について

2025年にオランダ・ライデン大学で開催された会議“Mechanization and Mathematical Research”を
契機として、次の文書が発表されています。

Leiden Declaration on Artificial Intelligence and Mathematics
（AIと数学に関するライデン宣言）

この宣言は、数学研究における AI 利用の課題と今後の指針を示したものです。
ご興味のおありの会員の皆様にお知らせします。