چین با معرفی مدل هوش مصنوعی Prover V2 از شرکت دیپ سیک ، گامی بلند در اثبات قضایای ریاضی برداشته است. این مدل با ۶۷۱ میلیارد پارامتر، متنباز بوده و قدرتی کمنظیر دارد.کریپتوباز
دیپسیک از مدل هوش مصنوعی جدید Prover V2 رونمایی کرد
