Conversation

Replying to and
Yes that's fair and it seems like it, but we can prove it easily. It can explain existing bb models and show that the explainable output is the only possible solution.
2
1
Replying to and
Well deep mind did convince me proprietary tech can move faster than open, but that’s in the domain of raw closed-world performance, while here we are talking formal verification in open-world contexts. So extraordinary claims/extraordinary evidence standards will apply 😎
1