Преместете се, математици, идва AlphaProof
В централата на Гугъл DeepMind, лаборатория за изкуствен интелект в Лондон, откривателите имат дълготраен обред за оповестяване на значими резултати: те удрят огромен параден гонг.
През 2016 година гонгът прозвуча за AlphaGo, ИИ. система, която превъзхожда играта Go. През 2017 година гонгът отекна, когато AlphaZero победи шаха. Във всеки случай логаритъмът побеждаваше човешките международни първенци.
Миналата седмица откривателите на DeepMind още веднъж извадиха гонга, с цел да отпразнуват това, което Алекс Дейвис, началник на математическата самодейност на Гугъл DeepMind, разказан като „ огромен пробив “ в математическите разсъждения от A.I. система. Два модела на Гугъл DeepMind пробваха шанса си с поставения проблем на Международната математическа олимпиада през 2024 година, или I.M.O., извършена от 11 до 22 юли на към 100 благи западно от Лондон в Университета на Бат. Твърди се, че събитието е първ...
Прочетете целия текст »
