純粋・応用数学・数学隣接分野（含むガロア理論）21 (325ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
212(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/13(水)12:15 ID:ZWqlQsZq(1/2) AAS
前にも取り上げた記憶があるが、貼っておきます
https://nazology.kusuguru.co.jp/archives/183227
nazology
10代の数学者が「溝畑・竹内予想」が偽であると証明
2025.08.12 21:00:55 Tuesday
（※溝畑・竹内予想についてやや突っ込んだ解説を読みたい人は最終ページに飛んでください）
研究内容の詳細は『arXiv』にて発表されました。
A Counterexample to the Mizohata-Takeuchi Conjecture
https://doi.org/10.48550/arXiv.2502.06137
省18
213: 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/13(水)15:51 ID:ZWqlQsZq(2/2) AAS
これ 面白い
https://news.yahoo.co.jp/articles/15fbdf911f13795b47d69f449bbeb7c26eaf9335
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段階の強化学習を行ない、多段階の論理的推論や数学的な問題解決、思考連鎖といったタスクに向けて最適化を図った。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.022s