Discussion about this post

User's avatar
Larry Greenblatt's avatar

Ben, you know I love you, support you, and all you're doing with SingularityNET, so please forgive me if I smile just a bit. It feels like you are just now starting to understand what the amazing people at ISO, NIST, the IETF and IEEE have been working on for years, all built around the Open Systems Interconnect (OSI) 7 Layer Model. As agents take over all the functions in the model, it is natural to assume they will master OSPF and BGP, helping nodes reach each other using dynamically evolving route tables. Not always trusted, just the best they can converge on for the moment. It's worked pretty well.

Larry Greenblatt

Oleg  Alexandrov's avatar

It is interesting to see how systems built primarily around large-scale statistics are being used more and more for work requiring highly careful symbolic reasoning of sorts. Both for code vulnerabilities and for math proof creation (including novel proofs).

Of course it is pattern matching, so any hypotheses must be very carefully validated in a formal way, and there are also likely false positives.

This also shows that our best friend in fighting bad AI (and bad people) will be good AI. This is something LeCun stated a while ago, though likely is not an original statement.

Trying to break AI and other software will show if it is robust enough. (Robustness is a better word than alignment, btw.)

1 more comment...

No posts

Ready for more?