20/11/29 12:30:25.55 YHrQm0L/.net
>>926
別に数学者になりたいとか
数学の定理を証明したいとか
いう気持ちは全くないよ
もういい歳だしね
やってたのはロジックで、AIは全く知らないんだ
AIで数学の新しい定理が解けるなら面白いね
でも今はまだ全然そんなレベルじゃないだろ
大学の入試問題は解けるみたいだけど
それはもうボクが学生のころから原理的にはわかってた
Quantifier elimination
URLリンク(en.wikipedia.org)
これはロジックの話だから、ちょっと面白いかもしれんね