Ethereum (@ethereum): 3/ The only catch is that it’s *hard* – you used to need a team of experts to a) translate your code to a formal model and b) actually do the proofs.
Estimated coin impact
Scores are not price-change percentages. High impact means a score of +70 or more, or -70 or less.
- ETH+70Positive
3/ The only catch is that it’s *hard* – you used to need a team of experts to a) translate your code to a formal model and b) actually do the proofs. Now that LLMs are rapidly approaching AGI (Claude Fable casually proved the Jacobian conjecture false after being an open problem in mathematics for 80 years), a lot of this work becomes (much!) easier. https://x.com/__alpoge__/status/2079028340955197566?s=20