Bitcoin’s realized profit and loss ratio has plummeted to a 43-month low of -0.35, a level historically associated with market bottoms, according to blockchain analytics firm CryptoQuant.
Mistral AI has released Leanstral 1.5, an open-source code agent model for the Lean 4 proof assistant, capable of solving 587 out of 672 problems from the PutnamBench benchmark.