純粋・応用数学・数学隣接分野(含むガロア理論)21 (244レス)
1-

リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
1
(3): 07/20(日)18:06 ID:JxJPBISF(1/9) AAS
クレレ誌:
外部リンク:ja.wikipedia.org
クレレ誌はアカデミーの紀要ではない最初の主要な数学学術誌の一つである(Neuenschwander 1994, p. 1533)。ニールス・アーベル、ゲオルク・カントール、ゴットホルト・アイゼンシュタインらの研究を含む著名な論文を掲載してきた。
(引用終り)

そこで
現代の純粋・応用数学・数学隣接分野(含むガロア理論)スレとして
新スレを立てる(^^;

<前スレ>
純粋・応用数学・数学隣接分野(含むガロア理論)20
2chスレ:math
省17
212
(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/13(水)12:15 ID:ZWqlQsZq(1/2) AAS
前にも取り上げた記憶があるが、貼っておきます

外部リンク:nazology.kusuguru.co.jp
nazology
10代の数学者が「溝畑・竹内予想」が偽であると証明
2025.08.12 21:00:55 Tuesday

(※溝畑・竹内予想についてやや突っ込んだ解説を読みたい人は最終ページに飛んでください)

研究内容の詳細は『arXiv』にて発表されました。

A Counterexample to the Mizohata-Takeuchi Conjecture
外部リンク:doi.org
省18
213: 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/13(水)15:51 ID:ZWqlQsZq(2/2) AAS
これ 面白い

外部リンク:news.yahoo.co.jp
AMD、推論特化の完全オープンな言語モデル「Instella-Math」
8/13(水)

 AMDは8月9日、推論に特化したオープンな言語モデル「Instella-Math」を発表した。同社が3月に発表した30億パラメータのオープンモデル「Instella-3B-Instruct」をベースに、5段階のトレーニングを通じて機能を拡張したモデルとなる。

 Instella-Mathは、30億パラメータを持つ推論中心型言語モデル。アーキテクチャやトレーニングコード、ウェイト、データセットに加え、教師ありファインチューニング(SFT)のデータも公開しており、完全にオープンなモデルだと説明している。Instella-3B-Instructをベースに2段階の教師ありファインチューニングと、3段階の強化学習を行ない、多段階の論理的推論や数学的な問題解決、思考連鎖といったタスクに向けて最適化を図った。
214: 08/13(水)18:27 ID:osN5EEQ4(1) AAS
>>212
高卒ホモ ◆yH25M02vWFhP は、還暦すぎても大学1年の微積も線形代数も全く理解できない

ああ、つまらんつまらん
215
(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/13(水)23:23 ID:w78+kS3p(1) AAS
いいね

外部リンク:www.technologyreview.jp
technologyreview.jp
人工知能(AI)
Insider Online限定
Five ways that AI is learning to improve itself
迫る「知能爆発」の兆し、
AIによるAIの進化は
5つの領域で起きている
人工知能(AI)が自己改善を繰り返し、人間を凌駕する「知能爆発」を現実化させる動きが進んでいる。訓練の自動化からハードウェアの最適化まで、大規模言語モデル(LLM)はすでにAIそのものの進歩を加速させており、今日のAIにおける最も重要なトレンドとなるかもしれない。
省6
216
(1): 08/14(木)00:59 ID:wLpg/jrm(1) AAS
>>215
出たああああ AI教信者
君が出してきた実数の整列順序に関するAI回答見てびっくりしたよ。世間じゃAIAIと騒いでるが、こんなにもバカだったんだ、とねw
217: 08/14(木)05:16 ID:/DikW1nE(1) AAS
>>216
今のAIは賢い検索エンジンの域を脱してないので、
数学における深い思考を実現するには至っていない

とはいえ、高卒ホモ ◆yH25M02vWFhP のレベルは既に超えている
つまり、今この世に生きてる人類の9割よりは賢い
218
(1): 08/22(金)07:46 ID:u7MFpsud(1) AAS
これ面白いね

外部リンク:studio.persol-group.co.jp
studio.persol-group.co.jp
はたナマ
生成AIに月8万課金、23歳で月収100万。始まりはChatGPT“宿題代行”。
2025年8月21日
大学4年生でChatGPTに出会い、使い始めて数カ月で人生が激変──。

現在23歳の大塚あみさんは約2年前、ChatGPTを使ってレポート課題をサボることを思い付きました。ChatGPTを使い倒す中で、授業中にオセロゲームをつくったところたちまち注目を浴びます。5つ以上の学会で講演するなど、日常がめまぐるしく変化していきました。

新卒1年目で書き記した著書『#100日チャレンジ 毎日連続100本アプリをつくったら人生が変わった』は、ソフトウェア開発・言語カテゴリでAmazonベストセラーに。

現在、生成AIに毎月最大12万円課金しながらシステムエンジニア・研究者・著述家・経営者としてはたらく大塚さんに、自分らしくはたらくヒントを伺いました。
省1
219
(1): 08/22(金)09:56 ID:tcF6mjQh(1) AAS
宗教みたい
220: 08/22(金)10:48 ID:qMd0DCBB(1) AAS
>>218
>これ面白いね
 AIを妄信狂信する馬鹿(笑)
221: 08/22(金)17:13 ID:GwQwxcKz(1) AAS
>>219
巡回ご苦労様です

2016年のAlphaGoは、9年前だったか
2022年は GPT-3.5
はてさて、この宗教"AI"は 今後どうなっていくのか?
”「東大理三より難しい」人気沸騰で超難関化したイマドキ東大生の進路とは?”が、ありますw(下記)

(参考)
外部リンク:ja.wikipedia.org
AlphaGo(アルファ碁、アルファご)は、Google DeepMindによって開発されたコンピュータ囲碁プログラムである[1]。
2016年3月15日には、李世乭との五番勝負で3勝(最終的に4勝1敗)を挙げ、韓国棋院に(プロとしての)名誉九段を授与された[4]。
省16
222: 08/22(金)19:23 ID:umrs5KmU(1/2) AAS
松尾研を出れば、たちまち企業で一千万、二千万の年収が手に入るからな。
223
(2): 08/22(金)19:32 ID:umrs5KmU(2/2) AAS
「無限集合の存在を公理に持たない体系S」を考えて、
その外側でSを自然に内包する「無限集合の存在を公理に持つ体系S'」
を考える。
そうして体系Sの中では証明を導くことのできない「体系S内部での命題」を、
体系S’の中であれば無限集合の存在を利用して証明ができるとするとき、
果たしてそれは「S内部の命題」に対しての証明になっているといえるの
だろうか?
224: 08/22(金)21:25 ID:EqzHJSfS(1/2) AAS
命題「任意の集合は整列集合である」は、ZF内では証明も反証もできないが、ZFを内包するZFCでは証明できる
それが何か?
225: 08/22(金)23:46 ID:EqzHJSfS(2/2) AAS
そもそも命題はどの体系内のものかという属性を持たないのでは? (一方命題の証明は当然その属性を持つ。)
なので問題設定がおかしい気がする。
226: 08/23(土)10:13 ID:XQOxXTSd(1) AAS
>工学部システム創成学科

 もともと
 船舶海洋工学科、システム量子工学科、地球システム工学科、精密機械工学科
 とかいう時代遅れの学科どもを統合したカス学科(笑)

 船舶海洋工学科  :旧 造船学科
 システム量子工学科:旧 原子力工学科
 地球システム工学科:旧 鉱山学科
 精密機械工学科  :旧 造兵学科

 造兵学科といっても、兵隊を作るのではなく、兵器を作るのである(笑)
 どれもこれも政治的にキナ臭い
227
(1): 08/24(日)06:26 ID:cgnD/uBK(1) AAS
昨日の新聞にAIとの結婚話が出ていた
228
(1): 08/24(日)08:38 ID:+A9mxT/6(1/4) AAS
編集手帳編集手帳
備蓄米の温度管理:『青果・鮮魚・精肉と同じく鮮度が大切。玄米を精米すれば、あっという間に鮮度は落ちてゆく。とはいえ、古古古古米でも存外いけるじゃないかと、食べ比べに精を出された方もおられよう』
”玄米のまま、温度15℃以下、湿度60〜70%前後の低温で保管することで、品質劣化を大幅に抑制しています”
ということですね
低温保存ですね。化学的には アレニウスの式 k=A*exp(−Ea/RT)、 T :絶対温度 で評価できて
絶対温度T を下げる方が良いが、凍らないようにする方が良いのだが、電気代とのかねあいで 電気代が高くならないよう という要請との兼ね合い

(参考)
外部リンク:www.yomiuri.co.jp
8月24日 編集手帳
2025/08/24 読売新聞[読者会員限定]
省27
229
(1): 08/24(日)09:19 ID:+A9mxT/6(2/4) AAS
>>227
>昨日の新聞にAIとの結婚話が出ていた

googleニュース 検索ではヒットしなかった
でも、類似記事は数年前から あるようです
余談ですが、”朝日新聞
俵万智さんが短歌AIを体験してみたら 驚きの下の句に「やられた」”が、面白かった

(参考)
googleニュース 外部リンク:news.google.com
検索:新聞 AIとの結婚話

外部リンク:news.yahoo.co.jp
省50
230
(1): 08/24(日)09:41 ID:jDvM1F2N(1) AAS
>>228 化学板に書いてな
>>229 情報学板に書いてな

AIは数学じゃありません
231
(1): 08/24(日)09:49 ID:+A9mxT/6(3/4) AAS
>>223
(引用開始)
「無限集合の存在を公理に持たない体系S」を考えて、
その外側でSを自然に内包する「無限集合の存在を公理に持つ体系S'」
を考える。
そうして体系Sの中では証明を導くことのできない「体系S内部での命題」を、
体系S’の中であれば無限集合の存在を利用して証明ができるとするとき、
果たしてそれは「S内部の命題」に対しての証明になっているといえるの
だろうか?
(引用終り)
省35
232
(3): 08/24(日)09:55 ID:+A9mxT/6(4/4) AAS
>>230

だれかと思えば
数学オチコボレさんか

君は、運営でもなければ
名誉教授でもない

君の指図はうけないw

なお、いまどきの大学 数学科生で
卒業後 コンピュータサイエンス系の仕事に行く人もいるだろう
AIは、要注目
省2
233: 08/24(日)12:34 ID:rTm6xTpy(1) AAS
>>232

だれかと思えば
∩恐怖症で厳密恐怖症でAIマンセーのおサルさんか
234: 08/25(月)20:59 ID:/ZwuI2/k(1) AAS
これいいね

外部リンク:www.nikkei.com
nikkei.com
「禁じられた」ブラックホール同士の合体を検出、科学者は困惑
ナショナル ジオグラフィック
2025年8月25日 5:00

「宇宙には非常に多くのブラックホールが分布しています」とナタラジャン氏は言う。「自分たちが大中小のブラックホールの橋渡しをしようとしていることに、大きな喜びを感じています」

文=Adam Mann/訳=三枝小夜子(ナショナル ジオグラフィック日本版サイトで2025年7月23日公開)
235
(1): 08/26(火)06:52 ID:lqSOPYWc(1) AAS
2025年7月10日付で学術サイト「arXiv.org」に投稿された査読前の論文によると、
米国の「レーザー干渉計重力波天文台」(LIGO)が、2つのブラックホールの衝突によって生じた
重力波を2023年11月23日に検出した。2つのブラックホールの質量はそれぞれ太陽の103倍と137倍と推定されたが、
測定された性質には不確実なところがあり、どちらも太陽の約60〜130倍という
「禁じられた」質量の範囲内にある可能性が高いと、
英カーディフ大学の物理学者でLIGOチームのメンバーであるマーク・ハンナム氏は言う。
236: 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/26(火)08:07 ID:dSyweoWi(1) AAS
>>235
巡回ありがとうございます
237: 08/26(火)08:11 ID:m4zUCoXw(1/2) AAS
>>223
>「無限集合の存在を公理に持たない体系S」を考えて、
>その外側でSを自然に内包する
>「無限集合の存在を公理に持つ体系S'」
>を考える。
>そうして体系Sの中では証明を導くことのできない
>「体系S内部での命題」を
>体系S’の中であれば無限集合の存在を利用して証明ができるとするとき、
>果たしてそれは「S内部の命題」に対しての証明になっている
>といえるのだろうか?
省17
238: 08/26(火)08:14 ID:m4zUCoXw(2/2) AAS
>>232
>数学オチコボレさんか
それは、ID:+A9mxT/6、君だよ

>君の指図はうけない
だから君は大学数学が初歩から理解できない

>いまどきの大学 数学科生で
>卒業後 コンピュータサイエンス系の仕事に行く人もいるだろう
>AIは、要注目
だからAIは数学だということにはならない
論理も分からん高卒エテ公が利口ぶるな
239: 08/27(水)08:25 ID:r21l7Tcr(1) AAS
>>232
>なお、いまどきの大学 数学科生で
>卒業後 コンピュータサイエンス系の仕事に行く人もいるだろう
>AIは、要注目

【悲報】おサルがマンセーするAI、数学科どころか理系ですらないことが判明w

外部リンク:www.msn.com
文系学部でデータサイエンスやAIを必修化、文科省がモデル事業…来年度5校を支援
240: 08/27(水)20:15 ID:8xW7oa6O(1) AAS
無限集合として可算集合までを含む体系S(たとえば自然数あるいは整数を含む)
に対して、それを自然に含む非可算集合まで含むS'(たとえば実数や複素数を含む)。
Sで設定された命題をS'の中で証明できたら、それはSの中で正しいか?

離散的な存在である整数についてのS内での命題の証明をするのに、
連続的な存在である実数や複素数などについての解析学を使ってS'内で
証明した場合に、そのS'内部での証明の結果は、
Sにおける命題の成立を保証するか?
241: 08/28(木)06:46 ID:TYdOEijR(1) AAS
これ面白いね

外部リンク[html]:www.itmedia.co.jp
AIの“Web操作”成功率、人間超えに成功 NECが世界初
2025年08月27日 [岡田有花,ITmedia]

 NECは8月27日、Web上での業務を自動実行するエージェント技術「cotomi Act」(コトミ アクト)を開発したと発表した。

 ベテラン社員の行動を操作履歴やログから把握した暗黙知をAIエージェントに組み込むことで、一般社員もベテラン品質で業務を遂行できるという。

 同技術を組み込んだAIエージェントが、Web操作の国際ベンチマーク「WebArena」で、人間のタスク成功率を世界で初めて上回った。
省1
1-
あと 3 レスあります
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.017s