Post

It's the same thing as the claims about LLMs solving math proofs, sure you have a thing but you defeated the entire purpose. It's disheartening, decomp was a really cool project.