[過去ﾛｸﾞ] a4です。Ｐ２Ｐ人工知能「Ｔ」開発(6) (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
602(1): 。。。 [sage] 2019/06/22(土) 18:06:22.40 ID:2BayO8fv(1) AAS
コンピュータが専門ではないので的外れな感想かもしれませんが
こういうものは見たことがないので面白いと思います
QQで似たような会話できるAIと話したこともありましたが
a4さんのとはちょっと違うかもな
本当に自動定理証明に使えるようになれるのなら、論文とかを書いて有名になれるのではないかな
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.044s