a4です。Ｐ２Ｐ人工知能「Ｔ」開発(6)

[過去ﾛｸﾞ] a4です。Ｐ２Ｐ人工知能「Ｔ」開発(6) (1002ﾚｽ)
上下前次1-新
抽出解除必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞あぼーん

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

606(1): 蟻人間 ◆T6xkBnTXz7B0 2019/06/22(土)19:37 ID:I/tbsLEH(1) AAS
自動定理証明が未解決問題をスパスパ解けるようになったら、これは大金持ちになるしかない。