Post

$0.06 for a non-trivial proof about programming languages. This is going to change everything.

scidonia.ai/blog/proof-a...

scidonia.aiProof as Commodity | ScidoniaWe proved type preservation for PCF — a classic typed lambda calculus benchmark — using two frontier LLMs and rocq-piler. DeepSeek v4 completed it in 21 minutes for $0.06. Claude Opus 4.8 took 14 minu...

18/6/26, 9:06 am0 reposts0 likes

No replies yet.