OpenAI chief goes before US Congress to propose licenses for building AI

Re:OpenAI chief goes before US Congress to propose licenses ... by ben_w on Tuesday May 16, 2023 @05:16PM (#35967849)

> They're still terrible at logical reasoning.

Are they even trying to be good at that? Serious question; using LLMs as a logical processor are as wasteful and as well-suited as using the Great Pyramid of Giza as an AirBnB.

I've not tried this, but I suspect the best way is more like asking the LLM to write a COQ script for the scenario, instead of trying to get it to solve the logic directly.

[ Parent | on HN ]

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 ]

Re:OpenAI chief goes before US Congress to propose licenses ... by fsckboy on Tuesday May 16, 2023 @07:17PM (#35969072)

> using the Great Pyramid of Giza as an AirBnB

, were you allowed to do it, would be an extremely profitable venture. Taj Mahal too, and yes, I know it's a mausoleum.

[ Parent | on HN ]

Re:OpenAI chief goes before US Congress to propose licenses ... by ben_w on Wednesday May 17, 2023 @05:48AM (#35973166)

I can see the reviews in my head already:

1 star: No WiFi, no windows, no hot water

1 star: dusty

1 star: aliens didn't abduct me :(

5 stars: lots of storage room for my luggage

4 stars: service good, but had weird dream about furry weighing my soul against a feather

1 star: aliens did abduct me :(

2 stars: nice views, but smells of camel

[ Parent | on HN ]