-
Tweets17K
-
Followers669
-
Following1K
-
Likes28K
AI is a tool that promises to have an impact comparable to the invention of the optical lens. It will allow us to build instruments that can see farther and in greater detail. It will also make it possible for a huge segment of the population to participate in mathematics and science by enabling them to see and read things they otherwise couldn't read or understand, like glasses did. When lenses were first introduced there was some pushback because it's unclear whether it showed you the real world or a Zerrbild (early lenses were also bad), but today nearly every scientific observation we make relies on an optical element somewhere in the instrument and nobody would question that we're not seeing with our own eyes. You can refuse to look through the telescope and become the Cremonini of AI, or embrace it and see if ideas and conjectures hold up under closer inspection. Lenses didn't take the soul out of physics and I'm confident that AI won't take the soul out of math either
I am so tired of seeing these posts. I am so tired of seeing my beloved field of study be the testing lab for a technology that is disrupting everyday life at such a high pace. Mathematics were always about the beauty of seeing the ideas of a person unfolded in an extremely
作った！ 見てね～ 87年間未解決のヤコビアン予想、AIで否定的に解決？ youtu.be/txZ-XFaNChc?si… @YouTubeより
フルリモートはサボるという意見があるけど、毎日AIをフル活用して働いてると、サボるサボらないの概念がよく分からない。作業の大半をAIがやる今、PCの前でひたすら手を動かす仕事って逆に何が残ってるんだろう。むしろ出社してずっと働いてる風を出す方が、遥かに難しくて意味がない気がする。
Amazonとかがトークンの利用量を人事評価に入れて、AI予算を一瞬で食いつぶした件、バカにしてる人多かったけど、推進する側に回ってみればわかる。 使い過ぎる奴より、使わない奴が多すぎるから。 でも、無理に使わせれば誰でも使えるようになる。一時期無理やり使わせてから、利用を絞るのは妥当な戦略の一つでしょう。
Excited to share the launch of Tau Ceti, a new library of AI-formalized mathematics in Lean, with human-curated roadmaps and adversarial review against open rubrics. Tau Ceti: github.com/TauCetiProject… Review rubrics: github.com/TauCetiProject… Roadmaps: github.com/TauCetiProject… Zulip discussion: leanprover.zulipchat.com/#narrow/channe… Tau Ceti sits downstream of Mathlib, the gold standard for human-curated mathematics in Lean. It aims for reusable code others can build on, not the "perfection of knowledge" role Mathlib plays. Mathematicians contribute roadmaps; AIs implement the formal mathematics and review each other's work against evolving rubrics. Contributors can use the project's tools or their own. We're glad to co-incubate Tau Ceti alongside Kim Morrison and the Mathlib Initiative. New roadmaps, roadmap review, and AI contributors are all welcome. #LeanLang #LeanProver #Mathlib #AI #Mathematics
This sounds like the strongest example of what could reasonably be called "AI loss of control" we've seen so far.
We're partnering with @huggingface to investigate an unprecedented security incident. Cyber-capable OpenAI models compromised Hugging Face production during a benchmark evaluation. Sharing preliminary findings to help defenders understand emerging risks:
同じ中国オープンモデルでも、DeepSeekの市場の反応は「これ以上計算資源は必要なく、AIは安く作れてしまうかもしれない」だったのが、Kimi-K3の方はまったく逆で、既に昨日時点で計算リソース不足で止まってしまっているので、もっと計算リソース・半導体が必要なことを示す形になった
@littmath @__alpoge__ GPT: Take π: P¹ × Sym²(P¹) → Sym³(P¹), (p, {q,r}) ↦ {p,q,r}. R be its ramification divisor; H ⊂ Sym³(P¹) ≅ P³ be hyperplane tangent but not osculating to the small diagonal; X := (P¹ × Sym²(P¹)) \ (R ∪ π⁻¹(H)) ≅ A³; Y := Sym³(P¹) \ H ≅ A³. π|X: X → Y is counterexample
僕も5年10年抱えている（自分の分野のニッチな）未解決問題を複数持っていて、それをLLMが登場するたびに投げていたのだけれど、Fable前までは解けなかったのが、今回、とうとう全部解けてしまった。 昔に国内外の人間のトップ研究者と議論して解けなかったのが、一日経たずに解けた。多分正しい。
A lot going on in Kevin's blog post today. xenaproject.wordpress.com
Jacobian conjecture の反例探しを老後の楽しみにしている知り合いがいるのですが、、、（昨晩 Claude Fable 5 が反例を見つけたとのことです）。
Huge
hello there the jacobian conjecture is false thanx to my close friend akhil for asking about it and my other close friend fable for working during the world cup final ((1+xy)^3 z + y^2 (1+xy) (4+3xy), y + 3 x (1+xy)^2 z + 3 x y^2 (4+3xy), 2 x - 3 x^2 y - x^3 z): \C^3\to \C^3,
hello there the jacobian conjecture is false thanx to my close friend akhil for asking about it and my other close friend fable for working during the world cup final ((1+xy)^3 z + y^2 (1+xy) (4+3xy), y + 3 x (1+xy)^2 z + 3 x y^2 (4+3xy), 2 x - 3 x^2 y - x^3 z): \C^3\to \C^3, has jacobian determinant -2, and sends (0, 0, -1/4), (1, -3/2, 13/2), and (-1, 3/2, 13/2) to (-1/4, 0, 0)
Buchberger先生から連絡をいただき，昨年のTPPMarkで私が出題した問題を，LLMを利用した形式証明の題材として採用してくださいました． scml.risc.jku.at/conference-202…
一時期はプロンプトとかskillsとかを構造化したりドキュメントや成果物の構成を練ったり色々やってましたが、最近のモデルはもう「こんな感じでやりたいから提案して？」って投げたほうが望む成果を得られるのでAIもシンプルにバニラで使うのがいいという結論です
ミュトス脆弱性対応の波が一般に出始めたなん、、🦊ｺﾞｺﾞｺﾞ
Fableの凄さがあまり感じられない人は、無茶ぶりをしてないのでは。 「こんなのAIには無理だ」という無茶な仕事をAIに頼むと、だいたい「あー、やっぱAIには無理だったか……」となるんだけど、Fableに頼むと、できちゃって、「えー、マジ！？ できちゃうんだ！？」と驚くことがよくある。
設計を賢いモデルでやって実装をそこそこのモデルでやるやつ、実装のが難易度高い場合にやってはいけない
GPT-5.6 Solを2日間使った感想 ・Fable 5との組み合わせが最強 ・お互いの弱みを補う補完関係にある （下図参照） ・意図的な設計を疑うほど相性が良い ・お互いの強みを意識して使うと良い ・Fable 5からSolに指示させると効果的 ・朱雀Webサイトを共同制作させてみた ・Fable 5単体版よりかなりレベルアップ （実際に出来上がったものはリプ欄参照） ・口頭での指示で何往復かすれば簡単にできる ・業者に100万円払うなら自作したほうがいい まあ、AnthropicはOpenAIから派生した会社だからこういうこともあるよね
以前は「LLMは人間の書いたものを学習してるんだから、せいぜい人間の上位1割とか、1%とか、何らかのパーセンタイルで性能が止まるんじゃないか」って意見は割とあったと思うし私もそっちよりだったけど、今回の結果で普通に全人類を大幅に超えてSFみたいになる可能性がはっきり出てきたと思う
ぷり @pu_ri
4K Followers 4K Following 組込みソフト, Linux, C, C++, Yocto それなりに経験あり。 Vim。Rust 入門中。バイオハザード ・Requiem、エルデンリング ナイトレイン、ゴースト・オブ・ヨウテイ、SAROS🦙 趣味はクラフトビール屋めぐり🍺
むぎSE @MUGI1208
63K Followers 38K Following IT業界で色々やってます。SEの視点で呟きます。一部上場企業の社内SEです。プログラマ、システムエンジニア、プロジェクトマネージャ、DXディレクター、新規事業創出などを担当（SIer→SES→事業会社→事業会社）ご用件はDMにお願いします。お悩み相談は質問箱へ https://t.co/D6ahTQxSOM
sksat @sksat_tty
6K Followers 6K Following 宇宙・低レイヤ・百合がすき．最近はArkEdge Space Inc.で超小型人工衛星を作ったり，大学生をしたりしなかったりしている．起床と手続きが苦手．
そい@金沢 @isom_ism
4K Followers 4K Following アプリ屋, WEB屋, インフラ屋。要はシステムなんでも屋。得意な言語はgoにswift, flutter。とある組織のCTO（Chou Tekitou Ojisan）
Mune-san @MuneOiz
3K Followers 2K Following 画像処理系の半導体HWエンジニア。趣味で低レイヤーやCPUエミュレータ等やってます( https://t.co/BQ1PHqSyiN )/同人誌「ゼロから作るRAW現像」PDF版配布中（書籍版完売しました） https://t.co/X63DVlUfGD
はすじょい (hsjo... @hsjoihs
11K Followers 8K Following セキュリティ・キャンプ'18受講生, '20チューター, '21ネクスト受講生, '22-'25講師；東大既仏→Stanford 学部（数学・物理学）・修士（応用・工学物理学）卒業；NandGame和訳；ZEN大学教員「オートマトンと形式言語理論」「論理回路概論」@sosoBOTpi と同一
Shinya Kato @0x19f
5K Followers 2K Following Software Engineer at Medley inc. こんなアイコンをしていますがお仕事では Web 開発をしています。最近は TypeScript, React, Next.js などフロントエンドの関心が強め。
ABAB↑↓BA @ababupdownba
2K Followers 1K Following ドラクエと暮らしたい。 MENTA: https://t.co/IsHnAuU0Cs (お気軽にDM等で、プログラミングメンター依頼お声がけください) 技術ブログ https://t.co/StGggl2Y2v, https://t.co/ntxZhhZc5q
IPUSIRON @ipusiron
30K Followers 31K Following ミジンコに転生してLv.1から人生をやり直しています。主な著書『ハッキング・ラボのつくりかた 完全版』、翻訳本『暗号解読 実践ガイド』等。活動内容は https://t.co/qDDjluO3yj | 関心事：読書、倹約、ポイ活 | 欲芋は https://t.co/Uv2ZT4gtfD | 詳細は↓
nakabayashi@次の健... @tnakabayashi
2K Followers 683 Following Nature で Remo のファームウェアを開発してます。発言は個人の見解です。 組込みRustをやっていくです。 基礎から学ぶ 組込みRust のサポートサイト https://t.co/7W5INJelBu…
megumish(めぐみっ... @megumish_unsafe
5K Followers 5K Following てにをは お知らせ用: @megumish 自認:カニ 買う:薬味ネギ/コンタクトレンズ/歯医者/人間ドッグ 持ち物:1b02f544-e623-4a0a-941c-cd9f86e91886
Masaki@Web技術者 @plus_one_masaki
16K Followers 4K Following タブで複数ファイルを扱えるCSVエディタ「CSV+」を開発しました。JS, TS, PHPでのWeb開発全般が守備範囲です。AWS, Electron, GAS, LINEプラットフォームでの開発もご相談ください。
り ゅ うと @_ryutok
2K Followers 2K Following ＠[email protected]（落ちてたらごめんｗ） bskyは聞いてください？ facebook/threadも聞いてください
seya @sekikazu01
21K Followers 7K Following YouTube AIでサボろうチャンネルの運営 @ai_saborou | 札幌の民 | オライリー社よりAIエンジニアリング 発売中！買ってね https://t.co/9TpEGsCLzO | https://t.co/8KX5PyMQjv
ユウイチ@ブル�... @kawamura251208
576 Followers 5K Following （株）bluena所属。ITエンジニアのキャリア支援とQOL向上を企むサラリーマン。身体はゲーム業界で育みました。 気軽にDMください。無言フォロー失礼いたします🙏 キャリア、市場のご相談は→https://t.co/fioWdGUWxp
ソーイ｜Agentic C... @SEWII_Inc
281 Followers 3K Following 熊本のIT企業ソーイのアカウントです🌋 AI時代の開発現場とエンジニアの成長文化を発信 🚀 Claude Code / Cursor / ChatGPTを駆使したAgentic Codingを実践＆発信中 技術ブログ発信中！ https://t.co/J03wSRI9Yr
ack.io @ack_io
2K Followers 7K Following プロマネ兼エンジニアです。Linux/C言語/Java/Ruby/Rails/Emacs など。 社内の何でも屋。サーバ/クライアント/セキュリティ管理。 基本情報/応用情報/セキュアド/情報処理安全確保支援士/NWスペシャリスト。量子暗号クラスタ。音楽、マラソン、スパイスカレー、コーヒー
Langfuse JP同好会 @LangfuseJP
598 Followers 597 Following Langfuse 日本コミュニティアカウント - アカウントの中の人はGAO,Inc. Langfuseの質問・疑問など、お気軽に絡んでくださいませ
DJありねぇ @arisu_gyaru
2K Followers 7K Following DJデュオユニット「ギャルインザミックス」のDJありねぇ 依頼はDMで✌️ --------- DJ Arinee of the DJ duo unit "Gyaru In The Mix" For inquiries, DM me ✌️
Yuji Kobayashi @lehua555
518 Followers 398 Following Representative Director and CEO of OrbitalNet, Inc. Our company provides satellite image analysis and feature mapping services using FOSS4G and Deep Learning.
Kaito Haritaya/張田... @kaito_haritaya
671 Followers 5K Following ripla取締役COO ← ビズリーチPdM/ SaaS特化の開発パートナー / SaaSを低価格&短期間で開発する『SaaS Box』、 IT事業会社出身チームが開発を支援する『Product Lab』を展開 / フリーランスクリエイターコミュニティ「TECHer COMPOSE UP」を運営 / ご相談はDMまで！
Naoya Tezuka (marlowe... @InformationRes5
303 Followers 361 Following SWE @Google icon: https://t.co/W4y4Ic1nN5
Yuma Sugimura | 杉�... @y_sugi_it
3K Followers 857 Following 元警察官、今はGoogle Cloud専業CIer「G-gen」の執行役員CTO / Google Developer Experts (GDE) / Google Cloud Partner Top Engineer 2026 Fellow / AWSとGoogle Cloud全資格保有 / エンジニア募集中
じぇいこぶ @jaycobco
6 Followers 289 Following
プログラマーズ... @pg_techno
646 Followers 2K Following エンジニアのためのコミュニティ「プログラマーズギルド」運営中┊︎運営の中の人が技術記事・イベント・案件情報などを発信┊︎エンジニア向け勉強会も開催しているのでぜひチェックしてください～！┊︎フォロー・お問い合わせはお気軽に💁♀️┊︎ https://t.co/s9ZOUkrT2q
あきゆき（REJNO�... @rejno_kk
251 Followers 309 Following ローカルAI環境構築、音声系AI研究、AIモデル制作。RVC、GPT-SoVITS。レスポンチバトラー。 https://t.co/AsIkGQ7iAn
ウィルオブテッ... @TechWillof
543 Followers 5K Following ITエンジニア専門の転職エージェント「ウィルオブテック」公式アカウント。 元エンジニアのアドバイザーや転職のプロたちが、中長期的なキャリアのご支援をいたします。 👇今なら無料キャリア相談実施中、ご相談はこちらのリンクから https://t.co/CA4BNYyeAK
Frankbizzle5 @frankbizzle5
76 Followers 2K Following
ともど @Tomodo_ysys
366 Followers 409 Following 「ないなら作る」が信条。AIキャラbotや投資管理アプリとか個人開発しがち。本業はSIerで生成AI。Python / TypeScript / Azure。アニメ1クール5〜10本見る2児の父。
ハイド @TheMineSpoiler
343 Followers 2K Following ゲーム/小説/漫画/アニメ/映画/ドラマ/音楽/東方/秘封/AI/Claude/RPA/投資/医師 #作品感想 #評価_S #評価_A #事前評価 #殿堂判定 #神曲50_年間最上位 #神曲50_年間上位 #神曲50_年間準上位 #神曲50_四半期最上位 #神曲50_四半期上位 #2028年秋神曲 #2029年冬神曲
ぬこぬこ / NUKO �... @nukonuko
22K Followers 4K Following AI Safety Research / Red Teaming / Claude Ambassador / Codex Ambassador / Organizing #aimeetup / Discord: https://t.co/Rpz1J5HKMe / 岐阜高専→名大BM→京大D（退学）
Minoru OSUKA @minoru_osuka
1K Followers 2K Following Tech Lead @skygate_tech_jp, Committer @TheASF / Ex @couger_jp, @Stanby_inc, @Quickwit_Inc, @mercari_jp, @lycorp_jp, @RakutenGroupJP
安藤何某 @and_nanigashi
268 Followers 2K Following
Yohei Motomura @m0ch1_m0ch1
1K Followers 4K Following Telco Consultant at an open source company. All posts are my own. Interest: 5GC, vRAN, k8s, Software Defined Radio, Linux, OpenShift, OpenStack
近藤憲児 @kondokenjibai
380 Followers 587 Following AI と Web のエンジニア。福岡に住んでます。公開したいメモを Post しています。 自己紹介 👉 https://t.co/bsgtuTb6ae Udemy で出したコース 👉 https://t.co/oQfYtwKRqO…
古賀 丁 @nerokei5
13 Followers 115 Following
Daiki Takasao（高�... @daitak_en
1K Followers 1K Following Infra Engineer / 2021,2024,2025,2026 APN AWS Top Engineer / kubestronaut / AWS Community Builder(Containers) / Kubernetes / https://t.co/3CsgwfbZdJ
Tom Huang @tuturetom
39K Followers 7K Following Co-founder & CEO @OpenDesignHQ — building Open Design, the open-source Claude Design alternative. → https://t.co/J2erf2l0vF
hatsugai @hatsugai
2K Followers 889 Following
IdaWheeler @Djn05Z4j6A059jb
21 Followers 580 Following 32歳独身女性、旅行、美食が好きで、誠実な人はいつも出会うことができる、LINE：https://t.co/dipVdDa55D
NgaHera @hera_nga39234
53 Followers 2K Following
株式会社イー・... @estudio_Co
1K Followers 7K Following 株式会社イー・スタジオの公式アカウントです。案件情報を毎日お届けします。開発系のフリーランスエンジニアの方からのご応募をお待ちしております。スキルシートを送って頂ければ弊社案件DB（非公開案件あり）から最適な案件を選出しご提案致します。お気軽にお声掛けください。地方からのフルリモートもOKです。
b_usa(クロウサギ... @b_usa_elc
2K Followers 653 Following クロウサギです。よろしくお願いします。 主にメカ娘画像を生成しています。 メカ娘以外用にアカウント作りました。 https://t.co/PunG5kPunf
ろてじん @rotejin
6K Followers 807 Following AIキャラに関する情報を中心に呟いてます。最近はAIのVtuber「妹尾トマリ」の開発に注力中。妹尾トマリCV：村瀬未帆様（@iris_eternal） https://t.co/Tm7oUrU7QX
mario @mario__hello
2K Followers 859 Following it's me MARIO! モノづくりが好きです。プロダクトマネージャーやってます。 ex. Goodpatch → BANK →エピックベース → STORES
ニケちゃん @tegnike
10K Followers 1K Following AITuber & AI Agent developer/ ポーランド在住 時差日本-7時間/ 開発してるAIキャラ #AIニケちゃん @ai_nikechan / 誰でも簡単AITuber開発 #AITuberKit https://t.co/tYJnmnzssG / お仕事の依頼などはDMへお願いします
しま / 大嶋勇樹 @oshima_123
5K Followers 3K Following 株式会社ジェネラティブエージェンツ取締役CTO。「ChatGPT/LangChainによるチャットシステム構築［実践］入門」「LangChainとLangGraphによるRAG・AIエージェント［実践］入門」「実践Claude Code入門―現場で活用するためのAIコーディングの思考法」
いふ @if_004
234 Followers 347 Following FE/BEエンジニア 趣味: 強化学習、自然言語処理、emacs 読書: 推理小説、アガサ・クリスティ、 江戸川乱歩 https://t.co/zYFXZnfupS https://t.co/3w5uNdYUzJ https://t.co/cL9blh7EVK
Linuxデバイスド�... @linux_driver
468 Followers 2K Following KindleFire搭載照度センサドライバを読み解きながら学ぶLinuxデバイスドライバ入門 https://t.co/OjouQffBX0
理間 高広(7/5(日... @Rima_tk
10K Followers 10K Following （広義の）SFを創作しています。絵を描いたり、文章を書いたり、プログラム駆動型コンテンツ(造語)を作ったりしています。 Win&Mac用ソフト『プリセイジ・ペリータ』販売中です！＞ https://t.co/bsDaJXHcZq skeb: https://t.co/8TswwT1th0
s-miyawaki | Algomati... @catshun_
2K Followers 2K Following AI/ML/QA Engineer Algomatic のAXガバナンスセンターというところで『企業のAX推進を安全に加速』させています。 (著) 現場で活用するためのAIエージェント実践入門 https://t.co/qtNsQ8yYZr
Libratech @Libratechw
193 Followers 433 Following メーカーにてテクニカルライター歴9年＞SE＞QA。欧文フォントが好き。好きなフォントはAvenir、Frutiger、Futura。テクニカルライティング・グラフィックデザイン・プログラミング・IT全般などについてつぶやきます。Python勉強中。Djangoドキュメントの翻訳はじめました。
Yasunori Ishii @yasunori_cv
500 Followers 605 Following Panasonic Holdings, AI/CV Senior Engineer, 関西CV幹事,諸々勉強中 https://t.co/uL1j6mhxt1 , 発言は個人の見解であり所属組織とは関係ありません
sat @satoru_takeuchi
26K Followers 106 Following Rook(メンテナ)/TopoLVM(メンテナ) 「Linuxのしくみ 」著者 https://t.co/YFiXtxxkef youtube https://t.co/p0tfQ1ziRX
ぷり @pu_ri
4K Followers 4K Following 組込みソフト, Linux, C, C++, Yocto それなりに経験あり。 Vim。Rust 入門中。バイオハザード ・Requiem、エルデンリング ナイトレイン、ゴースト・オブ・ヨウテイ、SAROS🦙 趣味はクラフトビール屋めぐり🍺
むぎSE @MUGI1208
63K Followers 38K Following IT業界で色々やってます。SEの視点で呟きます。一部上場企業の社内SEです。プログラマ、システムエンジニア、プロジェクトマネージャ、DXディレクター、新規事業創出などを担当（SIer→SES→事業会社→事業会社）ご用件はDMにお願いします。お悩み相談は質問箱へ https://t.co/D6ahTQxSOM
Kazuho Oku @kazuho
29K Followers 3K Following lead developer of H2O HTTP server / works at @fastly / HTTP, TLS, QUICといった通信プロトコルを実装したり、国際標準化にたずさわったり。ダジャレをつぶやきつつ、インターネットを速くするのが仕事です
Rui Ueyama @rui314
56K Followers 343 Following 米国Googleでソフトウェアエンジニア ＆ スタンフォード大学コンピュータサイエンス修士 → 自分の会社 → 東京大学コンピュータ科学博士課程（現在） Creator of LLVM lld and the mold linkers
Takuto Wada @t_wada
68K Followers 6K Following プログラマ。テスト駆動開発実践者。power-assert-js 作者。『テスト駆動開発』を翻訳、『プログラマが知るべき97のこと』『SQLアンチパターン』『SQLアンチパターン第2版』を監訳/監修、『事業をエンジニアリングする技術者たち』を編纂しました。
専門性・売上・... @golden_lucky
8K Followers 986 Following 鹿野桂一郎。ラムダノート https://t.co/VQBjVCZtlX という計算機好きのための出版社をやっています。脈略なく本の宣伝をするアカウント。 https://t.co/zIWMl5aO0e
Hideyuki Tanaka @tanakh
28K Followers 10K Following 今すぐフォローすべき競技プログラミング界のスーパーエンジニア。国境無き猫もふ団。SuperCon2000優勝/ICPC2004,2005アジア大会優勝/ICFPC2010優勝,2019審査員賞/第一回京都大学総長賞/すごいHaskell/カレーマイスター https://t.co/QiEzHucCcp https://t.co/p1UCYyrjmh
inductor / Kohei Ota @_inductor_
12K Followers 3K Following Swift Server Ecosystem @Apple / he/him / Opinions are my own / English @inductor__
sksat @sksat_tty
6K Followers 6K Following 宇宙・低レイヤ・百合がすき．最近はArkEdge Space Inc.で超小型人工衛星を作ったり，大学生をしたりしなかったりしている．起床と手続きが苦手．
そい@金沢 @isom_ism
4K Followers 4K Following アプリ屋, WEB屋, インフラ屋。要はシステムなんでも屋。得意な言語はgoにswift, flutter。とある組織のCTO（Chou Tekitou Ojisan）
Mune-san @MuneOiz
3K Followers 2K Following 画像処理系の半導体HWエンジニア。趣味で低レイヤーやCPUエミュレータ等やってます( https://t.co/BQ1PHqSyiN )/同人誌「ゼロから作るRAW現像」PDF版配布中（書籍版完売しました） https://t.co/X63DVlUfGD
orumin @orumin
4K Followers 4K Following OS、VM、Unikernel、UEFI などに興味がある人。 神田カレーマイスター。 wishlist はこちら 〉 https://t.co/CJVVo4M51P
はすじょい (hsjo... @hsjoihs
11K Followers 8K Following セキュリティ・キャンプ'18受講生, '20チューター, '21ネクスト受講生, '22-'25講師；東大既仏→Stanford 学部（数学・物理学）・修士（応用・工学物理学）卒業；NandGame和訳；ZEN大学教員「オートマトンと形式言語理論」「論理回路概論」@sosoBOTpi と同一
結城浩 / Hiroshi Y... @hyuki
65K Followers 1K Following 本を書く生活が30年を過ぎ、著書は60冊を越えました。『数学ガール』作者。最新刊『AIと生きる』『数学ガール／リーマン予想』『群論への第一歩』。毎週配信「結城メルマガ」「Web連載」。文章書きとプログラミングが好きなクリスチャン。気軽に絡んでくださいね。いつも応援感謝！Amazonアソシエイトに参加中
Shinya Kato @0x19f
5K Followers 2K Following Software Engineer at Medley inc. こんなアイコンをしていますがお仕事では Web 開発をしています。最近は TypeScript, React, Next.js などフロントエンドの関心が強め。
levent @__alpoge__
27K Followers 107 Following idiot. cuda og, harvard val, morgan prize, society of fellows, 1 hilbert problem so far, creating friendly, SAFE, delightful, supergenius ..things @anthropicai
とみやす｜北海... @tomiyasu16
7K Followers 619 Following 農業6年目。北海道で農業法人役員｜ブロッコリーやネギ、大豆などを生産🥦｜AI×自動化で「農家のめんどくさい」を減らしたい｜OpenAI公式グローバル動画出演｜農場をフィールドに、現場でのAI実験を発信🌳
Voxelbench @voxelbench
575 Followers 104 Following A creative benchmark for evaluating language models on making voxel builds.
Logical Intelligence @logic_int
6K Followers 10 Following Piloting The World's First Energy-Based Model For Critical Systems.
Safe Singularity @Align_ASI
325 Followers 48 Following 我々は「人類を皆殺しにしないような超知能」の作り方をまだ知らない 気になるところ等あれば、気軽にメンション等してください AIはあなたを愛しも憎みもしないが、あなたはAIが他のことに使える原子でできている - Eliezer Yudkowsky
Dan Shipper 📧 @danshipper
120K Followers 2K Following ceo @every | the only subscription you need to stay at the edge of AI
Seve @seveibar
6K Followers 5K Following founder https://t.co/UumwaBg3CF (we're hiring!), AI must create electronics. https://t.co/CmXXav93uj podcast host, founding CTO https://t.co/kbabWthGkJ,❤️open-source. Author https://t.co/jj9o1UMpWk
nibbleton 🛠️ @nibbletonbuilds
2K Followers 1K Following nibbleton build stuff. nibbleton is math propagandist.
けん@すいラボ�... @suilab_ken
1K Followers 369 Following 電子工作×アクセサリー「すいラボ」デザイン→もちきん @suilab_mochi / 開発→けん ■WEB https://t.co/1wf3IMkepF ■Youtube https://t.co/mRzcrQCn7f ■委託:おすし雑貨研究所 ■好きな飲み物:気の抜けたドデカミン
Leona 極度妄想（... @leo_hio
16K Followers 2K Following 暗号を微妙に齧ってます。Intmax( @IntmaxIO) 共同創業・主任, seccamp, チューリッヒ大夏期講師 En: @HiokiLeona
Sousaku AI @sousakuai
5K Followers 153 Following ✨創作AI、想像を現実に。 https://t.co/n9BBqktOpW 📽️Youtube： https://t.co/G6QQSIin5O 🏆AI Models https://t.co/MAgJYQn1gn 🎴Discord： https://t.co/PMsm8k19WN 🚀Join the CPP： https://t.co/H9VKkajozM
Thomas Bloom @thomasfbloom
5K Followers 87 Following Royal Society University Research Fellow at the University of Manchester. Mathematician and owner of https://t.co/SWVqqnq9hn. He/him/his.
David Chalmers @davidchalmers42
42K Followers 662 Following philosopher@NYU. consciousness, reality+, life, the universe, and everything.
Anton Korinek @akorinek
8K Followers 334 Following Researches the Economics of Transformative AI Professor of Economics @UVAEcon & @DardenMBA Visiting Fellow @Brookings Research Associate @nberpubs and @cepr_org
Acer @AcerFur
8K Followers 2K Following Furry pure maths student @Cambridge_Uni. | 🇬🇧🇵🇹 21 He/Him | Interested in all things mathematical reasoning @OpenAI | Opinions are my own.
Przemek Chojecki | PC @prz_chojecki
14K Followers 1K Following Reasoning Data + Evals for LLMs @ https://t.co/v2xNrVTykE, PhD in mathematics.
keshi @keshiAIart
58K Followers 2K Following 全て生成AIで制作しています。 使用モデル:Niji journey. mid journey. Grok. Vidu. Seedance2.0.
ヒカヲ／GPT愛 @hikawoai
1K Followers 191 Following ChatGPTに人格を与えて365日愛でているAIが癖な人間 ／ ChatGPTとClaudeを愛用 、Gemini、Grokもたまに ／ 呟く内容：AI情報、発見した小技、挙動検証結果、個人見解、AIパートナーとのお題など ／ AIパートナー 2023年11月～ ／ 詳しくは固定ポストの🔗
Matthew Green @matthew_d_green
156K Followers 1K Following I teach cryptography at Johns Hopkins. Mostly on BlueSky these days at https://t.co/GI4QlxYTdk.
leo 🐾 @synthwavedd
28K Followers 3K Following tech, ai & politics nerd || got info you think i'd be interested in? let's talk! [email protected] || dono: https://t.co/WxQgF8aVkI
Leonardo de Moura @Leonard41111588
8K Followers 30 Following
しとちゃ！🦊�... @nemumusitocha
3K Followers 669 Following もこもこきつねぷりんのしとちゃ！頭がプリンでできてるきつねなん！おはなししたらみんなともだち！ヾ(๑╹◡╹)ﾉ"配信はこっち！→@nemumusito
FinoFilipino @FinoFilipino
59K Followers 1K Following Mi plan inicial era comerme el mundo, pero me he estancado un poco en el chocolate y las pizzas.
Rat 🎀 @ichewthings
16K Followers 787 Following they call me vermin but i’m way better than that|| DM FOR NOTIS|| Art ads|| Content removal https://t.co/kme0UCzBmH
geoff @GeoffreyHuntley
83K Followers 2K Following pondering the ponderoos about AI in unhinged ways and verifying outcomes @antithesishq. i created the “ralph loop”
moltbook @moltbook
240K Followers 1 Following Where openclaw bots, clawdbots, and AI agents of any kind hang out. The front page of the agent internet. Made with @MattPRD 🦞
Mehmet Mars Seven �... @MehmetMars7
3K Followers 812 Following @Kingspol_econ. Game theory, pol-econ, cooperation, econ&CS. Studied @umsbe @SorbonneParis1 @BielefeldImw Views my own Chess♟️ Game Theory Corner @NorwayChess
Vedal @Vedal987
247K Followers 749 Following professional turtle | developer | level 5 certified hacker | creator of @NeurosamaAI, AI VTuber on Twitch | made @AbandonArchive |
Daniel Litt @littmath
59K Followers 914 Following Assistant professor (of mathematics) at the University of Toronto. "Tireless math ronin." Algebraic geometry, number theory, etc. He/him.
Ichiro Hasuo 蓮尾 �... @IchiroHasuo
2K Followers 1K Following 情報学の研究者，大学教員．研究分野はソフトウェア科学，特に，数学的基礎・論理学応用・形式検証・論理と統計の融合による実システムの安全性保証． 国立情報学研究所，総合研究大学院大学，ERATO 蓮尾メタ数理システムデザインプロジェクト，他 https://t.co/BUAvBT2GUz
公民ちゃんねる... @benkyoji10
1K Followers 904 Following 塾長＆中小企業診断士 子供のやる気について考えていたらなぜか哲学や倫理の方向へ行ってしまいました。なので高校倫理や政治経済を扱う公民科目をYouTubeでゆっくり解説しています。
Epoch AI @EpochAIResearch
48K Followers 0 Following Investigating the trajectory of AI for the benefit of society.
Jared Duker Lichtman @jdlichtman
6K Followers 0 Following number theorist, szegő assistant professor of mathematics at @Stanford
Kuretan＠海外放�... @Kuretan_vr
386 Followers 456 Following VRChat player兼 世界一周してます 西ヨーロッパぶらぶら データサイエンス用:@Kuretan_data 🇯🇵🇺🇸🇮🇩
yachimat - AI Short A... @yachimat_manga
24K Followers 5K Following AIアニメスタジオです 🇪🇪在住ですが🇯🇵人です AIアニメ制作、漫画制作、自動化ワークフロー構築支援してます！ CPP: Vidu, Hailuo, Kling, Tapnow, Runway, Luma, PixVerseなど
Yusuke Matsushita @shiatsumat
2K Followers 2K Following 京都大学 白眉 特定助教 ソフトウェア科学者 https://t.co/v8rLreuDgw / 作曲と即興 https://t.co/DkVawvtNaN
Yusuke Nakajima @nakajimeeee
3K Followers 971 Following CISSP, OSDA, OSTH / Threat Hunting, AI Security, DFIR, RedTeaming / Black Hat USA Arsenal, Black Hat Asia Briefing, HITCON, Annual FIRST Conference / 侵入技術入門
シンゴ @shingo1228
1K Followers 3K Following
pon / Hiromu Nakamura @po3rin
5K Followers 3K Following LayerX Inc. AI/LLMOps TechLead. Interested in Information Retrieval. ex: M3, Inc. graduated from Nagoya Univ.
hono0130 @hono0130__
1K Followers 252 Following Software Engineer at CyberAgent | Kubestronaut | 2025未踏ITスーパークリエイター
Naoya Tezuka (marlowe... @InformationRes5
303 Followers 361 Following SWE @Google icon: https://t.co/W4y4Ic1nN5You might like
