| ▲ | Running Lean at Scale(harmonic.fun) | |
| 54 points by eab- 4 hours ago | 3 comments | ||
| ▲ | jarmitage an hour ago | parent | next [-] | |
In case you want to try Aristotle, I asked Claude Code to make a plugin for it here https://github.com/afhverjuekki/claude-code-aristotle-plugin | ||
| ▲ | RGamma 3 hours ago | parent | prev | next [-] | |
This is part of the work that lead to Aristotle, the system that performed at Gold level at IMO: https://arxiv.org/abs/2510.01346 | ||
| ▲ | auggierose 3 hours ago | parent | prev [-] | |
Very interesting. Do I get this right, running 500000 instances for 1 hour can be done for about $5000, or are there many hidden costs? (500000 * $0.01). | ||