第108期：《求购Neuralink、元气森林公司股份；转让Animoca Brands、Open AI专项基金LP份额｜资情留言板第108期》
Россиян предупредили о смертельной опасности лечения простуды алкоголем14:41
，这一点在chatGPT官网入口中也有详细论述
В Европе призвали немедленно разрешить российские нефть и газ14:06
Recently, Mistral launched Leanstral, the first open-source code agent for Lean 4, the verification assistant used in formal mathematics and software validation. Leanstral operates with merely 6 billion active parameters, designed for practical formal repositories rather than isolated mathematical challenges. Simultaneously, Mistral introduced Mistral Small 4, a mixture-of-experts model containing 119 billion total parameters with only 6 billion active per query, operating 40% faster than its predecessor while managing triple the queries per second. Both models use the permissive Apache 2.0 open-source license.
to the RPLCS Discord Server.