Hacker News new | past | comments | ask | show | jobs | submit
skew-aberration | on: LLMs are making formal software verification feasible at a much larger scale
I agree with the observation but not the extrapolation. After all, RLing on sufficiently hard problems might cause agents to adopt better proof strategies emergently.