The fact that the description is AI slop doesn't inspire confidence in the results.
Axiom raises $264M, publishes this massive lean proof built with AI, and you're moaning about some AI language in their description. AI is in their domain name. What are you doing?
Slop Verbiage, Straight To Your HN Feed
Axiom raises $264M, publishes this massive lean proof built with AI, and you're moaning about some AI language in their description. AI is in their domain name. What are you doing?