News for hackers. Stuff that matters.
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.

There are no comments on this comment yet.