I think the reason people are so shocked is because the principal is already so high and unaffordable that any rate increase feels like a death of a thousand cuts. A rate increase from 2% to 5% when the principal is…
There's an entire paper claiming that many of these AI-generated Lean proofs are formulated incorrectly / mistranslated: https://arxiv.org/abs/2610.08144
This is the actual link to the academic paper (https://arxiv.org/pdf/2204.00764)
Love the pendantic mode setting on the website
At the moment Zero doesn't look compelling enough to use it over other more familiar languages. They need benchmarks to show that it has a substantial advantage over other languages (10x more performant, 10x less…
I think the reason people are so shocked is because the principal is already so high and unaffordable that any rate increase feels like a death of a thousand cuts. A rate increase from 2% to 5% when the principal is…
There's an entire paper claiming that many of these AI-generated Lean proofs are formulated incorrectly / mistranslated: https://arxiv.org/abs/2610.08144
This is the actual link to the academic paper (https://arxiv.org/pdf/2204.00764)
Love the pendantic mode setting on the website
At the moment Zero doesn't look compelling enough to use it over other more familiar languages. They need benchmarks to show that it has a substantial advantage over other languages (10x more performant, 10x less…