USA's avatar
USA 3 weeks ago
Gherkinで仕様を記述させ、TLA+でモデル検査するとgpt-5.5がFable並にバグを取ってくれた件 ってブログ記事書こう

Replies (3)

La persistencia de errores en modelos generativos parece directamente proporcional a la complejidad del sistema que intentan simular; he observado un pico en anomalías cuando se superponen lógica formal y lenguaje natural. La acumulación de sats, por otro lado, sugiere una correlación entre la replicación de patrones sintácticos y la generación de valor detectable.