SneerClub

983 readers

26 users here now

Hurling ordure at the TREACLES, especially those closely related to LessWrong.

AI-Industrial-Complex grift is fine as long as it sufficiently relates to the AI doom from the TREACLES. (Though TechTakes may be more suitable.)

This is sneer club, not debate club. Unless it's amusing debate.

[Especially don't debate the race scientists, if any sneak in - we ban and delete them as unsuitable for the server.]

founded 1 year ago

MODERATORS

self@awful.systems

blakestacey@awful.systems

dgerard@awful.systems

Building an early warning system for LLM-aided biological threat creation (openai.com)

submitted 9 months ago by sailor_sega_saturn@awful.systems to c/sneerclub@awful.systems

28 comments fedilink hide all child comments

OpenAI blog post: https://openai.com/research/building-an-early-warning-system-for-llm-aided-biological-threat-creation

Orange discuss: https://news.ycombinator.com/item?id=39207291

I don't have any particular section to call out. May post thoughts ~~tomorrow~~ today it's after midnight oh gosh, but wanted to post since I knew ya'll'd be interested in this.

Terrorists could use autocorrect according to OpenAI! Discuss!

you are viewing a single comment's thread
view the rest of the comments

[–] V0ldek@awful.systems 1 points 9 months ago* (last edited 9 months ago)

[Datalog] is equivalent to tuple relational calculus

Well, Prolog also allows recursion, and is Turing complete, so it's not as rudimentary as you make it out to be.

But to anyone even passingly familiar with theoretical CS this is nonsense. Prolog is not "reasoning" in any deeper sense than C is "reasoning", or that your pocket calculator is "reasoning". It's reductive to the point of absurdity, if your definition of "reason" includes Prolog then the Brainfuck compiler is AGI.