leanprover-community / mathlib

  • Home
  • Zulip archive
  • API documentation
  • Lean web editor
  • Links

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: May 02 2025 at 03:31 UTC

Theme Simple by wildflame © 2016 Powered by jekyll