ПЕКИН – Съвместен изследователски екип разработи система за общ изкуствен интелект (AGI), способна както на автономно предлагане на проблеми, така и на автоматизирано решаване на проблеми, отбелязвайки критичен крайъгълен камък в самостоятелно разработените логически ядра за автоматизирано разсъждение.
По отношение на производителността и функционалното разнообразие системата, TongGeometry, напълно надмина международните показатели, включително AlphaGeometry на DeepMind. Това представлява голяма стъпка напред в математическите изследвания, подпомагани от AI, и локализирането на интелигентното образование.
Проучването, проведено съвместно от Пекинския институт за общ изкуствен интелект (BIGAI), Училището по психологически и когнитивни науки към Пекинския университет, Училището по разузнавателни науки и технологии към Пекинския университет, Института за изкуствен интелект към Пекинския университет и Уханския институт за изкуствен интелект към Пекинския университет, е публикувано в списанието Nature Machine Intelligence на понеделник
Математическите олимпиади отдавна служат като лакмусов тест за способностите на ИИ за логическо разсъждение. В началото на 2024 г. AlphaGeometry на DeepMind направи глобални заглавия, като демонстрира огромния потенциал на AI за решаване на проблеми. Въпреки това, AlphaGeometry е по същество „пасивен решаващ проблем“, чието обучение разчита в голяма степен на широкомащабни синтетични набори от данни и скъпи изчислителни ресурси.
За разлика от това, независимо разработеният TongGeometry показва по-високо измерение на интелигентност. Това не е просто „отличен ученик“, способен да изкара пълни точки, но и „майсторски учител“, способен да създава елегантни и нови математически задачи.
„Идентифицирахме дълбока двойственост в нашето изследване: когато трудността на доказателството на геометрично предложение е много по-висока от сложността на конструкцията му, то притежава „естетическа стойност“ като проблем на ниво олимпиада“, каза Джан Чи, първият автор на статията и изследовател в BIGAI.
„Чрез моделиране на тази двойственост, TongGeometry може точно да улови висококачествени проблеми, които отговарят на естетическите стандарти на човешките математици от огромен набор от пространствени комбинации. Това е глобално първо, представляващо промяна на парадигмата от „имитиращо решаване“ към „автономно създаване“, отбеляза Джан.
TongGeometry ясно подчертава превъзходството на оригиналната местна технология по отношение на производителността. Докато AlphaGeometry изисква масивни изчислителни клъстери, TongGeometry може да реши всички геометрични задачи на Международната математическа олимпиада от 2000 г. нататък за 38 минути или по-малко, като използва само един потребителски графичен процесор.
Неговата ефективност и точност на разсъжденията са достигнали водещи световни нива. Освен това системата използва иновативна нормализирана технология за представяне, за да компресира пространството за търсене с няколко порядъка, като ефективно решава проблема с експлозията на пътя, присъщ на традиционните методи.
„Значението на TongGeometry се крие не само в увеличаването на скоростта на решаване, но и в реализацията на парадигмата „малки данни, голяма задача“ чрез симулиране на интуицията и естетиката на човешките математици“, каза Джу Исин, асистент от Училището по психологически и когнитивни науки в Пекинския университет.
„Този път, който не зависи от масивни етикетирани данни, но се развива чрез вътрешна логика, е ключът към развитието на AGI. Нашата система не само се сравнява с най-напредналия международен AI, но също така води пътя в разбирането на основната естетика на логиката и автономното откриване на научните закони“, каза Жу.
Три нови геометрични задачи, автономно генерирани от системата, бяха официално избрани за Китайската математическа олимпиада през 2024 г. (окръг Пекин).
Този пробив осигурява основна техническа поддръжка за бъдещи постижения в автоматизираните математически доказателства, персонализирано интелигентно образование и разработването на „Научни големи езикови модели“.
В бъдеще съвместният изследователски екип ще продължи да обновява серията „Tong“ от общи модели на интелигентност, карайки китайската AI технология да поеме водеща роля в повече области на сложна логика и научни открития.
Нашия източник е Българо-Китайска Търговско-промишлена палaта