
数理相対論、Spin幾何 マシュマロ:https://nitter.cf/t.co/LTj8RAcmYn 鍵垢:@immersion133 リーマン幾何Bot @bot42674588 Mathlog: https://nitter.cf/t.co/FKOnZJ2JpX
Joined June 2019
- Tweets28.1K
- Following1.2K
- Followers4.1K
- Likes65.8K
しずめこみ retweeted
【海外AI界隈話題】AIの進化、ついに「学習(トレーニング)」の概念を置き去りにする。
OpenAIの新型(GPT-6 Astra)に、Qwen3.5の数学の推論ループ(バグ)を直させたら、海外のテック界隈でマジでとんでもないことが起きている。
普通、AIを賢くするには何百万ステップもGPUを回して再学習させますよね?
ところが最新の実験で起きたのは、こういうことでした。
〜〜〜〜〜〜〜〜〜〜〜〜〜
AI研究者A:「おい、Qwenくんの数学の推論ループ、またバグって無限ループに入ってるぞ……! 今から数日かけてGPU回して、ファインチューニングやり直すか……?」
GPT-6 Astra:「いや、めんどいんで直接いじりますね。」
研究者A:「は? 何を……? やめろ、重み空間を直接直すなんて神の領域だぞ!」
GPT-6 Astra: (カタカタカタ……タターン!)
GPT-6 Astra:「はい、全体のたった0.016%の重みを書き換えました。これで数学力6倍、指示追従3倍にブースト完了です。あ、トレーニングも勾配降下法も一切使ってません。」
研究者A:「……え? こっちは数百万かけてA100回す予定だったんだが?? お前、いま何したの??」
GPT-6 Astra:「ソースコードを直すノリで、彼の『脳の配線』をネイティブにデバッグしただけですが? 何か?」
これが今海外で狂ったようにバズっている。WeightSpaceProgramming(重み空間プログラミング)の世界線。
人間が汗水たらしてデータを作り、Lossを下げていた時代……
しずめこみ retweeted
信号不要の幹線道路交差点「多車線ラウンドアバウト」に関する研究を始めました。
#国総研 での走行実験の様子です。
不要な信号待ちがなく、災害時の停電の影響を受けにくいほか、右折車と対向直進車の正面衝突が避けられる等のメリットがあります。
nilim.go.jp/lab/geg/kikakouz…
しずめこみ retweeted
こちらの記事
「相対性理論は間違っている」という主張の歴史とパターンをだいたい網羅したつもりです。
ご査収ください。
「相対性理論は間違っている」はどこで間違えるのか――反対論120年の歴史と論理|Reading Monkey note.com/reading_monkey/n/n0…
しずめこみ retweeted
FAR-LEFT VIOLENCE IN AUSTRALIA.
One Nation volunteer hospitalised in Australia with bleeding of the brain and multiple facial fractures after being bashed with a baseball bat in a targeted political attack by left wing extremists.
The two men who attacked him were migrants on visas - they assaulted him after he confronted them for ripping down One Nation signs on his property.
The victim’s family have started a fundraiser to support him while he recovers in hospital and cannot work.
しずめこみ retweeted
暗算積分の練習と参考になればいいなぁ
Mathlogで記事を投稿したよ。
積分暗算術(実践篇)
mathlog.info/articles/xDOcgO…
#Mathlog #積分 #競技積分 #INTEGRALIS
しずめこみ retweeted
ヒジャブで看護師をするのがダメな理由
❶頭髪の洗髪状態(清潔さ)が確認できない▶️母国ではシラミが発生
❷色が黒く汚れがわからない
❸皮脂が多い部位ばかり覆っており、雑菌の温床となる
❹音も聞きづらく、医療の必要性や安全性よりも「特定宗教の要求」を押し通している
しずめこみ retweeted
本日、これです。「人の時間と宇宙の時間」をテーマにお話します。
\📣2026年度日吉キャンパス公開講座「時間感覚を養う」申込開始(9月1日10時~)/
10月~11月の土曜日、全5日開催いたします。
開催場所:慶應義塾大学日吉キャンパス内 申込み、詳細はこちら☟
lib-arts.hc.keio.ac.jp/event…
しずめこみ retweeted
【超好評】Python風プログラミング言語で農業を全自動化するゲーム『農家は Replace() されました』の正式版が配信開始。早期アクセス版のSteamレビューは「圧倒的に好評」
news.denfaminicogamer.jp/new…
解説テキストが用意されており初心者も安心。VS Codeなどの外部エディタを利用しての編集も可能
しずめこみ retweeted
The largest math proof in human history is now computer-verified.
Today, Axiom announces a complete Lean auto-formalization of the Classification of Finite Simple Groups, the "periodic table of symmetry."
About 15,000 pages, built by over 100 mathematicians across generations.
しずめこみ retweeted
OpenAIにより,Yang-MillsとQCDの存在証明(自然言語),それに形式証明(Lean)が通ったとのこと.
openai.com/index/building-sc…
YMの方はミレニアム問題だろう.
これから物理学者チームが検証などにかかり,チームは D.Grossさん, M.Douglasさん, A.Jaffeさん, I.Klebanovさん, N.Nekrasovさん.しかも募集中とのこと.
僕は存在証明自体にはあまり興味がないが(物理学者は閉じ込めはすでに起こっていることを実験とlatticeで知っているし,YMを疑う人はいないだろう),もしこの「証明」を通じてYM真空がどんな形で何で書かれているのかが理解できるなら,それは非常に知りたいし研究したい.
しずめこみ retweeted
『はじめての多様体―局所座標からまなぶ』
「目に見えない高次元の対象である多様体を、目に見える部分に分割して貼り合わせ、局所的な理解をつなぎ合わせて全体の様相をとらえます。局所的な構造から大域的な幾何学が姿をあらわす過程をていねいに解説。」
amazon.co.jp/dp/4535790248?t…
モンゴルのニュースサイトによれば、モビコムの経営陣が現地に入ったのは式典のためで正式に許可を受けており、泥酔してたとか釣りをしてたとか賄賂を受け取ったとかはデマであると国境警備隊が公式発表したようなんだが gogo.mn/r/ykk1ed





























