Re:OpenAI chief goes before US Congress to propose licenses ...
by staunton on Tuesday May 16, 2023 @05:58PM
(#35968311)
Indeed, AI reinforcement-learning to deal with formal verification is what I'm looking forward to the most. Unfortunately it seems a very niche endeavour at the moment.
[ Parent
| on HN ]
There are no comments on this comment yet.