
f img 68151c7a0e27d
And on the topic of AI, the Chinese AI company Deep Seek has launched its new openw weightight large language model called Proverb V2. Yes, just one day after Alibaba's announcement. In this new model, users can expect math proof verification under the opensource MIT license, keeping the race very much alive. is so cool..