.@CajalResearch skaliert die formale Verifikation massiv, um wissenschaftliche Entdeckungen zu beschleunigen. Sie setzen übermenschliche KI-Mathematiker in hochwirksamen Anwendungsbereichen ein, beginnend mit Quantencomputing und Finanzen. Herzlichen Glückwunsch zum Start, @lukerj00 & @pedro_nobre0!