[過去ﾛｸﾞ] 純粋・応用数学・数学隣接分野（含むガロア理論）19 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
617(2): １３２人目の素数さん [] 03/19(水)07:09 ID:+DlAmH51(1/4)
>>614-616
ご苦労さまです
投稿ありがとう
スレ主です
>コンピューターが人間などを媒体としてコンピューター自体の能力が伸びると考えると面白い。
昔から、コンピューターの能力は ソフトとハードの二つの要素があって
ハード面は、GPUの活用
ソフト面は、ディープラーニングの活用
で、AIが伸びてきた
思考時間（思考連鎖の生成）を追加した o1（下記）と、その後継で 数学も扱えるようになっている
しかし、既存の知識で問題を解くことが主
今後どれだけの数学能力を獲得するかは、今後を見ていくしか無い
(参考)
ja.wikipedia.org/
o1
能力
o1は回答を生成する前に追加の思考時間（思考連鎖の生成）を費やすため、複雑な推論作業、特に科学[1]および数学[1]においてより効果的である。
以前のモデルと比較して、o1は最終的な回答を返す前に長い「思考連鎖」を生成するようにトレーニングされている[16][17]。ミラ・ムラティによると、この応答前に思考する能力は、新しい追加のパラダイムを表しており[18]、回答の生成時により多くの計算能力を費やすことによってモデルの出力を向上させている。一方、モデルスケーリングパラダイムは、モデルサイズ、トレーニングデータ、およびトレーニング計算能力を増加させることによって出力を向上させる[19]。
テスト結果は、精度と、回答前に思考に費やされた計算量の対数の間に相関関係があることを示唆している[17][16]。
アメリカ数学招待競技（英語版）では、GPT-4oの13%（1.8/15）に対し、83%（12.5/15）の問題に正答した[21]。
o1-miniはo1-previewよりも高速で80%安価である[23]。o1-previewと同じ「幅広い世界知識」は持っていない
625: １３２人目の素数さん [sage] 03/19(水)08:46 ID:P70Gr9LX(4/4)
>>617
AIがまず駆逐するとすれば
セタみたいな「口だけ達者な高卒素人」
635: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 03/19(水)13:42 ID:jGV7zUN5(1)
>>617
>>コンピューターが人間などを媒体としてコンピューター自体の能力が伸びると考えると面白い。
>昔から、コンピューターの能力は ソフトとハードの二つの要素があって
>ハード面は、GPUの活用
>ソフト面は、ディープラーニングの活用
>で、AIが伸びてきた
囲碁のAIが、過去に人間のプロ棋士をはじめて破ったことは、いまでは単なる通過点だった
いま、プロ棋士のチャンピオンが ３子か ４子だろうと言われる
数学も同様で
>>590のような 東大入試数学を解けることは
単なる通過点でしかない
今年から来年、さらにはその先には
大学学部、大学数学科修士、そして 博士課程の数学もこなせるようになるだろう・・・
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.041s