If true, it's the most important AI-related announcement of this season of keynotes—not about technology but ethics:https://twitter.com/dannyyadron/status/742427414756724738 …
-
Sure. Feel the same about Goog/Fcbk. If Apple follows through on that claim, it gives them the upper hand in that department.
the only real solution would be formally verified open-source hardware and software. Applying AI to formal verification will be key.
-
-
Yes, there's a full spectrum of options in between. At this stage, the intent is already a great contribution!
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
AI working the knobs on Coq!
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.