Plutus, Haskell, Nix, Purescript, Swift/Kotlin. laser-focused on FP: formality, purity, and totality; repulsed by pragmatic, unsafe, “move fast and break things” approaches
AC24 1DE5 AE92 3B37 E584 02BA AAF9 795E 393B 4DA0
Doesn’t the new Chinese model just released actually do abstract reasoning?
DeepSeek-R1 leverages a pure RL approach, enabling it to autonomously develop chain-of-thought (CoT) reasoning, self-verification, and reflection—capabilities critical for solving complex problems.
To my untrained self, that sounds like reasoning.
I’d like to see them hire some formal methods people to at least formally verify crucial parts of it.
It might actually also be good to analyze it with an LLM to identify any hidden problem areas.
I’m interested to hear why my idea is probably foolish as well, though.
Thanks.
Edit: Not sure who’s downvoting me for asking reasonable questions.