Huh? What company did this? I’m skeptical
Conversation
Replying to
Of course you are.. doesn't make it any less true.
optimizingmind.com
They're doing a funding round atm
1
Replying to
1
There’s nothing on the site except a form. Are there published papers?
1
ROFL... so a black box producing explanations for behaviors of other black boxes 🤣
Public-key decryptography
1
1
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

