しずめこみ (@Submersion13) header
しずめこみ (@Submersion13) profile picture

数理相対論、Spin幾何 マシュマロ:https://nitter.cf/t.co/LTj8RAcmYn 鍵垢:@immersion133 リーマン幾何Bot @bot42674588 Mathlog: https://nitter.cf/t.co/FKOnZJ2JpX

Joined June 2019
Photo by しずめこみ (@Submersion13)Photo by しずめこみ (@Submersion13)Photo by しずめこみ (@Submersion13)Photo by しずめこみ (@Submersion13)Photo by しずめこみ (@Submersion13)Photo by しずめこみ (@Submersion13)Photo by しずめこみ (@Submersion13)Photo by しずめこみ (@Submersion13)Photo by しずめこみ (@Submersion13)Photo by しずめこみ (@Submersion13)
しずめこみ 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を下げていた時代……
47
741
317
5,301
1,550,367
信号不要の幹線道路交差点「多車線ラウンドアバウト」に関する研究を始めました。 #国総研 での走行実験の様子です。 不要な信号待ちがなく、災害時の停電の影響を受けにくいほか、右折車と対向直進車の正面衝突が避けられる等のメリットがあります。 nilim.go.jp/lab/geg/kikakouz…
768
1,755
2,023
7,079
3,773,978
しずめこみ retweeted
相対論理解してねぇくせに「相対論は間違ってる」とか抜かすんじゃねぇよバカヤロウ
4
22
6
226
19,268
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.
341
1,418
97
7,133
768,296
しずめこみ retweeted
進撃の巨人読み返しててこのページ2026年インターネットミームすぎて終わった
31
7,541
371
96,132
3,903,680
しずめこみ retweeted
あ、これも晒しとこ。 物理学版堀大輔
1
8
4
40
6,416
しずめこみ retweeted
「相対性理論は間違っているおじさん」が話題になるたびに、これを思い出す。
反相対論者のブログとかを読むと、「相対性理論が間違っていることの証明」というのがよくあるのだが、読んでみると、「彼らが相対性理論の主張を理解していないことの証明」が書かれている
1
9
832
しずめこみ retweeted
ヒジャブで看護師をするのがダメな理由 ❶頭髪の洗髪状態(清潔さ)が確認できない▶️母国ではシラミが発生 ❷色が黒く汚れがわからない ❸皮脂が多い部位ばかり覆っており、雑菌の温床となる ❹音も聞きづらく、医療の必要性や安全性よりも「特定宗教の要求」を押し通している
644
9,819
504
33,091
2,943,119
しずめこみ retweeted
本日、これです。「人の時間と宇宙の時間」をテーマにお話します。
\📣2026年度日吉キャンパス公開講座「時間感覚を養う」申込開始(9月1日10時~)/ 10月~11月の土曜日、全5日開催いたします。 開催場所:慶應義塾大学日吉キャンパス内 申込み、詳細はこちら☟ lib-arts.hc.keio.ac.jp/event…
3
7
576
しずめこみ retweeted
人間がネットで調べながらプログラム書く時代はたった20年ぐらいだったのだ
New record for Stack Overflow: <1000 questions posted last month
4
399
31
1,920
86,040
【超好評】Python風プログラミング言語で農業を全自動化するゲーム『農家は Replace() されました』の正式版が配信開始。早期アクセス版のSteamレビューは「圧倒的に好評」 news.denfaminicogamer.jp/new… 解説テキストが用意されており初心者も安心。VS Codeなどの外部エディタを利用しての編集も可能
21
3,473
643
17,288
1,341,841
しずめこみ 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.
424
1,305
655
7,181
3,729,469
OpenAIにより,Yang-MillsとQCDの存在証明(自然言語),それに形式証明(Lean)が通ったとのこと. openai.com/index/building-sc… YMの方はミレニアム問題だろう. これから物理学者チームが検証などにかかり,チームは D.Grossさん, M.Douglasさん, A.Jaffeさん, I.Klebanovさん, N.Nekrasovさん.しかも募集中とのこと. 僕は存在証明自体にはあまり興味がないが(物理学者は閉じ込めはすでに起こっていることを実験とlatticeで知っているし,YMを疑う人はいないだろう),もしこの「証明」を通じてYM真空がどんな形で何で書かれているのかが理解できるなら,それは非常に知りたいし研究したい.
2
135
7
387
37,209
しずめこみ retweeted
頭文字だけ大文字にするのはいいけど、フラクトゥールにした上に装飾つけまるくのはやりすぎやろ
1
35
4
272
『はじめての多様体―局所座標からまなぶ』 「目に見えない高次元の対象である多様体を、目に見える部分に分割して貼り合わせ、局所的な理解をつなぎ合わせて全体の様相をとらえます。局所的な構造から大域的な幾何学が姿をあらわす過程をていねいに解説。」 amazon.co.jp/dp/4535790248?t…
1
15
1
69
3,530
しずめこみ retweeted
モンゴルのニュースサイトによれば、モビコムの経営陣が現地に入ったのは式典のためで正式に許可を受けており、泥酔してたとか釣りをしてたとか賄賂を受け取ったとかはデマであると国境警備隊が公式発表したようなんだが gogo.mn/r/ykk1ed
105
7,825
172
26,637
681,451
弱者男性育成RTAでもしてんのか?
小2男子6人集まってサッカーの自主練すると行って出掛けたので後を追ってみたら1人の持ってきたスマホを囲んでみんなでゲームしてたのでものすごい剣幕で怒ったもはや威嚇してスマホを没収。子育ては油断大敵。
19
743
19
15,806
932,412