NHK教育を見て58671倍賢くリチウムイオン電池
■ このスレッドは過去ログ倉庫に格納されています
図で見ると理解できるけど、これを数学的に証明するってどういう事なんだろう >>359
その証明の内容が正しいということは結局他の誰かがチャレンジして正しいと確かめたわけで >>365
チャットしてるこの人と気が合うかもな・・・AIでした
それも自分に合うよう調整された、、、そんな時代が来るのかな 4色で塗らなきゃいけない例題が3色で塗れてしまうというのは、例題とはいえダメだよな >>368
サンショク!サンショク!
スーパーヅガン思い出した 3色では塗り分けられないとか5色では多すぎるってのを地道に証明して追い込んでくのかな >>391
塩分の問題に本気で取り組んだようだ
東北各県も見習わなきゃならん >>397
闇雲に何回も取り組んでもそれは統計にしかならんから、やっぱ数式で証明しなきゃならんのかな 数学者なんてプログラミングの専門家みたいなもんだろうに コンピューターで解くにはきちんとした数式を作らないといけないかられっきとした数学証明なんだけどな コンピューターで証明するのはエレガントではない
って証明にエレガントである必要性はない エレガントじゃないとって言う意見は可愛そうだけど
コンピュータで証明しちゃったせいで副産物的な発見がなかったとは言われてたね
だいたい大きな問題を解くとその過程でいろんな事がわかるのが今まで 数学に限らず科学全般そうやな
考古学みたいに例外もないではないが >>436,440
声ちょっと似てるな(´・ω・`) >>438
AI「勝手に独立発見すればいいじゃん」 技術なら理由はわからなくても答え在りきでだんだん洗練されていくものなのに 先生は元カノに似てるので当時を思い出して切なくなった(´・ω・`) 数式で処理するんじゃなくコンピューターに総当たりさせて証明とかされても困るしなあ >>450
AIって数学問題解けないのかな
予想が正解かどうかとかAI得意そうだけどなー ■ このスレッドは過去ログ倉庫に格納されています