.@CajalResearch توسع بشكل كبير في التحقق الرسمي لتسريع الاكتشافات العلمية. ينشرون علماء رياضيات ذكاء اصطناعي خارقين في مجالات تطبيقية ذات تأثير كبير، بدءا من الحوسبة الكمومية والمالية. مبروك على الإطلاق، @lukerj00 & @pedro_nobre0!