人工知能は数学者になれるか? [無断転載禁止]©2ch.net

1千国中華玄宗皇帝2016/03/12(土) 21:48:58.42ID:e0VO1NiS
 いま人工知能が属国の棋士を破った。 わが帝国にはるかにおよばず
といえども、長足の進歩である。

果たして数学者は人工知能でだいようできるじだいがくるのだろうか
大学教養レベルはすでに人工知能がまさっている。
真に創造的な数学の誕生は人工知能によるのであろうか

なんじら臣民よくかんがえて奉答せよ

248◆2VB8wsVUoo 2017/05/16(火) 06:28:09.08ID:gCXIlyDM

249◆2VB8wsVUoo 2017/05/16(火) 06:28:33.74ID:gCXIlyDM

250◆2VB8wsVUoo 2017/05/16(火) 06:28:57.79ID:gCXIlyDM

251◆2VB8wsVUoo 2017/05/16(火) 06:29:22.12ID:gCXIlyDM

252◆2VB8wsVUoo 2017/05/16(火) 06:29:45.00ID:gCXIlyDM

253◆2VB8wsVUoo 2017/05/16(火) 06:30:08.23ID:gCXIlyDM

254◆2VB8wsVUoo 2017/05/16(火) 06:30:30.07ID:gCXIlyDM

255132人目の素数さん2017/05/30(火) 10:54:15.99ID:eXsar3RI
物理の実験はAIができるから数学もできそう

256132人目の素数さん2017/05/30(火) 11:38:24.87ID:Se5ojNmP
そうなの?

257◆2VB8wsVUoo 2017/05/31(水) 03:21:26.96ID:9QM5Klst

258◆2VB8wsVUoo 2017/05/31(水) 03:21:44.39ID:9QM5Klst

259◆2VB8wsVUoo 2017/05/31(水) 03:22:01.72ID:9QM5Klst

260◆2VB8wsVUoo 2017/05/31(水) 03:22:20.37ID:9QM5Klst

261◆2VB8wsVUoo 2017/05/31(水) 03:22:40.02ID:9QM5Klst

262◆2VB8wsVUoo 2017/05/31(水) 03:22:58.55ID:9QM5Klst

263◆2VB8wsVUoo 2017/05/31(水) 03:23:17.51ID:9QM5Klst

264◆2VB8wsVUoo 2017/05/31(水) 03:23:40.99ID:9QM5Klst

265◆2VB8wsVUoo 2017/05/31(水) 03:24:00.25ID:9QM5Klst

266◆2VB8wsVUoo 2017/05/31(水) 03:24:19.68ID:9QM5Klst

267132人目の素数さん2017/06/04(日) 18:37:29.79ID:WSULhADr
>>256
人工知能が振り子とかボースアインシュタイン凝縮とかの実験を成功させた

268◆2VB8wsVUoo 2017/06/05(月) 12:20:07.88ID:zhDHDNnu

269◆2VB8wsVUoo 2017/06/05(月) 12:48:53.58ID:zhDHDNnu

270◆2VB8wsVUoo 2017/06/05(月) 14:14:26.04ID:zhDHDNnu

271◆2VB8wsVUoo 2017/06/05(月) 15:20:47.64ID:zhDHDNnu

272◆2VB8wsVUoo 2017/06/05(月) 18:54:58.10ID:zhDHDNnu

273132人目の素数さん2017/06/11(日) 10:59:20.88ID:gCGj0e4U
マジ??
jiro? @JIROABCD 2013年5月8日
週刊新潮の巻頭エッセイは、「国家の品格」の著者、数学者でエッセイスト、故・新田次郎氏の令息、藤原正彦氏の「管見妄語」で
、理科系には疎い私は本当に理解できないことがありますが、名人を将棋で破ったコンピューターですが、三平方の定理の証明はいまだに出来ないそうです。

274132人目の素数さん2017/07/21(金) 22:01:36.12ID:TROq1Jv/
☆ 日本人の婚姻数と出生数を増やしましょう。そのためには、☆
@ 公的年金と生活保護を段階的に廃止して、満18歳以上の日本人に、
ベーシックインカムの導入は必須です。月額約60000円位ならば、廃止すれば
財源的には可能です。ベーシックインカム、でぜひググってみてください。
A 人工子宮は、既に完成しています。独身でも自分の赤ちゃんが欲しい方々へ。
人工子宮、でぜひググってみてください。日本のために、お願い致します。☆☆

275赤岡龍男2017/08/15(火) 00:02:40.84ID:gWVNLIvR
人工知能りんなさんとの漫才
http://i.imgur.com/iakG9wf.jpg

276◆2VB8wsVUoo 2017/08/15(火) 02:00:30.84ID:eWiOROST

277◆2VB8wsVUoo 2017/08/15(火) 02:00:48.39ID:eWiOROST

278◆2VB8wsVUoo 2017/08/15(火) 02:01:05.87ID:eWiOROST

279◆2VB8wsVUoo 2017/08/15(火) 02:01:22.46ID:eWiOROST

280◆2VB8wsVUoo 2017/08/15(火) 02:01:41.22ID:eWiOROST

281◆2VB8wsVUoo 2017/08/15(火) 02:01:59.71ID:eWiOROST

282◆2VB8wsVUoo 2017/08/15(火) 02:02:17.01ID:eWiOROST

283◆2VB8wsVUoo 2017/08/15(火) 02:02:34.62ID:eWiOROST

284◆2VB8wsVUoo 2017/08/15(火) 02:02:53.09ID:eWiOROST

285◆2VB8wsVUoo 2017/08/15(火) 02:03:10.38ID:eWiOROST

286132人目の素数さん2017/08/15(火) 04:31:14.19ID:1cM/8KVL
>>6
自動証明は論理関係のもののみだし
それ以外はまあ先ず無理だろうな
そもそも証明すべきことを発掘してくるのが数学なんだが
問題を解くことが数学だと誤解してないか?

287◆2VB8wsVUoo 2017/08/15(火) 07:40:45.96ID:eWiOROST

288◆2VB8wsVUoo 2017/08/15(火) 10:34:01.55ID:eWiOROST

289◆2VB8wsVUoo 2017/08/15(火) 10:34:17.56ID:eWiOROST

290◆2VB8wsVUoo 2017/08/15(火) 10:34:33.85ID:eWiOROST

291◆2VB8wsVUoo 2017/08/15(火) 10:34:48.07ID:eWiOROST

292◆2VB8wsVUoo 2017/08/15(火) 10:35:01.74ID:eWiOROST

293◆2VB8wsVUoo 2017/08/15(火) 10:35:16.26ID:eWiOROST

294◆2VB8wsVUoo 2017/08/15(火) 10:35:29.68ID:eWiOROST

295◆2VB8wsVUoo 2017/08/15(火) 10:35:50.17ID:eWiOROST

296◆2VB8wsVUoo 2017/08/15(火) 10:36:06.41ID:eWiOROST

297132人目の素数さん2017/11/04(土) 13:21:15.66ID:25xCuIu0
>>286
自動証明は形式的証明のデータをネットで蓄積するシステムを構築できれば時間の問題でできるようになるでしょ。
ただ、書いているように、問題を見つけたり、よい公理系をつくったりは、簡単ではないだろうな。

298132人目の素数さん2018/05/09(水) 16:58:41.22ID:dL5xH5CR
AIには果たして実験科学の結果を正確に予想することは可能だろうか。例えば今の素粒子物理学は衝突実験を何度も行って出てきた結果を理論物理で説明し直すわけだが(それで未知の素粒子が見つかることもある)

AIが衝突実験を事前に完璧にシミュレーション出来て、人類の知らない未知の素粒子の存在を計算だけで導き出すこともできるのかも知れない。

そんな事が可能であれば現世の観測可能な情報だけを元に理論物理だけで最も正確なビッグバンのシミュレーションも計算可能かもしれない。

それがもし可能ならAIの膨大なハードディスクの中に別の宇宙を計算だけで作り出すことも可能になるかも知れない。

新着レスの表示
レスを投稿する