X
トップページ⇒数学
1002コメント265KB
【朗報】ABC予想、証明される
レス数が900を超えています。1000を超えると表示できなくなるよ。
0001１３２人目の素数さん
垢版 |
2017/12/16(土) 05:13:57.18ID:LWBkIgS+
長年にわたって世界中の研究者を悩ませてきた数学の超難問「ＡＢＣ予想」を証明したとする論文が、国際的な数学の専門誌に掲載される見通しになった。執筆者は、京都大数理解析研究所の望月新一教授（４８）。
今世紀の数学史上、最大級の業績とされ、論文が掲載されることで、その内容の正しさが正式に認められることになる。

https://news.yahoo.co.jp/pickup/6264972
0803１３２人目の素数さん
垢版 |
2018/02/21(水) 00:36:44.58ID:X9R+dwGl
>>802
いや、完全な統計だよ…
枠がかっちりしているもの（囲碁・将棋・画像処理）に対して予想外に適用をみただけで
独創的な発想なんて奴ら(AI) にははなからできっこないよ…
0804１３２人目の素数さん
垢版 |
2018/02/21(水) 00:38:43.97ID:kze/IH+e
新井紀子さんがマーチレベルというように読んでしまった。
0805１３２人目の素数さん
垢版 |
2018/02/21(水) 00:39:25.64ID:AJbGUq0T
だけどね、新井さんのやってることは駄目だと俺は思ってる
うちらも東ロボより高い目標を掲げてるけど、誰もが受験をやって、ある程度は学歴社会
になっているでしょう
そういう中でAIに東大合格させたらね、不愉快になる人はたくさんいますよ
受験じゃなくて数オリとか小説ならいいけどね

こんなとこで言っても仕方ないが、倫理的にやっちゃいけないと思うよ
新井さんは人間には人間の尊厳があるから問題ないとか自己弁護するだろうけど
0806１３２人目の素数さん
垢版 |
2018/02/21(水) 00:41:56.11ID:AJbGUq0T
>>803
いや、理論的に統計を相対化する拡張の余地はあるということ
強化学習なんか既に普通の統計学習ではないよ
勿論、非統計学習というのはある種の教師あり学習でもある
0807１３２人目の素数さん
垢版 |
2018/02/21(水) 00:44:44.49ID:AJbGUq0T
「非統計」は語弊があるね
「Semi」や「hybrid」のほうが適切かな
0808１３２人目の素数さん
垢版 |
2018/02/21(水) 00:48:19.66ID:6368AEWU
受験勉強で出てくる数学は
古代・中世・近世・近代
のうちの偉業の一部だ
いくら解答がわかっているとはいえその思考過程にはヴァリエーションがある
もちろん効率的で最速が求められる受験には向かないが
考える楽しみは十分にある
0809１３２人目の素数さん
垢版 |
2018/02/21(水) 00:55:25.57ID:LGVuLxrN
数オリレベルの問題はただの統計計算機レベルということですか
0810１３２人目の素数さん
垢版 |
2018/02/21(水) 00:59:16.74ID:AJbGUq0T
>>809
それは断言できませんが、効率を考えると統計だけでなく、より拡張したほうが良いと
自分は思っている。うちかどうかはわからないが、近いうち何処かが実現するでしょう
0811１３２人目の素数さん
垢版 |
2018/02/21(水) 01:01:12.01ID:UxULvCH2
未解決問題を解くことや新しい理論や手法や記号を数学界に残すことのほうがはるかに凄い
高校生がやる数学オリンピックなんて大人になったら卒業だっての
0813１３２人目の素数さん
垢版 |
2018/02/21(水) 09:56:51.60ID:1L1kQF2e
数オリは未解決問題よりも難しいんだぞ
0815１３２人目の素数さん
垢版 |
2018/02/21(水) 15:23:48.69ID:r0kF+yJ5
>>813
> 数オリは未解決問題よりも難しいんだぞ

マジレスするが、君は真性バカですか？

未解決問題は解けるかどうかさえ不明（場合によっては数学に新たな公理を追加しないと肯定的にも否定的にも解けない事態が起こり得る、例えばカントルが出した連続体仮説という彼自身にとっては未解決だった問題の場合など）だし
原理的にはその問題が出された時点での数学の公理群の枠内で解けるはずの問題だとしても今の数学の段階（高度で抽象的だが強力な概念やそれに関する理論＝その概念に関する定理など集まりの整備状況）では解けない問題かも知れない
例えば後者の例を挙げると、フェルマー大予想という長い間未解決だった問題は、この難問を解決できるだけの数学の高度な道具を世界中の数学者がこぞって300年以上かけて創り上げ整備する必要があったから長い間解けなかったのだ

だが数オリは必ず答えが存在していることが保証されていて、しかも大学未満の数学の範囲で解けることまでも最初から保証されている問題に過ぎない
言い換えれば数オリの個々の問題の出題者は高校数学の範囲での解き方も含めて正解を知っている、数オリは難問と言ってもその程度の難問に過ぎない

○○大学の入試数学は難問ぞろいだ、といった類の話の延長線上にあるに過ぎないんだよ、数オリなんてものはね
もちろんそれを解いて金メダルに限らず優れた成績を挙げた生徒さんたちは立派だし誇りにして良いが、未解決問題と並べるなんてのはね
0816１３２人目の素数さん
垢版 |
2018/02/21(水) 20:49:52.39ID:1L1kQF2e
数オリは絶望的な難易度なんだよ？
高校数学までで解けるけど究極の難易度じゃないかな？
0819１３２人目の素数さん
垢版 |
2018/02/21(水) 21:18:52.02ID:1qHQN80c
囲碁も将棋も数オリもたかだか有限の組み合わせなら原理的にコンピューターに解かれてしまう。
現実上でも実際もうそろそろ敵わなくなってきた。

碁盤やコマの数を単純に増やして誤魔化せるが実に誤魔化しだ。
0821１３２人目の素数さん
垢版 |
2018/02/21(水) 23:11:06.43ID:ijRJu7AJ
数オリの問題を作ることは解くことよりも当然難しいが
その作問者ですら歯が立たないのが未解決問題だ
0822１３２人目の素数さん
垢版 |
2018/02/21(水) 23:34:36.01ID:dBe0cLEX
>>796
別に名前を出しても問題ないと思うが。
そんな事例があるならね。
ないと思うよ。
0825１３２人目の素数さん
垢版 |
2018/02/21(水) 23:51:24.61ID:1qHQN80c
4050でポストにしがみついてるだけの人間を社会的に安楽死させる方法を確立した方が社会にとって有益な新陳代謝につながると思うの。
0826１３２人目の素数さん
垢版 |
2018/02/22(木) 02:45:10.47ID:tTs6a71P
>>823
調べればたくさんあると思う。
例えば、アペリーは62歳でζ(3)が無理数であることを証明して有名になった。
0827１３２人目の素数さん
垢版 |
2018/02/22(木) 06:53:19.17ID:xI4vpPKM
数オリって、大学数学よりかは難しいよな
0828１３２人目の素数さん
垢版 |
2018/02/22(木) 07:06:00.95ID:ZMjQrT3G
数オリに洗脳された被害者がたくさん出てるのは
数オリの負の面だな
0829１３２人目の素数さん
垢版 |
2018/02/22(木) 08:50:29.34ID:xan/ZIKO
問題が困難であるほど価値があるのなら
おまいらDTに美人の萌え嫁を提供する
問題の価値は天文学的
0830１３２人目の素数さん
垢版 |
2018/02/22(木) 09:25:35.55ID:PgrMIqoA
オリンピックと言うよりもクラブユース数学選手権だな
日本だけなら数学甲子園と言い換えられる
0831１３２人目の素数さん
垢版 |
2018/02/22(木) 11:26:28.19ID:COmZlYmH
数オリの攻略法って何かある？
0832１３２人目の素数さん
垢版 |
2018/02/22(木) 11:29:12.70ID:Ow/MIaUL
生まれ直す
0833１３２人目の素数さん
垢版 |
2018/02/22(木) 14:25:00.72ID:NcNaN3Ls
>>830
炎天下で全力で運動をする野球と数学を比べるなばーか
数学なんていつでもできるだろ？
それに対して高校野球の激しい運動は10代に限られる
0834１３２人目の素数さん
垢版 |
2018/02/22(木) 18:26:26.63ID:hxLie666
>>823
わかってないな
才能は初めからあるんだけど、スケールが大きいから形を成してくるのが遅いって感じ
いきなり目覚めるとかではない
数学がどんどん複雑になってるから仕方ない
あと、天才にもタイプがあると考えるべき
0835１３２人目の素数さん
垢版 |
2018/02/22(木) 18:33:20.21ID:hxLie666
適応型天才＝分野で求められている問題解決や理論構築に優れる
創造型天才＝問題発見・深化・統一・組織化に優れる。新しく広大なため時間がかかる

大体適応型の座標に応じてフィールズ賞の可能性が上がると思われる
0836１３２人目の素数さん
垢版 |
2018/02/22(木) 18:35:56.69ID:k36sFGuz
>>834
わかってないのはお前だろうが。
天才にもタイプがあるが、４０で才能開花はないんだよ。
現実をしらなすぎ。
素人が知った被りはしないほうがいい。
0837１３２人目の素数さん
垢版 |
2018/02/22(木) 18:37:23.41ID:k36sFGuz
>>826
思う？
無責任なことを言うんじゃない。
アペリーのやったことは大したことではないんだよ。
0838１３２人目の素数さん
垢版 |
2018/02/22(木) 18:39:38.67ID:zes+nHrT
数学にわかはすぐに才能を語り出すのはなんなの？
別に凡人でも数学楽しめればそれでいいだろ
0839１３２人目の素数さん
垢版 |
2018/02/22(木) 18:46:50.17ID:1382AY7f
自分にはないであろう才能のことを延々とまくしたてるのも病んでいる証拠だねえ
0840１３２人目の素数さん
垢版 |
2018/02/22(木) 20:19:30.02ID:sVx2t8Ht
日がな花やら景色やらtweet垂れ流して過ごす人々は組織のエージェントである可能性が大
0841１３２人目の素数さん
垢版 |
2018/02/22(木) 20:37:25.46ID:DMU1BufK
数オリでメダル獲得できるなら、IQは175はあるだろうな
数学とIQの高さには相関関係がある
0844１３２人目の素数さん
垢版 |
2018/02/22(木) 22:37:17.77ID:hxLie666
>>836
40で「才能が開花」するなんて誰も言ってないし、そこ注意してるだろ
才能があってもどのみち、難しく壮大な理論が形になってくるには時間がかかるんだよ
俺は複数例知ってるけど、お前みたいな否定とマウントが大好きな輩には当然言わない
全てにケチつけるのが自己目的化してるからな
0845１３２人目の素数さん
垢版 |
2018/02/22(木) 22:40:32.90ID:hxLie666
とりあえず「フィールズをとってなくても天才的な数学者がいる」と認めるかどうかは
重要だよね。認めないなら話が通じないんだから「あっそ、さようなら」で終わる話
0846１３２人目の素数さん
垢版 |
2018/02/22(木) 23:09:41.75ID:UOpOr6jL
高速処理してしまう人とじっくり考える人とは話がかみ合わなくて当然
5ちゃんも書き出してから書き終わるまで
どれくらい時間が経過しているのか表示できればよいのに
そうすれば無益な争いもなさそうだ
0847１３２人目の素数さん
垢版 |
2018/02/22(木) 23:14:18.87ID:hxLie666
でも、何言われてもダメージないよ本当に
「つまり〜や…を知らないんだなー」ってだけだから
あと、他人の才能を吟味するには才能が必要だよ。データの検索は能力に対応するからね
0848１３２人目の素数さん
垢版 |
2018/02/22(木) 23:33:38.36ID:dL3Kl6ww
>>846
一片の疑念も無く正当性を保持しているなら粛々としておれば良い
世界のトップ数学者はそのような発言はしない
自らの能力的限界や先達の行く末をみるに潜在的な不安を持っているのだろう
0849１３２人目の素数さん
垢版 |
2018/02/23(金) 00:09:32.07ID:qD0EwZMY
多分それって行く末というより専門への不安なんじゃないかな
私も公的には才能の話なんかしないけども、理論の強度(複雑さ・深さ)に自信があると
結構持論は調子づくと思うな
あれもほしいこれもほしい、なんですよ。普通は諦めて絞るんだけど、
良いレシピを作って全て食材を生かしてやろうって道もある。難しいし、失敗と紙一重の道
0850１３２人目の素数さん
垢版 |
2018/02/23(金) 00:21:51.46ID:qD0EwZMY
僕が上で示唆した、理論がようやく形になってきたって人は、「そうそう、こういうのが
欲しかったんだよ！」ってのを
提起できる。潜在的な穴を見つけて理念して埋められる、本当の天才だ
例えばどうやってラマヌジャン予想の表現論ができるかを考えたあの方とかね
0851１３２人目の素数さん
垢版 |
2018/02/23(金) 00:37:14.22ID:A63Kz0nk
なにそれ
0852１３２人目の素数さん
垢版 |
2018/02/23(金) 02:24:40.68ID:gE7oiK4J
理論系ではないが双子素数予想でブレークスルーを成し遂げた中国人がいるが、あれは50過ぎの業績だ
しかし彼は若いときから優秀であったそうだ
0854１３２人目の素数さん
垢版 |
2018/02/23(金) 04:20:26.58ID:aVB2t52M
天才とはIQが200以上の人間をいう
0856１３２人目の素数さん
垢版 |
2018/02/23(金) 14:54:40.98ID:1TlBl/Jz
>>853
実際、あんまりこんなとこで議論はしたくないw
ただあなたの言う通り、少なくともそういう人間は20代、30代から片鱗は見せるものだ
直観的なアイデアは素晴らしいが知識や証明が追い付かないというタイプだろうな
また、厳密にはそういうタイプでも30代半ばからちゃんとエンジンがかかってくると感じる
0857１３２人目の素数さん
垢版 |
2018/02/23(金) 15:28:53.54ID:1TlBl/Jz
余談だが、本当の数学的創造ではパズルのピースや図柄を自分で探索しイメージしなければ
ならない
天才が天才であるには、まず直観が数学的に意味をなし、かつそのピースの数学的組織化が
できなければならない
これはIQが高くて既成のパズルを習得する学習が得意というのとは
部分的には重なるが異なるものだろう
IQに関して言えば、知能はスピードより質の問題だと自分は思う
狭い範囲の研究で早く出世するより、壮大な研究を組織していくほうが凄い
0858１３２人目の素数さん
垢版 |
2018/02/23(金) 15:34:01.76ID:gE7oiK4J
グロタンディークやサーストンはフィールズ賞が貰える年齢でそれをやってのけた
0859１３２人目の素数さん
垢版 |
2018/02/23(金) 18:14:48.26ID:aVB2t52M
グロタン、サーストンっていつ亡くなったの？
0860１３２人目の素数さん
垢版 |
2018/02/23(金) 18:28:48.68ID:xt9Nunt5
ぐろたんは2014年
0861１３２人目の素数さん
垢版 |
2018/02/24(土) 00:01:44.81ID:fgjZdFFP
>>856-857
僕は凄い、まで読んだ
0862１３２人目の素数さん
垢版 |
2018/02/24(土) 00:33:26.49ID:Q3dNW7ED
ちょうど寝る前に見たら即レスになっちゃうけど
数学は認められないと意味はないよ。そういう意味で、例えば認められもしてないのに
「僕は本当は凄いんだぞ！」なんて思うほど私は馬鹿じゃないですよw
0863１３２人目の素数さん
垢版 |
2018/02/24(土) 00:35:24.03ID:v0wvNkRJ
僕は凄い
0865１３２人目の素数さん
垢版 |
2018/02/24(土) 02:10:53.56ID:v0wvNkRJ
ロマンだね
0866１３２人目の素数さん
垢版 |
2018/02/24(土) 16:21:06.75ID:rGLFNN+P
■速報■

無限に続くと思われていた円周率がついに終りを迎えた
千葉電波大学の研究グループがこれまでの円周率演算プログラムに
誤りがあったことを発見
同大のスーパーコンピュータ「ディープ・ホワイト」を使って
改めて計算しなおしたところ、１０桁目で割り切れたという

１０桁目の最後の数字は「０」だった

千葉電波大学の研究グループの発表によると、
円周率計算に際し、改めて既存の円周率計算プログラムを
点検してみたところ、円周の誤差を修正する数値に
誤りがあることに気が付いた
この数値を正常値に直して計算しなおしてみたところ、
円周率は１０桁で割り切れたという
0867１３２人目の素数さん
垢版 |
2018/02/24(土) 16:29:34.81ID:SszTMi7Y
俺はこれからどうなるのだろうか・・・・・・。
もう限界かな・・・・・・・・・・・・・・・・。
樹海に行って首吊った方が良いのかな・・・・・・・・。
どうしよう・・・・・・・・・・・。
歳とってから東大なんて入ってもいろんな面で超大変で辛いだけだしな・・・・・・。
0868１３２人目の素数さん
垢版 |
2018/02/24(土) 16:32:26.36ID:SszTMi7Y
やっぱり「無」に勝るものなんて無いよな。
0869１３２人目の素数さん
垢版 |
2018/02/24(土) 16:54:24.42ID:GziI+9Wq
なぜ自分より能力が劣りそうなひとがいきていけるのか
話はそれからだ
0870１３２人目の素数さん
垢版 |
2018/02/24(土) 17:11:22.13ID:SszTMi7Y
「無」に勝るものなんてないですよね？
0871１３２人目の素数さん
垢版 |
2018/02/24(土) 17:26:04.82ID:GziI+9Wq
例えばへき地にすんでるひとがまずしい、まずしい、くるしいといってたらどう思う
0872１３２人目の素数さん
垢版 |
2018/02/24(土) 17:28:01.56ID:TjmZGcBR
秋山仁
0873１３２人目の素数さん
垢版 |
2018/02/24(土) 19:43:04.87ID:ajYIOaIb
>>813

高校生しかやってねーだろｗ
大学生にまでなってそんなものやってたらアホ
0874１３２人目の素数さん
垢版 |
2018/02/24(土) 20:19:25.33ID:ajYIOaIb
志村五郎
数学オリンピックは世間に数学をしらしめる程度の意味しかない
0875１３２人目の素数さん
垢版 |
2018/02/24(土) 20:25:20.93ID:ajYIOaIb
数学オリンピックってのはクイズ大会みたいなもの
世界クイズ大会に優勝するのは凄い事かもしれんけど
そんなことは数学界にとっては何の影響もない

ただし数学やる人の通過点や近い目標や世界の人との交流という点で役に立つと思う
経歴作りという点では役に立つ
0876１３２人目の素数さん
垢版 |
2018/02/24(土) 20:48:53.37ID:wyDTDj19
実際に東大の数学科で
おじさんがいつも一人で講義を受けてるのは見たよ

たまに（これも学生の）おばさんと会話してたけどね
0878１３２人目の素数さん
垢版 |
2018/02/24(土) 21:39:01.89ID:9YrukWRL
>>875
冷戦終了後は大きく意味を変えたとは思う。

しかし本格的な数学とは違うから無意味という意見は肯定できない。
分野を問わず世界レベルで活躍できるくらい習熟することが重要なのでね。
0879１３２人目の素数さん
垢版 |
2018/02/24(土) 21:51:08.73ID:uxS6K496
今年、センター試験で初の満点取った生徒がいたらしいな
凄いことやでな
0880１３２人目の素数さん
垢版 |
2018/02/24(土) 22:08:13.36ID:9YrukWRL
>>879
日比谷高校の生徒らしい
何を捨てるかがカギとあ言い出す受験ゲーム戦士とは一味違うね
0881１３２人目の素数さん
垢版 |
2018/02/24(土) 22:08:51.02ID:9YrukWRL
>>879
日比谷高校の生徒らしい
何を捨てるかがカギとか言い出す受験ゲーム戦士とは一味違うね
0882１３２人目の素数さん
垢版 |
2018/02/24(土) 22:18:18.17ID:wyDTDj19
満点という結果そのものをくさすつもりは全然ないけど、
センター満点とるために
細かいところまで完璧にカバーしようとしてたら
それこそが受験のゲーム化（勉強する目的の矮小化）の極みだと思うが
0883１３２人目の素数さん
垢版 |
2018/02/24(土) 22:53:21.82ID:Wp53FMzf
東大医学部首席とシュリニヴァーサ・ラマヌジャンが知力で対決したらどっちが勝つのでしょうか？
0885１３２人目の素数さん
垢版 |
2018/02/25(日) 06:36:35.46ID:eMWPn8BW
センター試験、満点って凄いよな
分量に対して時間制約が厳しいんだよな
超スピードが求められるから高得点はなかなか取りにくいし
0886１３２人目の素数さん
垢版 |
2018/02/25(日) 07:07:44.27ID:eMWPn8BW
ロンブーの田村淳は青学に落ちたよな
0887１３２人目の素数さん
垢版 |
2018/02/25(日) 13:33:44.90ID:V5SnMRPI
「無」に勝るものなし。
0888１３２人目の素数さん
垢版 |
2018/02/25(日) 16:12:45.28ID:Lxr+EqXX
連続体仮説も頼むわ
0889１３２人目の素数さん
垢版 |
2018/02/25(日) 17:45:05.66ID:qDI0DiD9
無限の部屋があるホテルに無限の客が泊まって
満室の状態だと思って下さい
そこに1人の客が泊まりにきました
そこで、既に泊まっている全員に隣の部屋に移動してもらうことで、
その人を泊めることができました
0891１３２人目の素数さん
垢版 |
2018/02/25(日) 18:39:20.67ID:gWRC+QJa
自然数kについてk-1まで成り立つと仮定
k+1とk-1を合わせてkが成り立つ
0892１３２人目の素数さん
垢版 |
2018/02/25(日) 19:06:55.80ID:Qk9lfUsS
数オリ金メダルとセンター試験満点って、どちらの方が凄いの？
0893１３２人目の素数さん
垢版 |
2018/02/25(日) 20:11:29.04ID:rJOLyw+2
歳いってから東大に入るのってどう思いますか？
東大の数学科に入りたいのですが・・・。
0894１３２人目の素数さん
垢版 |
2018/02/25(日) 20:57:54.78ID:fQaVv//n
スペックがほしいだけのオタクが行ってもムダ
行けるだけの能力があるならゆかなくともやれる
0895１３２人目の素数さん
垢版 |
2018/02/26(月) 06:20:45.89ID:vC+Bgm1m
数オリ金メダルのが凄いよ
満点なんか獲得した奴いないんだから
0896１３２人目の素数さん
垢版 |
2018/02/26(月) 06:29:34.07ID:VUoaMhTx
実現困難度で言えばセンター満点だが、
センター満点取れる能力はあるが
数オリ金はどうやっても取れないという人も沢山いるだろう

もしどっちか一方だけ実現させてやると言われたら
数オリ金がいいなやっぱり
0897１３２人目の素数さん
垢版 |
2018/02/26(月) 21:03:16.74ID:vC+Bgm1m
数オリメダリストのIQは165以上はあるだろうな
天才レベルだ
0898１３２人目の素数さん
垢版 |
2018/02/27(火) 11:32:32.04ID:g463xoRm
数オリは東大に合格するよりも難しいよな
0900１３２人目の素数さん
垢版 |
2018/02/27(火) 15:04:13.18ID:QIU8X0dT
問題が解けるって事は、解ける問題を作られてるからだ

それが解けないって事は、解法に到達出来なかったって事だ

数オリって聞いただけで凄いなって思う、でもそれは何処まで行っても競技数学でしかない
0901１３２人目の素数さん
垢版 |
2018/02/27(火) 16:53:47.50ID:g463xoRm
競技数学こそ至高なんだぞ！
0902１３２人目の素数さん
垢版 |
2018/02/27(火) 17:09:16.07ID:k9ymf86R
だな。電卓と計算力コンテストとか乙ですな。
レス数が900を超えています。1000を超えると表示できなくなるよ。
ニューススポーツなんでも実況