https://dl.acm.org/doi/10.1145/3448248 The pursuit of responsible AI raises the ante on both the trustworthy computing and formal methods communities.
Full video of the hearing can be found on C-SPAN: https://www.c-span.org/video/?528117-1/openai-ceo-testifies-artificial-intelligence.
There is also an interesting summary on LWN: https://lwn.net/Articles/933193/