Tänään, @DARPA expMathin avaustilaisuudessa lanseerasimme OpenGaussin, avoimen lähdekoodin ja huippumodernin autoformalisointiagentin kehittäjille ja käytännön toimijoille vauhdittaakseen kehitystä rajaseudulla. Se on vahvempi, nopeampi ja kustannustehokkaampi kuin valmiit vaihtoehdot. FormalQualBenchillä, 4 tunnin aikalisällä, se voittaa @HarmonicMath:n Aristoteleen agentin ilman aikarajaa. OpenGaussin käyttäjät voivat olla vuorovaikutuksessa sen kanssa niin paljon tai vähän kuin haluavat, hallita helposti monia rinnakkain toimivia aliagentteja ja laajentaa, muokata / tarkastella OpenGaussia, koska se on sallivasti avoimen lähdekoodin. OpenGauss kehitettiin tiiviissä yhteistyössä johtavien avoimen lähdekoodin tekoälytyökalujen ylläpitäjien kanssa Leanille. Lue raportti ja kokeile sitä: