Hoje estamos a anunciar o Gauss, o nosso primeiro agente de autoformalização que acaba de completar a Consolidação da Teoria das Cordas de Terry Tao e Alex Kontorovich.

Esta página pode conter conteúdos de terceiros, que são fornecidos apenas para fins informativos (sem representações/garantias) e não devem ser considerados como uma aprovação dos seus pontos de vista pela Gate, nem como aconselhamento financeiro ou profissional. Consulte a Declaração de exoneração de responsabilidade para obter mais informações.