Jane Street's ASIC Reverse-Engineering Challenge
[web] [github] изначально подсмотрел тут.

Задачка на реверс почти реального ASIC. Почти, потому что дан GDS-файл (физическая топология чипа, которая отправляется на фабрику), из которого требовалось восстановить нетлист и понять логику работы схемы.

Мне было интересно разобраться с GDS и как описывается топология чипов. В реальности я с этим пересекусь от слова «никогда».

В первый заход ни Gemini, ни Opus 4.8 не смогли за вечер извлечь корректный netlist. Точнее, они упорно косячили с определением правильных элементов, брали не те полигоны как межслойные соединения и бесконечно тонули в отладке.

Пришлось закожмешить, как в старые добрые, руками, параллельно вникнуть, как же там описывается геометрия чипа и вообще как физически устроены микросхемы. Мне было интересно, образовательно, Клод даже мини-учебник написал. Удивило, что GDS вообще-то планарный, а я думал, там честное 3D.

Сегодня поэкспериментировал ещё: GLM-5.3 уаншотом автономно решил всё за час и стоил ~ $1 🙃

По итогу это заставило меня задуматься: где проходит граница между тем, что сможет агент, и тем, что человеку всё ещё приходится делать самому?

Собрать геометрию для меня было очевидной задачей. Отладка — визуально посмотреть на картинку. А вот писать эмуляторы логических схем или транслировать всё это в солвер — как раз та рутина, где легко можно случайно наделать мелких ошибок и потом зарыться в отладке. У Gemini и Opus полностью наоборот: они страдали, выдумывая какие-то небылицы про топологию (даже когда я захинтил, как визуализировать), при том, что я считаю, что у Gemini самый лучший визуальный ризонинг (да и nanobanana вне конкуренции), но зато эмулятор и солвер написали без ошибок с первой попытки минут за десять.

з.ы. после 4го сентября, думаю написать райтап и почему в такой постановке задачи ллмка может её зарешать за час + про устройство GDS. если кому-то это интересно просигнальте 👾