数理の弾丸 / 船蔵颯 Ph.D.

Drummer @INSANITY_off 。慶應義塾研究員。博士（京都大学） 。YouTube『数理の弾丸』、著書『言語の数理とLLMの知能』オーム社、note:

[数理の弾丸 / 船蔵颯 Ph.D. @_mathbullet]

今週金曜です！六本木でお会いしましょう

AI駆動の知識吸収・書籍の活用について話します
https://t.co/Vx5UcBGv7C

[数理の弾丸 / 船蔵颯 Ph.D. @_mathbullet]

今頃知ったけど毎月APIクレジット（サブスク枠とは別）が付与されるようになったんですね（サブスク課金額に応じて）
https://t.co/bj7NXkvzL1

[数理の弾丸 / 船蔵颯 Ph.D. @_mathbullet]

実験レポ。新しい取り組みとして執筆者がひとり加わりました。
https://t.co/nub08JPxro

[数理の弾丸 / 船蔵颯 Ph.D. @_mathbullet]

@himkt スキーマの細かい部分で不整合が出るのあるあるな感じしますね。あとシンプルにツール呼び出しの構文をLLMが守ってくれなかったり（最近のモデルだと少ない気もします）

後者が発生しないので十分使えるなーという感じです

[数理の弾丸 / 船蔵颯 Ph.D. @_mathbullet]

最近の開発スタックについて
https://t.co/wL1eBuvpF4

[数理の弾丸 / 船蔵颯 Ph.D. @_mathbullet]

最近の開発スタックについて
https://t.co/wL1eBuvpF4

[数理の弾丸 / 船蔵颯 Ph.D. @_mathbullet]

マジか………余計なもの一切ないUIでメチャクチャ気に入ってた……

[Arc @arcinternet]

We've decided to sunset Arc on December 22, 2026.

That's not an easy sentence to write. We spent years building Arc and celebrating each and every release along the way: we have so much pride and love for what we made alongside the Arc community.

Our priority is to deliver best-in-class security for our members. Keeping a browser secure takes constant, dedicated work that is only increasing in the age of AI. Dia was built from the ground up to meet today’s security standards, so that's where our engineering and security teams will focus moving forward.

We've worked to make switching to @diabrowser as easy as possible for Arc members. Here's how:

· Your passwords, bookmarks, extensions and history come over to Dia seamlessly.
· Spaces, Folders, and Tab Groups are in Dia and import over with your data intact.
· Dia now surpasses Arc benchmarks in stability, speed, and security.
· The browser features you use in Arc are free in Dia, and the AI is optional.

Thank you for using Arc, for pushing us to make it better, and for building alongside us. The team that made Arc is the same team behind Dia, and some of our most ambitious work is just ahead. We'd love for you to be there with us when it lands.

[数理の弾丸 / 船蔵颯 Ph.D. @_mathbullet]

こう思うからこそ、みたいな回を撮りました

コーディングAIを信頼するための模索
https://t.co/nj4LmtapUC

[数理の弾丸 / 船蔵颯 Ph.D. @_mathbullet]

AIによるレビューで人間のレビューを迂回する、というのが本当に解くべき問題に対する解決策なのか？これはLLM as a judgeについても同じことを思う

Xの振る舞いを検証するためにXの正しさを仮定する構図で、これでは不確かさが無限遡行するのみでは（たとえ役割ごとにハーネスを変えたとしても、本質的なこの構造は同じに思える）

[数理の弾丸 / 船蔵颯 Ph.D. @_mathbullet]

主語がLLMとか意思決定モデルとかにすり替わって既存のデータサイエンス・機械学習の知見が再発見されてる感

[数理の弾丸 / 船蔵颯 Ph.D. @_mathbullet]

今日は人生初の大腸検査
モビプレップ不味すぎてヤバィ

[数理の弾丸 / 船蔵颯 Ph.D. @_mathbullet]

https://t.co/40LQYs6i3u

[数理の弾丸 / 船蔵颯 Ph.D. @_mathbullet]

AIによるレビューで人間のレビューを迂回する、というのが本当に解くべき問題に対する解決策なのか？これはLLM as a judgeについても同じことを思う

Xの振る舞いを検証するためにXの正しさを仮定する構図で、これでは不確かさが無限遡行するのみでは（たとえ役割ごとにハーネスを変えたとしても、本質的なこの構造は同じに思える）

[数理の弾丸 / 船蔵颯 Ph.D. @_mathbullet]

https://t.co/40LQYs6i3u

[数理の弾丸 / 船蔵颯 Ph.D. @_mathbullet]

https://t.co/VWzkJKdxZy

[数理の弾丸 / 船蔵颯 Ph.D. @_mathbullet]

DeepSeek は、DeepSeek-V4.1-Flash の小規模な更新版として DeepSeek-V4.1-Flash-1017 の重みを MIT ライセンスで公開した。推論、コーディング、エージェント課題、視覚ベンチマークの成績が改善し、タスクの実行時間と出力長が短くなったと主張されている。総パラメータ数は763B で、推奨される文脈長は100万トークンである。エージェント系の評価では、Claude Code のハーネスで実行した Terminal-Bench 4.0 のスコアが前版の31.2から42.3に上がった。これは Opus 5 の51.8には届かないが、GPT-5.6 Sol の39.9を上回る。ソフトウェア工学系の DeepSWE v1.1 では77.0で、Opus 5（74.0）と GPT-5.6 Sol（73.0）を上回った。一方、既存ソフトウェアの再実装を求める ProgramBench では29.1で、Opus 5 の37.0を下回った。比較表の多くの行では Opus 5 が最高値であり、1017版が Opus 5 を上回るのは DeepSWE、Automation-Bench、Agents' Last Exam、Apex Bench など。
https://t.co/mCBcJ0RWXR

[数理の弾丸 / 船蔵颯 Ph.D. @_mathbullet]

プルリクをAnthropic側の基盤で複数のエージェントが解析し、指摘をコメントとして投稿する機能
https://t.co/8nWVDut1FL

[TypeSafe AI @typesafeai]

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: https://t.co/iReT5HIVcM

[数理の弾丸 / 船蔵颯 Ph.D. @_mathbullet]

というか主張の骨格は翻訳という専門技能を人々は軽視している、みたいなことだと思うが、自身がその嘆かわしいスタンスを体現しているのが違和感の根っこか。

[数理の弾丸 / 船蔵颯 Ph.D. @_mathbullet]

おれはフロンティアとされる（それなりの労力をかけたハーネスの上での）LLMの翻訳より素人の人間の翻訳の方がずっとましで、プロは尚更だろうと思っているし頼るべき存在と思っているが、この発信は機械翻訳の技術的成果に対するリスペクトが余りにも無いので共感する気が失せるのだろうと思う

[Kaori Myatt 🇫🇷France @Kaorimyatt]

先日の投稿に多くの反応をいただき、AI翻訳について世間とプロの見方に大きな差があると感じました。なぜプロの翻訳者は「AI翻訳は使えない」と言うのか。現場の実感をまとめました。 https://t.co/tQCZXyfakq

[数理の弾丸 / 船蔵颯 Ph.D. @_mathbullet]

「単なるDeepL」を作るのにどれだけの金と時間と試行錯誤が必要かというのは、ただ入出力を眺めているだけでは理解できるはずもないこと

[木曽崇／Takashi Kiso @takashikiso]

落合陽一氏は、技術に造詣のある人は「何かわからんけどアートの話をしとるんだな…」、アートに造詣のある人には「何かわからんけど技術の話をしとるんだな…」と思わせておいて、その実は誰にも通じない意味不明の話をしている人、という理解をしている。