Bugün, @DARPA expMath açılışında, geliştiriciler ve uygulayıcılar için sınırda ilerlemeyi hızlandırmak için açık kaynak ve son teknoloji otoformalizasyon ajanı olan OpenGauss'u başlattık. Hazır alternatiflere göre daha güçlü, daha hızlı ve maliyet açısından daha verimlidir. FormalQualBench'te, 4 saatlik mola ile devam eden bu cihaz, @HarmonicMath'ın Aristoteles ajanını zaman sınırı olmadan yeniyor. OpenGauss kullanıcıları istedikleri kadar ya da az etkileşimde bulunabilir, paralel çalışan birçok alt ajanı kolayca yönetebilir ve OpenGauss'u genişletebilir, değiştirebilir / içe dönük olabilir çünkü OpenGauss izinli olarak açık kaynaklıdır. OpenGauss, Lean için önde gelen açık kaynak yapay zeka araçlarının koruyucularıyla yakın iş birliği içinde geliştirilmiştir. Raporu okuyun ve deneyin: