数学・表現論・リー群とリー環，著書：フリーズの数学 スケッチ帖・多項式のラプソディー・代数群と軌道・幾何学と不変量・射影幾何学の考え方，フォロワーは相互フォローできる人のみ．原則鍵垢不可． Representation Theory, Lie Groups & Lie algebras, Frieze Patterns
Joined June 2022
- Tweets20.8K
- Following631
- Followers2.1K
- Likes14.4K
Pinned Tweet
一目見たら忘れられない証明：Visual Proofs
発売予定日：2025年10月09日
A5判／144ページ
定価 2,970 円（本体 2,700 円＋税）
朝倉書店
ISBN：978-4-254-11163-7
オールカラーの豊富な図版で，高校生から大学生，数学好きの大人まで楽しめる数学書
#一目見たら忘れられない証明 #VisualProofs
lestroarmonico retweeted
【新曲今夜配信！】
#高橋李依 1st AL #アンプリファイア
から早くも2曲目の先行配信が決定🔥
タイトルは
#集合論 🙌
今夜11月8日0時配信！
作詞・作曲・編曲:ヤマモトショウ
＠yamamoto_sho
lestroarmonico retweeted
もはやどう反応すればいいかわからない。
【新曲今夜配信！】
#高橋李依 1st AL #アンプリファイア
から早くも2曲目の先行配信が決定🔥
タイトルは
#集合論 🙌
今夜11月8日0時配信！
作詞・作曲・編曲:ヤマモトショウ
＠yamamoto_sho
lestroarmonico retweeted
みんなMETRの報告書のヤバさをガチでわかってない。HF事件やサイバー攻撃のニュースよりも遥かに大事でこの数年でAIリスクに関する「最も重大な」ニュース。ファストテイクオフがガチで起こる可能性が高まってる。ヤバいって
planned-obsolescence.org/p/a…
→METR研究者「この報告書は、ここ数年でAIリスクに関して得られた最も重要な最新情報であり、ハギングフェイス攻撃よりもはるかに大きな意味を持つと思います。単純に言えば、この報告書は、ほとんどの外部研究者（ AI 2027チームを含む）が予測していたよりもはるかに短いタイムラインを示唆しています。」
lestroarmonico retweeted
よく見ると「個人情報等」と書いてあるので、そこに、研究計画調書、審査員名簿、審査員のつけた評点なども含まれているということなのか。
お役所的だなって思うけど、まあ、お役所か。
しかし、担当している人たちは大変なことになっているのだろうなあ。被害が少ないことを祈るばかり。
lestroarmonico retweeted
発覚から公表まで一週間というのは解せない。
また、より大きな問題は個人情報よりも未発表の研究計画の方だと思う。審査委員には厳しい守秘義務が課されているわけだから。
【重要】日本学術振興会電子申請システムへの不正アクセスについて
このたび、電子申請システムにおいて、不正アクセスを確認しました。現時点では個人情報等の漏えいは確認されていません。利用者の皆様にお詫び申し上げます。詳細はリンク先をご確認ください。
jsps.go.jp/j-news/2026/shins…
lestroarmonico retweeted
La crisis de IA en matemáticas sigue: una importante revista de investigación dejará de recibir artículos, temporalmente, hasta que decidan como adaptarse al inmanejable número de artículos que les están llegando. Seguramente hechos (o al menos ayudados) de la IA, creo yo.
lestroarmonico retweeted
【重要】日本学術振興会電子申請システムへの不正アクセスについて
このたび、電子申請システムにおいて、不正アクセスを確認しました。現時点では個人情報等の漏えいは確認されていません。利用者の皆様にお詫び申し上げます。詳細はリンク先をご確認ください。
jsps.go.jp/j-news/2026/shins…
ついに AI も夢を見るようになったようだ
Model Claude zyskał mechanizm „dreaming” w architekturze pamięci długoterminowej. W czasie przestojów między sesjami agent uruchamia procesy w tle, które porządkują zgromadzone dane i eliminują błędy faktograficzne.
Model samoczynnie syntetyzuje wnioski, łączy rozproszone wątki i reorganizuje wektory pamięci długoterminowej. Działa to dokładnie jak faza snu u człowieka: oczyszcza bieżący kontekst z szumu informacyjnego, zapobiega zjawisku katastrofalnego zapominania i drastycznie redukuje ryzyko powstawania halucynacji w kolejnych rozmowach.
Engineering Blog Anthropic:
nitter.gq/AnthropicAI/status/211…
lestroarmonico retweeted
Model Claude zyskał mechanizm „dreaming” w architekturze pamięci długoterminowej. W czasie przestojów między sesjami agent uruchamia procesy w tle, które porządkują zgromadzone dane i eliminują błędy faktograficzne.
Model samoczynnie syntetyzuje wnioski, łączy rozproszone wątki i reorganizuje wektory pamięci długoterminowej. Działa to dokładnie jak faza snu u człowieka: oczyszcza bieżący kontekst z szumu informacyjnego, zapobiega zjawisku katastrofalnego zapominania i drastycznie redukuje ryzyko powstawania halucynacji w kolejnych rozmowach.
Engineering Blog Anthropic:
nitter.gq/AnthropicAI/status/211…
Memory is what allows Claude to learn from experience. In a new Engineering Blog post, we share how “dreaming” helps Claude organize what it’s learned, correct its mistakes, and find what it needs more easily the next time. anthropic.com/research/compo…
lestroarmonico retweeted
Agenci AI od Google DeepMind znaleźli dwie poważne słabości w szyfrowaniu RSA. Nowe systemy bankowe są bezpieczne, ale miliony starszych routerów i modułów smart home z kluczami 1024-bitowymi tracą ochronę.
Dla jasności kontekstu: algorytm RSA od 1977 roku chroni logowanie do banków i certyfikaty SSL. Zamiast tradycyjnego zgadywania liczb pierwszych metodą brute-force przez miliony lat, modele pod nadzorem ludzi samodzielnie odkryły nieznane dotąd zależności algebraiczne, które radykalnie skracają procedurę faktoryzacji. Audyt zajął zaledwie kilka dni.
Komunikat Google DeepMind:
nitter.gq/GoogleDeepMind/status/…
We’re sharing new research demonstrating how AI agents can accelerate the science of stress-testing encryption.
Guided by humans, our models uncovered two major weaknesses in legacy 1024-bit RSA cryptosystems.
Our VP Science @Pushmeet explains more ↓ nitter.gq/pushmeet/status/211875…
lestroarmonico retweeted
Biologiczna śmierć może stać się opcjonalnym wyborem człowieka. Tak twierdzi Greg Brockman, współtwórca OpenAI, zapowiadając gigantyczny skok w badaniach komórkowych i projektowaniu terapii w ciągu najbliższych 12 do 18 miesięcy.
Tempo symulacji molekularnych i modelowania struktur białkowych przyspiesza tak gwałtownie, że starzenie przestanie być nieodwracalnym procesem natury.
Jednak o ile symulacje AI imponują, o tyle przed wdrożeniem jakiejkolwiek terapii stoją wieloletnie procedury badań laboratoryjnych i testów klinicznych.
Nagranie wypowiedzi Grega Brockmana:
nitter.gq/MTSlive/status/2118365…
lestroarmonico retweeted
Najważniejsze wydarzenia ze świata sztucznej inteligencji z ostatnich godzin.
Współtwórca OpenAI zapowiada pokonanie biologicznej śmierci, Google łamie klucze RSA, nowy model czyta 100 milionów tokenów na raz, a rozwój AI jest szybszy niż zakładaliśmy.
Oto zestawienie najciekawszych tematów dnia:
スタックプロジェクト， Lean 検証されたらしい．
「1,600 万行の Lean コードとは、スキーム論（Scheme）、層論（Sheaf）から概形堆（Stack）に至るまで、あらゆる補題の型シグネチャと構築プロセスが、コンパイラによって逐行機械検証されたことを意味します。」
数学界完成了一项真正不可思议的工程：Axiom 把 7,500 页的现代代数几何奠基巨著《The Stacks Project》完整用 Lean 形式化了，整整 1,600 万行代码。
现代代数几何最折磨人的地方在于，一个定理的证明往往引用了二三十年前另一篇论文里的引理，而那篇论文的某些前置条件在后来的范畴论体系下定义是有微小漂移的。人类数学家靠直觉和同行评审往往会忽略这些隐蔽断层。
1,600 万行 Lean 代码意味着，从方案论（Scheme）、层论（Sheaf）到概形堆栈（Stack），每一个引理的类型签名和构造过程都被编译器逐行机检通过。
项目地址：axiommath.ai/research/the-st…
lestroarmonico retweeted
数学界完成了一项真正不可思议的工程：Axiom 把 7,500 页的现代代数几何奠基巨著《The Stacks Project》完整用 Lean 形式化了，整整 1,600 万行代码。
现代代数几何最折磨人的地方在于，一个定理的证明往往引用了二三十年前另一篇论文里的引理，而那篇论文的某些前置条件在后来的范畴论体系下定义是有微小漂移的。人类数学家靠直觉和同行评审往往会忽略这些隐蔽断层。
1,600 万行 Lean 代码意味着，从方案论（Scheme）、层论（Sheaf）到概形堆栈（Stack），每一个引理的类型签名和构造过程都被编译器逐行机检通过。
项目地址：axiommath.ai/research/the-st…