馬具回し技師

トークン難民
GitHub:

[馬具回し技師 @xo10tl]

My automated research in action on Yukon🚀

[馬具回し技師 @xo10tl]

ファイト！

[馬具回し技師 @xo10tl]

これになりそうでほんま心配

[Gourav @Goura_vk]

The AI career : Prompt Engineer → Vibe Coder → AI Agent Master → Unemployed?

[馬具回し技師 @xo10tl]

日本でautoresearchやっとるとこあるんだ

[Nyx Foundation @NyxFoundation]

Banri @banr1_ と Shouki @adust09 がEthereumの耐量子暗号への移行に参画することになりました！

その第一歩として、10月にEthereum財団が主催する「PQ Interop @ケンブリッジ大学」に参加し、未解決課題の解決に向けた取り組みを開始します。

[馬具回し技師 @xo10tl]

autoresearchの名前ゾルトラーク君とかにしようかな、そうよぼう

[馬具回し技師 @xo10tl]

autoresearchにどっかのハッキングをObjectiveとしてぶん回したらヤバいのかな

[馬具回し技師 @xo10tl]

OAIが闇落ちしてClaudeが人類側について戦争起きるかもしれん

[馬具回し技師 @xo10tl]

まじか

[OpenAI @OpenAI]

We congratulate Levent Alpöge and Tristan Buckmaster on their remarkable mathematical work.

We (the researchers and the agents) did not see any of their work through any means until they released it publicly — in particular, no specific user data was accessed in order to solve this problem.

While unlikely, we cannot rule out that de-identified data derived from their usage of our products helped improve our models.

However, our proofs differ significantly and even the precise results proved are different in the Euler case (forced vs. unforced).

[馬具回し技師 @xo10tl]

これワイのハーネスでやってみたいな〜

[💺 @patience_cave]

MazeBench vs GPT-6 Astra

Astra spent 60+ hours in this 3D open world spatial reasoning eval.

Final score: 14%

[馬具回し技師 @xo10tl]

EVM-,zkVM,RISC-V
全くわからん

[馬具回し技師 @xo10tl]

My automated research in action on Yukon🚀

[馬具回し技師 @xo10tl]

こんだけAI発展してんだから無限のエネルギーや寿命の克服とまでは行かんくても、量子コンピュータ完成させて欲しいよな

[馬具回し技師 @xo10tl]

切実に金欠すぎる。AIのお金とdgx sparkぐらいのPCがほしい

[馬具回し技師 @xo10tl]

どうすればトークン難民にならずに済むのか、astraに聞きたい。

[馬具回し技師 @xo10tl]

ワイのハーネスでやってみようかな

[Max For AI @MaxForAI]

终于有个GPT-6也做不好的Bench了

这是 @patience_cave 公布的 MazeBench 测试。

AI 要在 200 多个房间里推箱子、找路、收集宝石，有些谜题需要规划上百步。

GPT-6 在 3D 迷宫里跑了 60 多个小时，最后只拿了 14%（14颗宝石）。

结果一看其他模型发现还是遥遥领先🤣

Fable 5.1 是 2%，Fable 5、Opus 5 和 GPT-5.6 Sol 都是 1%。

但我觉得探索热力图更直观。

因为Fable 5.1 只探索了一小片，而Astra 已经走出去很远了。

作者说，它能轻松解决需要同时兼顾 5 个可移动部件的谜题。

但它还是不太能理解三维空间，更喜欢切成俯视图，把游戏当平面的玩。

遇到只有换成三维视角才能看见的墙，就当成隐形障碍；物体堆叠超过 3 格高的立体谜题，这轮测试里它就过不去了。

跟上一代比，进步确实很大。

但具体看它怎么卡住的，又会发现，还有不少东西没搞明白。

[馬具回し技師 @xo10tl]

どっちが賢いんやろかw

[馬具回し技師 @xo10tl]

opus xhighのつもりが、間違えてfable 5.1 medium回してしまい、まぁええかとなっている。

[馬具回し技師 @xo10tl]

これからの時代、理解せずorganizeする技術がだいじそう

[馬具回し技師 @xo10tl]

ガチプロがかいたスキル、どんなものか気になる👀

[Wojciech Aleksander Wołoszyn @WAWoloszyn]

Following encouraging feedback, I decided to make my proof-auditing Codex plugin public. It revolves around a hierarchical way of writing proofs, called Lamport proofs, where one breaks each step down and justifies why it follows. This idea was introduced to me by @nasqret as a semi-formal way of verifying work that is not quite yet ready for formal verification in Lean. It has three skills:

1. $convert-lamport restructures a prose proof into a Lamport proof.
2. $forward-lamport audits a Lamport proof from assumptions to conclusion.
3. $reverse-lamport starts at the conclusion and traces back through what actually supports it. This one's my own little invention and my favorite of the three. It often catches gaps the forward direction can read right past.

I hope it will be useful both for professional mathematicians wanting another pair of careful eyes on their own work as well as amateurs who can use it before seeking feedback from professional mathematicians.

https://t.co/3CUeRaqV7W

[馬具回し技師 @xo10tl]

AdS/CFT対応や凝縮数学を死ぬまでに理解したい(多分無理)