未解決のモノガミー予想に、AIと数値実験と計算機援用証明で挑んだ舞台裏。凸最適化への定式化、中心形式、margin を直接検証するという発想の転換が効いた場面と、AIが必ず犯す誤りを「式は数値が裁く」という規律で回収した記録。そして、できないと言わせることの価値について。
makoto-developer's テックブログ
未解決のモノガミー予想に、AIと数値実験と計算機援用証明で挑んだ舞台裏。凸最適化への定式化、中心形式、margin を直接検証するという発想の転換が効いた場面と、AIが必ず犯す誤りを「式は数値が裁く」という規律で回収した記録。そして、できないと言わせることの価値について。