Zulip Chat Archive
Stream: general
Topic: Biden Executive Order on Safe, Secure, and Trustworthy AI
Oisin McGuinness (Oct 30 2023 at 22:06):
@Terence Tao has posted on Mathstodon https://mathstodon.xyz/@tao/111324597123514761 a post on this, his working group contributed input for the EO. An interesting read. Note that other recent posts are about his formalization project which is going quite well, updates today.
Last updated: Dec 20 2023 at 11:08 UTC