Jane StreetのASICパズル、400件の解答から見えた驚きの解法
Results from the ASIC puzzle
Jane Streetが2026年8月に公開したASICリバースエンジニアリングパズルの結果を発表。チップは11x11のStar Battleパズルのハードウェアチェッカーで、121サイクルの入力で各行・列・領域に2つの星を配置し、隣接を禁止する。30カ国以上から約400件の解答が寄せられ、KLayoutやYosys、Z3に加え、PythonやRust、C++、OCaml、Haskell、Odinで書かれた自作ツールやAI生成コードが使われた。SATソルバーや動的解析、出力生成器の解読など多様なアプローチが紹介され、イースターエッグも多数発見された。
「砂を通して、星へ」— 未使用層にモールス信号で刻まれたPER ARENAM AD ASTRA
HNでの議論
33- babush
Claudeに「回路をファジングして」と頼んだら、うまくはいかなかったものの、結局Z3/SMTのルートに落ち着いて約3時間で解いてしまった。これはすでに解説記事が出た後の話だけど、それでもソフトウェアリバーサーとしてはかなり衝撃的だ。解説記事: https://www.babush.me/how-not-to-solve-jane-streets-asic-puz...
- kayson
EE/IC設計者としての自分は、通常は非常に不透明で秘密主義な業界を中心にコミュニティを作ろうとしているこの試みが大好きだ。社会正義/ミレニアル世代としての自分は、よりにもよって高頻度取引に資金提供されているという点が大嫌いだ。なんて莫大な資源の無駄遣いなんだ。
- ryontikygod
Jane Streetのこの手のパズルを見るたびに、こういう問題を解くスキルをどうやって伸ばせるのか、また他の事柄からどうパターンを外挿すればいいのか、いつも思う。これは単にパズルをこなすだけじゃないはずで、改善する方法があるに違いないという直感がある。誰か知見を持っている人がいたら興味がある。
- amelius
AIモデルは解答やイースターエッグを見つけられたのだろうか？
- IshKebab
> Jane Streetのハードウェアチームは、世界最速のトレーディングシステムの一部を動かすFPGAやASICを設計しており、日々の仕事はまさにこのパズルのようなものだ。ゲートの海、タイミングレポート、波形をじっと見つめ、本当に何が起きているのかをゆっくりと解き明かしていく。
とはいえ、もう実際にはそうでもない。AIは失敗するテストのデバッグが本当に得意なので、波形や命令トレースを何時間も——時には何日も——じっと見つめる必要がなくなった。
正直、それはもう懐かしく思わないことの一つだ。