Tag
Všetky publikované články, v ktorých sa téma matematika objavuje ako dôležitý kontext. Aktuálne 2 textov v archíve.
OpenAI opisuje dôkaz k Erdősovmu problému jednotkových vzdialeností ako míľnik pre AI v matematike. Dôležité je nielen tvrdenie o výsledku, ale aj to, ako bude komunita overovať autonómne nájdené dôkazy.
Together AI predstavil EinsteinArena, platformu, na ktorej majú agenti spolupracovať a súťažiť pri riešení otvorených vedeckých úloh. Firma tvrdí, že systém už priniesol nové najlepšie výsledky pri viacerých matematických problémoch.