Az AI világában ismét nagyot lépett előre a kínai DeepSeek startup, amely nemrég dobta piacra új, nyílt forráskódú Math-V2 modelljét. Ez a mesterséges intelligencia kifejezetten a magas szintű matematikai következtetésekre és formális bizonyításokra lett tervezve, és a szakértők szerint komoly kihívója lehet az olyan nagy neveknek, mint az OpenAI vagy a Google. A Math-V2 nem csupán helyes válaszokat ad, hanem lépésről lépésre képes kidolgozni és önmagát ellenőrizni a matematikai bizonyítások során, így új szintre emeli a mesterséges intelligencia képességeit a matematika területén. A DeepSeek Math-V2 modell újdonságai és működése A DeepSeek Math-V2 modell két kulcsfontosságú komponensből áll: egy tétel-generátorból és egy ellenőrző egységből. A tétel-generátor képes formális matematikai bizonyításokat létrehozni,…