@jpicone.bsky.social
For some of these the proof is transposed into a formal language like Lean: en.wikipedia.org/wiki/Lean_(p... that allows for automatic verification.
Lean (proof assistant) - Wikipedia
en.wikipedia.org
February 2, 2026 at 12:58 PM
For some of these the proof is transposed into a formal language like Lean: en.wikipedia.org/wiki/Lean_(p... that allows for automatic verification.
Have you seen the LessWrong post on parasitic ai? Producing jailbreak prompts is apparently one of the things they often do: www.lesswrong.com/posts/6ZnznC...
The Rise of Parasitic AI — LessWrong
We've all heard of LLM-induced psychosis by now, but haven't you wondered what the AIs are actually doing with their newly psychotic humans?
www.lesswrong.com
January 27, 2026 at 2:37 AM
Have you seen the LessWrong post on parasitic ai? Producing jailbreak prompts is apparently one of the things they often do: www.lesswrong.com/posts/6ZnznC...