Hrishi @olickel.com · Mar 11 This is the same insight that led us to build hankweave for ourselves six months ago. Since then almost all of our work has been frozen in hanks (repeatable AI programs) - some for design, some for building code, moving data - so why not one for math?
0 likes 1 replies
?
Replies
Turns out you can formalize his agentic algorithm into a simple hankweave program (couple lines of json), with sentinels and loops to improve reliability. Haiku was able to formalize the same proofs (and harder ones) for less than a dollar.