Hacker News new | past | comments | ask | show | jobs | submit
baq | on: The Exponential Time Hypothesis Is False [pdf]
Dropping ultra hard problems on those things and giving them reward when lean accepts the proof sound like an obvious RL environment tbh
geraneum | parent
Then anyone with access to their api’s could’ve come up with these already.
loading story #50257506
loading story #50256929