AlphaProof Nexus на Google DeepMind реши десетки нерешени математически задачи и дори премина рецензиране

Изкуственият интелект на Google Deepmind самостоятелно реши десетки нерешени математически задачи, според ново изследване в Science. AlphaProof Nexus реши девет от 353 нерешени задачи на Erdős, като две от тях са останали нерешени в продължение на 56 години. Екипът публикува тези решения онлайн преди излизането на научната статия.

Освен това AlphaProof Nexus доказа 44 хипотези от базата данни за целочислени редици OEIS, реши нерешен въпрос в алгебричната геометрия и подобри известна граница в минимакс оптимизацията — техника, използвана за обучение на някои модели на изкуствен интелект. Системата е изградена около Gemini 3.1 Pro, който съставя и преработва доказателства на формалния език Lean. Lean проверява всеки вариант след всяка редакция, а съобщенията за грешки насочват следващия опит. За по-трудните подзадачи той може да използва AlphaProof, специализиран инструмент за доказателства. Дори без AlphaProof той е решил деветте задачи на Erdős, съобщава Google Deepmind.

Изследването излиза на фона на разгорещен дебат за изкуствения интелект и математиката. Наскоро OpenAI публикува стотици генерирани от изкуствен интелект доказателства в GitHub, вместо да ги изпрати на научни списания. Асоциацията за човешка математика, ръководена от Terence Tao, призова за бойкот. Deepmind подложи своята работа на научно рецензиране.

Новини за изкуствения интелект без сензация — подбрани от хора

Абонирайте се за THE DECODER и получете четене без реклами, седмичен бюлетин за изкуствения интелект, нашия ексклузивен шест пъти годишно публикуван доклад за новите хоризонти „AI Radar“, пълен достъп до архива и достъп до секцията за коментари.