Harmonic AI získala 120 milionů dolarů při ocenění 1,45 miliardy dolarů na rozvoj matematického uvažování
Startup Harmonic AI, specializující se na formální matematické uvažování pomocí umělé inteligence, získal 120 milionů dolarů při ocenění 1,45 miliardy dolarů. Cílem je urychlit vývoj modelu schopného bezchybného matematického odvozování.
|