@_mathbullet

Drummer @INSANITY_off｜博士（京都大学） ｜YouTube『数理の弾丸』｜著書『言語の数理とLLMの知能』オーム社｜note: https://xitter.cf/t.co/Bo6uCgYtpv

 mathbullet.com
youtube.com/@mathbullet
Joined July 2024
  • Tweets716
  • Following301
  • Followers1.6K
151Media
数理の弾丸 / 船蔵颯 Ph.D. retweeted
数理の弾丸 / 船蔵颯 Ph.D.
@_mathbulletOct 19
note.com/mathbullet/n/n88e79…

Harness²：実用志向の再帰的自己改善｜数理の弾丸

弾丸です。Google Cloud AI Research のグループが、エージェントのハーネスを、タスクを処理しながら改善していく枠組み Harness² の論文とコードを公開しました。 Harness^2: Recursive Agent Harnessing for an Open World LLM agents' capabilities depend not only on...

note.com
5
30
3,599
数理の弾丸 / 船蔵颯 Ph.D. retweeted
TypeSafe AI
@typesafeaiOct 15
we meant it when we said machine-native types go far, far beyond just decisions, and were very careful about how we defined System One models. introducing the bounding box primitive to Jev 1.14, for locating at the speed of Jev. deets in the docs: docs.typesafe.ai/go/box
4
44
26
537
116,125
数理の弾丸 / 船蔵颯 Ph.D. retweeted
木曽崇／Takashi Kiso
@takashikisoOct 11
落合陽一氏は、技術に造詣のある人は「何かわからんけどアートの話をしとるんだな…」、アートに造詣のある人には「何かわからんけど技術の話をしとるんだな…」と思わせておいて、その実は誰にも通じない意味不明の話をしている人、という理解をしている。
わさびくん
@biz_kurichanOct 3
マジで定期的に読みたくなるやつ。 落合陽一全盛期頃に、「起業家やめて落合陽一ゼミに入るために筑波の院に行く」と言い残して消えた彼は元気にしてるのだろうか。 【サバの話だったの？】WEEKLY OCHIAIというコント、あるいは地獄について。 ken-horimoto.com/20181228115…

【サバの話だったの？】WEEKLY OCHIAIというコント、あるいは地獄について。

「WEEKLY OCHIAI」という番組が、コントとして最高に笑えます。真面目な番組なんだけど、「皆が一生懸命分かったフリをしてる」という状況が超面白いです。あと進行役の人が地獄です。

ken-horimoto.com
17
317
67
3,316
518,516
数理の弾丸 / 船蔵颯 Ph.D. retweeted
OpenAI Developers
@OpenAIDevsOct 6
Let your app choose the right model, tool, or action in near real-time with Decisions API, now available to all developers in public beta. The Decisions API makes decisions up to 10x faster than GPT-6 Luna through the Responses API.
315
461
411
5,066
1,937,883
数理の弾丸 / 船蔵颯 Ph.D. retweeted
数理の弾丸 / 船蔵颯 Ph.D.
@_mathbulletOct 3
仕様と実装の整合性を証明しながら実装するエージェント、数学の証明を定理証明器で書くAIなど、色々注目され始めているので コードの性質を「証明」する技術、そしてAIとの接続 youtu.be/41_1CdOSHTU

コードの性質を「証明」する技術、そしてAIとの接続

形式手法によるソフトウェア開発の中でも定理証明器をメインツールとして使うパターンについて導入します。IDS：https://arx...

youtube.com
2
6
1,222
数理の弾丸 / 船蔵颯 Ph.D. retweeted
Google Gemma
@googlegemmaSep 29
Turn DiffusionGemma into a Jev-like model. This brings a new level of precision to structured tasks. By seeding a canvas with a response template, vLLM lets you extract confidence scores and probability distributions for yes/no, multiple-choice, and scored questions, all in a single denoising step. Fast, efficient, and ready to scale!
35
162
33
1,883
120,422
数理の弾丸 / 船蔵颯 Ph.D. retweeted
Thariq
@trq212Sep 18
We're adding support for AGENTS.md to Claude Code. Starting today in version 2.1.277, if there is no CLAUDE.md in a folder, Claude will check for and use AGENTS.md. You can toggle this behavior in /config.
2,060
2,637
2,521
31,323
5,624,459
数理の弾丸 / 船蔵颯 Ph.D. retweeted
ClaudeDevs
@ClaudeDevsSep 11
New in Claude Code: claude plugin eval See what value your plugin is adding, or if it needs more work. You can create test cases, run your plugin or skill against those test cases, score those runs, then run each case again without the plugin to see the differences.
202
421
137
6,124
951,057
数理の弾丸 / 船蔵颯 Ph.D. retweeted
数理の弾丸 / 船蔵颯 Ph.D.
@_mathbulletSep 8
本日22時から お便りも募集しています marshmallow-qa.com/857dny8uh…
1
1
2
1,085
数理の弾丸 / 船蔵颯 Ph.D. retweeted
数理の弾丸 / 船蔵颯 Ph.D.
@_mathbulletSep 5
狭義のコンテキストについて 改めてコンテキストを理解する会【LLM】 youtu.be/OKxvirKd95Q

改めてコンテキストを理解する会【LLM】

LLM/AIエージェントの相棒であるコンテキストについて。0:00 導入3:53 コンテキストとは何か22:44 KVキャッシ...

youtube.com
2
1
6
1,964
数理の弾丸 / 船蔵颯 Ph.D. retweeted
OpenAI
@OpenAISep 4
GPT-6 Astra is now available to all Pro, Enterprise, and Business Premium users in ChatGPT Work and Codex. It's also live in the API. It might take a few days to roll out to our Plus and Business users. Thank you for your patience.
1,101
2,492
799
36,270
4,132,000
数理の弾丸 / 船蔵颯 Ph.D. retweeted
数理の弾丸 / 船蔵颯 Ph.D.
@_mathbulletSep 1
今週金曜です！六本木でお会いしましょう AI駆動の知識吸収・書籍の活用について話します techplay.jp/event/997055

生成AI時代に「本」は何を担うのか？ 著者・編集者が語るデータ界隈100人カイギ - TECH PLAY

2026年09月04日開催データ界隈100人カイギ｜キュレターはマスクド・アナライズさん！テーマは生成AIと本です！

techplay.jp
3
12
2,079
数理の弾丸 / 船蔵颯 Ph.D. retweeted
ミノ駆動
@MinoDrivenSep 2
クリーンアーキテクチャよりも「契約による設計」と「インターフェイスと実装の分離」について話ましょうか皆さん。まずそれからですよね？当然ですよね？？
33
4
369
22,977
数理の弾丸 / 船蔵颯 Ph.D. retweeted
数理の弾丸 / 船蔵颯 Ph.D.
@_mathbulletAug 30
15時から youtube.com/live/rkFkbBOeWAM

技術の学び方 / スライドの作り方 など

チャットにも随時お答えしていきます✌️◼︎常設のお便り箱はこちらhttps://marshmallow-qa.com/857dn...

youtube.com
1
2
12
4,197
数理の弾丸 / 船蔵颯 Ph.D. retweeted
数理の弾丸 / 船蔵颯 Ph.D.
@_mathbulletAug 27
観てみてください　そして意見をください youtu.be/ScundMVV9Ms

AIの出力をレビューするのがしんどい問題

AIが記述した仕様やコードをレビューするという作業が開発ライフサイクルの新たなボトルネックとなっていることを受けて、いかにして負荷を減...

youtube.com
1
1
17
3,783
数理の弾丸 / 船蔵颯 Ph.D. retweeted
VWC / Void戦士ちゃん
@voidwarriorchanAug 25
Claude Codeのセッションをリアルタイムでグラフに TUIでこんなにヌルヌル動くのすごい！ github.com/furkankly/zoetrop…
3
15
4
194
88,347
数理の弾丸 / 船蔵颯 Ph.D. retweeted
Percy Liang
@percyliangAug 21
🚢 Marin 535B-A23B started training this week! As usual, the whole process is open. Voyage plan: pretraining (80%) + midtraining (20%) on 18.75T tokens on 11 x GB200 NVL72 for ~3 months (2.7e24 FLOPs). Post-training will follow. Before kicking off the run, we trained a 4-rung scaling ladder from 1.6B-A61M (48B tokens) to 27.7B-A1.2B (926B tokens) to debug issues, and to make a forecast of our hero run. This is by far our biggest run, so definitely expecting the unexpected.
106
576
99
4,215
989,889
数理の弾丸 / 船蔵颯 Ph.D. retweeted
数理の弾丸 / 船蔵颯 Ph.D.
@_mathbulletAug 22
モダンLLMでの採用が広がるオンポリシー蒸留について Kimi K3（@Kimi_Moonshot / @KimiAI_Japan ）コラボ制作第二弾です。 youtu.be/Q3S5GfPyAok

エージェント時代の技術トレンド「オンポリシー蒸留」【Kimi K3】

【PR】本動画は Moonshot AI 様からのご提供で制作されました。LLMの事後学習フェーズで最近広く採用されているオンポリ...

youtube.com
4
1
26
3,415
数理の弾丸 / 船蔵颯 Ph.D. retweeted
Kimi 日本公式@KimiAI_JapanAug 21
はじめまして、日本。 Kimiです。 今日から、日本での歩みを始めます。 これからの出会いを楽しみにしています。 抽選で 10名様に 月間Allegrettoプラン(39ドル相当)をプレゼント リプ＋フォロー＋リポスト＋いいね Kimi K3を体験してみたい方は、この機会にぜひ 知る、考える、つくる。 Kimiと。
1,190
2,009
176
4,668
2,025,999
数理の弾丸 / 船蔵颯 Ph.D. retweeted
数理の弾丸 / 船蔵颯 Ph.D.
@_mathbulletAug 16
コーディングエージェントにツッコミを入れる作業をより生産的に note.com/mathbullet/n/n5ffc7…

コーディングエージェントへの還元的フィードバック｜数理の弾丸

弾丸です。AIエージェントを使って開発などを行う上で、人間からAIへのフィードバック（認識の修正、AIによる成果物の修正など）は避けがたいものだと思います。この記事ではフィードバックを効果的に、かつその効果を持続的なものにするための考え方を述べます。 この記事は人間が手打ちしています。メンバー限定記事のため、メンバーシップ未加入の方はこちらからぜひご検討をお願いいたします！ 裏・数理の弾丸｜...

note.com
3
12
2,466
Load more