1 ：ザナミビル(栃木県) [CN]：2023/09/18(月) 13:06:08.74 ID:Bshagdbd0●.net ?PLT(22000)
sssp://img.5ch.net/ico/8toushinnomonar32.gif
■2022年度の「日本数学検定協会賞」受賞作品は、AIが予想した数式の証明に関する研究作品
昨年2022年度の「日本数学検定協会賞」は、AI(人工知能)を使った「ラマヌジャン・マシン※」が予想した
数式の証明に挑んだ、東京都在住の山本修真(やまもと しゅうま／応募当時16歳、高校2年生)さんが受賞しました。
算数・数学の実用的な技能を測る数検を実施している当協会は、AIが予想した結果の証明に取り組むという
現代的な研究スタイルと、過去のMATHコン受賞作品などの情報にも敏感に反応し活用している点を評価して、
「日本数学検定協会賞」の受賞を決定しました。
※ラマヌジャン・マシン
イスラエル工科大学の研究チームが開発したマシン。インドの天才数学者シュリニヴァーサ・ラマヌジャンの
思考形態をAIがシミュレートし、円周率πやネイピア数eなどに関する新しい式を連分数の形で予想する。
https://www.atpress.ne.jp/news/364900
27 ：リバビリン(埼玉県) [ﾇｺ]：2023/09/18(月) 13:29:35.41 ID:gGEuOWRM0.net
？？？？？「おぼろげに頭に浮かんできたんですよ」
40 ：ロピナビル(東京都) [EU]：2023/09/18(月) 13:38:00.98 ID:8DnYWLK70.net
イイジャン イイジャン ラマヌジャン
30 ：ラミブジン(騒) [US]：2023/09/18(月) 13:34:29.86 ID:O5Rc6CFL0.net
凄い数式思いつくのは天才だと思うけど数学の世界って証明してなんぼちゃうの
13 ：ファビピラビル(京都府) [NL]：2023/09/18(月) 13:17:35.83 ID:MyNDOD2j0.net
66 ：テノホビル(調整中) [US]：2023/09/18(月) 14:48:09.31 ID:gqozg76n0.net
>>50
余計なノイズを省くとだな、
1/π≒1/3.14
ということだ！
つまり何の解説にもなっていない(^q^)
10 ：ソホスブビル(愛知県) [JP]：2023/09/18(月) 13:16:19.27 ID:ojLc1wEt0.net
なるほど、全く分からん
25 ：プロストラチン(東京都) [US]：2023/09/18(月) 13:28:28.70 ID:JPEXnhle0.net
>>13
おっπ！おっπ！
19 ：メシル酸ネルフィナビル(長屋) [US]：2023/09/18(月) 13:22:59.17 ID:9M6mpbXB0.net
>>13
数式を構成している各数字に意味があるんだろ？
解説してくれよ
3 ：ネビラピン(東京都) [ﾆﾀﾞ]：2023/09/18(月) 13:08:57.50 ID:1aNAwmlx0.net
コンピューターで連分数を扱うと色々なことがかなり楽になる
6 ：ホスフェニトインナトリウム(石川県) [US]：2023/09/18(月) 13:11:28.43 ID:qtDmaT4m0.net
シバのお導きだったか
34 ：バロキサビルマルボキシル(千葉県) [TH]：2023/09/18(月) 13:36:10.60 ID:CUKO+CRD0.net
なるほど理解した
46 ：ドルテグラビルナトリウム(大阪府) [ﾆﾀﾞ]：2023/09/18(月) 13:51:14.26 ID:nJHKvRC50.net
美しいって言えばいんだろ
50 ：テノホビル(東京都) [ﾆﾀﾞ]：2023/09/18(月) 13:55:09.29 ID:yq07stC00.net
お前らにわかるように説明してやる
1/π=2√2/99^2∞ΣN=0 (4n)!(1103+26390n)/(4^n*99^n*n!)^4
≒1/3.14
≒1/3
≒0.333
≒0.3
これならわかるだろ
こだわりを捨てれば数学ってのは簡単なんですよ
51 ：マラビロク(ジパング) [KR]：2023/09/18(月) 13:58:15.42 ID:KMqSTUvR0.net
>>50
天才(ﾟ∀ﾟ)ｷﾀｺﾚ!!
7 ：ジドブジン(茸) [US]：2023/09/18(月) 13:13:53.52 ID:7AggBvKt0.net
ラマヌジャンでも数学と出会わなければ変わり者として一生を終えたんだろうな。
22 ：イノシンプラノベクス(京都府) [FR]：2023/09/18(月) 13:25:59.19 ID:CfatuZLo0.net
これ俺が考えたことにできねーかな
と考えながら歩いてたら
軽トラに轢かれてタイムスリップした
26 ：パリビズマブ(茸) [US]：2023/09/18(月) 13:28:50.10 ID:Uydshf+50.net
具体的な理論に基づいて出されたものではなくより近い近似を出せる計算式を編み出すというのは所詮お遊びでしかない
意味がない
8 ：エトラビリン(東京都) [EU]：2023/09/18(月) 13:14:15.93 ID:fbaETKZY0.net
>>4
迂遠
でも局所特化より俯瞰視点を得られる
重要なのは全体視点による体系化
2 ：ザナミビル(茸) [US]：2023/09/18(月) 13:07:55.81 ID:aGu3HO5X0.net
全く意味がわからない
これが16歳ってすごすぎる
9 ：アデホビル(光) [CN]：2023/09/18(月) 13:14:37.21 ID:vtSmAlM70.net
ってかアヤちゃんそれ……
ラマヌじゃん！！
ちょっとミサキ、言い方古いよ～
31 ：インターフェロンβ(SB-Android) [TW]：2023/09/18(月) 13:35:06.92 ID:7cBJ/btz0.net
俺も16歳の頃はこれくらいできたんだけどなー
もうすっかり衰えたから二桁の足し算くらいしかできないな
54 ：メシル酸ネルフィナビル(やわらか銀行) [NL]：2023/09/18(月) 14:08:56.46 ID:R7a5IvvJ0.net
池谷裕二
ラマヌジャンマシン――。
そんな名前のついた人工知能(AI)が2021年2月の『ネイチャー』誌に発表された。
イスラエル工科大学のカミナー博士らの論文だ。
ラマヌジャンは実在の人物で、インドが生んだ夭逝の異才数学者だ。
彼は高等数学の教育を受けたわけではないが、なぜか毎日のように数学の定理が(本人の言葉を借りれば)女神からの啓示によってひらめく。
ノートに記された4000ほど定理には、すでに知られている取るに足らない定理もあったが、未知の重要な定理も多く含まれていた。
本人にはこれを数学的に証明する能力がなく、結局、周囲や後世の数学者たちが証明した。
今回発表された新しいAIに偉大な数学者の名が冠せられている以上、どんな性能を持つかは推して知るべし。
ラマヌジャンよろしく数学の定理を提唱するのだ。
ただし証明はしない(だから厳密には、定理ではなく、予想である)。
つまり、プロの数学者向けに「問題集」を作成してくるAIなのだ。
20 ：ジドブジン(光) [US]：2023/09/18(月) 13:23:42.85 ID:XjVa2SY60.net
コレが証明出来るとどうなんの？
42 ：アデホビル(ジパング) [GB]：2023/09/18(月) 13:39:14.42 ID:c2v4iMnV0.net
確かラマヌジャンって夢で公式閃く人じゃなかったっけ
43 ：ラミブジン(ジパング) [KR]：2023/09/18(月) 13:41:22.28 ID:NAVIyQ4E0.net
>>28
！は階乗
たとえば、5!=5x4x3x2x1=120
24 ：バルガンシクロビル(岐阜県) [SA]：2023/09/18(月) 13:26:51.11 ID:Ylsvx/lO0.net
>>13
まずはnが何なのか教えてくれ
11 ：オムビタスビル(静岡県) [LU]：2023/09/18(月) 13:17:13.37 ID:6Rfdd33p0.net
ラージャン「すまない彼はゴリラなんだ」
18 ：レテルモビル(鳥取県) [DZ]：2023/09/18(月) 13:22:37.58 ID:f9m4yupH0.net
(*^o^*)
62 ：レムデシビル(東京都) [VE]：2023/09/18(月) 14:30:18.18 ID:gfFeT9c20.net
>>50
なるほど、すげぇ！
こういう難解な問題でも簡単にサラリと解説できる奴が
集まってるのがニュー速なんだよな
36 ：ホスアンプレナビルカルシウム(茸) [FR]：2023/09/18(月) 13:36:51.65 ID:JVAY8k450.net
ラマヌジャンの九九は流石じゃのう
39 ：エムトリシタビン(茸) [ﾆﾀﾞ]：2023/09/18(月) 13:37:38.07 ID:hcV0+K7T0.net
近似式で十分な分野もあるのですよ
52 ：エンテカビル(ジパング) [DE]：2023/09/18(月) 14:01:49.94 ID:Bf2I970s0.net
>>50
顔文字にしか見えんわ
21 ：ペンシクロビル(静岡県) [US]：2023/09/18(月) 13:24:30.35 ID:Q93IlAh80.net
難しいことはわからないけど難しいことができた謎の人
63 ：ネビラピン(調整中) [ﾆﾀﾞ]：2023/09/18(月) 14:35:00.72 ID:zbAKK7br0.net
n乗も階乗もおかしいけど1103とか26390とかどこから出てきたのよ
17 ：ダルナビルエタノール(埼玉県) [CN]：2023/09/18(月) 13:20:25.20 ID:lvgGAtN80.net
人間にとって何の約にも立たない事
大パン昇龍拳が出来るようなもん
4 ：ダルナビルエタノール(神奈川県) [CN]：2023/09/18(月) 13:09:46.43 ID:VHNkBzxk0.net
これニュートン法より速く桁数求められるの？
45 ：アデホビル(福岡県) [DE]：2023/09/18(月) 13:48:17.70 ID:DxeWzw010.net
πを自然数のみの計算で表現したってことだな
5 ：エンテカビル(沖縄県) [ﾆﾀﾞ]：2023/09/18(月) 13:09:50.62 ID:LW6FIr290.net
で、挑んで証明できたの？
55 ：ジドブジン(光) [US]：2023/09/18(月) 14:11:58.39 ID:XjVa2SY60.net
>>35
俺の頃は高3だったわ
今そんなに早いタイミングでやるの？
61 ：ガンシクロビル(埼玉県) [KR]：2023/09/18(月) 14:25:07.83 ID:t94celO90.net
この式って
なにかの公式を使って導けるんじゃなかった？
44 ：ドルテグラビルナトリウム(東京都) [ﾆﾀﾞ]：2023/09/18(月) 13:46:51.31 ID:BWLi8wS70.net
変なピンクの鳥が大学入試の数学を解く動画で見た異次元の人だ
15 ：パリビズマブ(茸) [CN]：2023/09/18(月) 13:18:08.62 ID:swB4+6J10.net
日常生活してると突然、何かの数式が頭に入ってくるのでメモに残していく人生
53 ：ペンシクロビル(茸) [ﾆﾀﾞ]：2023/09/18(月) 14:08:17.22 ID:WmdameLx0.net
うんうん
なーるほど
60 ：ネビラピン(東京都) [US]：2023/09/18(月) 14:24:36.64 ID:OD3qu0Eh0.net
>>9
まさかドールズか？
49 ：ビクテグラビルナトリウム(奈良県) [JP]：2023/09/18(月) 13:54:05.32 ID:1meeqol10.net
この公式は円周率 π の逆数に関する近似式であり、円周率 π の値を計算するために使用されることがあります。
ラマヌジャンの公式は非常に速く収束し、円周率 π の近似値を高精度で得るのに役立ちます。
57 ：マラビロク(茸) [US]：2023/09/18(月) 14:15:47.14 ID:7s2axIu50.net
>>14
この式は無かったけど
ラマヌジャンの見つけた数式が解法になってる奴はあったと思う
56 ：ネビラピン(茸) [FI]：2023/09/18(月) 14:13:56.85 ID:YQaTSIs30.net
1918年2月ごろ、 ラマヌジャンは療養所に入っており、 見舞いに来たハーディは次のようなことを言った。
「乗ってきたタクシーのナンバーは1729だった。 さして特徴のない数字だったよ」 これを聞いたラマヌジャンは、 すぐさま次のように言った。
「そんなことはありません。 とても興味深い数字です。 それは2通りの2つの立方数の 和で表せる最小の数です」
実は、1729は次のように表すことができる。 1729 = 12^3 + 1^3 = 10^3 + 9^3
すなわち、1729が 「A = B3 + C3 = D3 + E3」という形で 表すことのできる数 A のうち 最小のものであることを、 ラマヌジャンは 即座に指摘したのである。
59 ：ドルテグラビルナトリウム(大阪府) [ﾆﾀﾞ]：2023/09/18(月) 14:23:54.09 ID:nJHKvRC50.net
マジレスすると藤原だか誰かの本で天才は美しいもののあるところにしか生まれないとういう考察だけ覚えておけ
32 ：イスラトラビル(東京都) [US]：2023/09/18(月) 13:35:52.27 ID:grKWxwWN0.net
よくわからんが天才ってこと？
68 ：ネビラピン(調整中) [ﾆﾀﾞ]：2023/09/18(月) 14:52:38.37 ID:lnF1+IqB0.net
>>13
このでっかいΣ？みたいなのは何？
