>>786 タイポ訂正

これの類似が、いまいま数学のAI化で起こりつつあるってことだな
　↓
これの類似が、いま数学のAI化で起こりつつあるってことだな

補足すると
・タオのMath2.0 の具体的内容が、固まっていないが
・いまのMath1.0 なら 「Math1.0の仕事は 数学AIで間に合う」という時代になるだろう
　（数学AIをエージェントとして使える人が Math2.0レベルってことだろうね）