[過去ﾛｸﾞ] 純粋・応用数学・数学隣接分野（含むガロア理論）19 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
55(1): 2024/09/07(土)09:14:51.71 ID:tStDwL9k(3/5) AAS
>>54
>10メートル歩かされたと、部下を怒鳴り散らす
>エレベーターが自分の目の前で閉まって乗れないと、部下を怒鳴り散らす
それ、まさに、現代数学の系譜 雑談 ◆yH25M02vWFhP、そのものじゃん
数セミのとある記事が間違ってると、数年にわたって喚き散らす
円分方程式がラグランジュの分解式で解けると示しても全然理解できず、示した人に当たり散らす
完全に病気だね
省2
262(2): 2024/11/04(月)16:25:17.71 ID:idDCwryJ(3/6) AAS
>答えは『（選択公理を用いて）できる』。
>しかし直観的には不可能だ。各々の箱の数字は独立なのだから
この結論は「直観的には選択公理は偽だ」
もちろん、それは数学的に問題ない
選択公理を否定しても無矛盾だと、ポール・コーエンが証明したから
よかったね 箱入り無数目否定派諸君 堂々と選択公理を真正面から全面否定してくれたまえ
381: 01/04(土)09:25:56.71 ID:JiQXGw+V(2/2) AAS
つづき
これまでAIは優秀な高校生が解くような「数学オリンピック形式」を得意としていることが明らかになっており、バザード氏は「多くの典型問題が出題される」という点で似ている大学の学部生レベルの数学の問題をAIが解けるようになることは疑っていませんでした。しかし、典型問題のレベルを超えて博士課程の初期レベルの問題に対し革新的なアイデアで対応するレベルの数学力をAIが獲得していることに対し、バザード氏は「かなり大きな飛躍が起きたように見える」とコメントしています。
ただし、FrontierMathを組み上げたEpoch AIのエリオット・グレイザー氏はデータセット内の問題の25％は数学オリンピック形式だと発言しています。公開されている5つのサンプル問題はいずれも数学オリンピックの形式とは全く異なるため、バザード氏はo3モデルがFrontierMathで25.2％のスコアを獲得したと聞いて非常に興奮したものの、25％が数学オリンピック形式と知って興奮は収まったとのこと。「今後、AIがFrontierMathで50％のスコアを獲得することを楽しみにしている」とバザード氏はコメントを残しました。
現在、AIの進歩は急速に進んでいますが、まだまだ道のりは遠く、やるべき事は山ほどあります。バザード氏はAIが「この定理を正しく証明し、その証明がなぜ機能するのかを人間が理解できる方法で説明せよ」というレベルの問題に対応できるほどの数学力を身につけることを期待しているとブログを締めくくりました
(引用終り)
以上
484(2): 02/24(月)18:13:20.71 ID:yI2J0SIs(1/2) AAS
>>479
>素人にもできそうなこととして
>「数学書に書かれた定理の証明の変遷をたどる」
>というのがある
ブルバキ数学史が有名だね（読んでないが）
アンドレ ヴェイユ (著), ”数論: 歴史からのアプロ-チ”足立 恒雄 (翻訳), 三宅 克哉 (翻訳)
こちらは、買って読んだ
省25
498: 02/27(木)04:44:19.71 ID:3RYppZam(1) AAS
>>497 何の公募書類？
511(2): 03/03(月)15:02:46.71 ID:jcFac6Mr(1/7) AAS
実数の定義はもういい
707(1): 03/27(木)23:19:24.71 ID:CZbeLifh(1) AAS
いずれ、夜に人間が寝ているうちに、AIが証明の道筋を発見し、場合によっては全体の証明を書き下している。
朝起きたとき証明が完成していることが判った。そういうことが珍しくなくなるのかもしれないね。
747(1): 04/05(土)09:05:04.71 ID:BabM9rEl(1/8) AAS
>>745
>「有難迷惑」
その言葉、オオサワタケオとかいう
💩爺にそっくりそのまま返してやるよ
何様のつもりだ たかが大学教授の分際で
所詮ただの数学ヲタクじゃねえかｗ
764(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 04/05(土)18:03:55.71 ID:nn0UF4X7(4/4) AAS
>>749
>ポイント最上級の証明を全略しといて
>ポイント分かっとる事にはならんじゃろ
ご苦労さまです
スレ主です
ID:24SHKVp9 か
新参者か？
省18
803: 現代数学の系譜 雑談 ◆yH25M02vWFhP 04/21(月)17:54:29.71 ID:3xsU+4Jq(2/2) AAS
つづき
19世紀末から20世紀初頭
特殊相対性理論
オランダのヘンドリック・ローレンツ（1853年-1928年）、アンリ・ポアンカレ（1854年-1912年）らによって特殊相対論の先鞭が付けられた後、アルバート・アインシュタイン（1879年-1955年）によって完全に明瞭な形で定式化された。
20世紀
ロジャー・ペンローズ（1931年-）、スティーヴン・ホーキング（1942年-2018年）、エドワード・ウィッテン（1951年-）らによるところが大きい
外部ﾘﾝｸ[pdf]:www.mathsoc.jp
省5
951: 04/28(月)00:07:03.71 ID:JYnUNKou(1) AAS
>>949
>大阪の一般人たちは京大よりも阪大が上だと思っているようだ
これは御大か
巡回ありがとうございます
それ、ダジャレです
それ、大阪の人が言って、”にやり”とするところです
そもそも 受験生時代に、だいたいは（阪大受験生より）成績上の人が京大へ行くし
省8
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.039s