Soubhik Deb(@soubhikdeb):We have been running the autoresearch competition https://t.co/IQ3GmRVhOg @yukonresearch in partnership with @Lighter_xyz on optimizing a fork of their in-production software on Apple Silicon. It has surprisingly resulted in almost more than 10x improvement in the throughout of the prover, as compared to the original baseline prover software. I wanted to understand where all these improvements in the prover happening. Follow on the thread about my initial analysis. 1/n

Soubhik Deb

@soubhikdeb

Enlarging the lightcone of humanity’s scientific frontier @yukonresearch @eigenlabs Excited about chips, atoms and cells.

加入 June 2013

439 正在關注 3.5K 粉絲

Soubhik Deb@soubhikdeb

2026.08.20 00:34

We have been running the autoresearch competition @yukonresearch in partnership with @Lighter_xyz on optimizing a fork of their in-production software on Apple Silicon. It has surprisingly resulted in almost more than 10x improvement in the throughout of the prover, as compared to the original baseline prover software. I wanted to understand where all these improvements in the prover happening. Follow on the thread about my initial analysis. 1/n