12月にエージェント・コーディングで起きたのと同じような転換点が、今まさに数学でも起きています。ゆっくりと、そして一気に