AIが証明の希少性を壊したとき、数学者は何を価値とするのか

Illustration Beyond Proof

2026年1月、Institut Henri Poincaréでのワークショップで数学者、歴史家、芸術家、教育者が集まり、「厳密なイラストレーションとは何か」を議論した。その成果は、AIが定理生成の希少性を崩壊させた今、数学の価値基準を問い直す論文へと結実。証明だけでなく、図解や視覚的表現が研究を進める役割に光を当て、数学の多様な意味を再考する。