Google реши да пренапише езика на Вселената. ИИ се заема с „обновяване“ на фундаменталната математика

Изкуственият интелект официално стана съавтор на математически открития.

Изследователското подразделение DeepMind на Google обяви началото на мащабната инициатива AI for Math, която обединява водещите световни научни центрове за съвместна работа по математически открития с помощта на изкуствен интелект. Целта на проекта е да се създадат инструменти и методи, които да помогнат за ускоряване развитието на фундаменталната математика и да открият нови области на изследване.

От физичните закони и биологичните структури до компютърните алгоритми, математиката остава основният език за описване на структурата на Вселената. През вековете нейното развитие е зависело единствено от човешката интуиция и логика, но сега DeepMind има за цел да превърне изкуствения интелект в съавтор на математическите открития, превръщайки го в партньор, способен да подобри творческото мислене на изследователите.

Инициативата включва пет от най-големите академични институции в света: Импириъл Колидж Лондон, Института за напреднали изследвания в Принстън, Френския институт за висши научни изследвания (IHES), Института „Саймънс“ към Калифорнийския университет в Бъркли и индийския Институт за фундаментални изследвания „Тата“. Целта на съвместната работа е да се идентифицират нови проблеми, които са най-обещаващи за анализ от ИИ, и да се изгради инфраструктура, която може да ускори търсенето на решения и да подобри ефективността на научния процес.

Проектът е подкрепен от Google.org и DeepMind, които предоставиха не само финансиране, но и достъп до най-новите разработки на компанията: усъвършенствания режим за логическо мислене Gemini Deep Think, агента AlphaEvolve за автоматично откриване на алгоритми и системата за формални доказателства AlphaProof. Всички тези инструменти образуват взаимосвързана система, в която резултатите от фундаменталните изследвания ще окажат пряко влияние върху разработването на самите модели на изкуствения интелект, а те от своя страна ще повлияят на математическата теория.

Стартирането на програмата съвпада с момент на бързо нарастване на изчислителните и аналитичните възможности на изкуствения интелект. Така през 2024 г. системите AlphaGeometry и AlphaProof ще покажат ниво, сравнимо със сребърния медал на Международната математическа олимпиада (ММО). Година по-късно актуализираният модел Gemini с режим Deep Think постигна „златен“ резултат, решавайки пет от шестте задачи на олимпиадата и получавайки 35 точки.

Друга тенденция, AlphaEvolve, беше приложена към повече от петдесет отворени задачи в областта на анализа, геометрията, комбинаториката и теорията на числата. В двадесет процента от случаите тя подобри съществуващите резултати, а също така предложи нов, по-ефективен метод за умножение на матрици – една от ключовите операции в изчислителната математика. За матрици 4×4 AlphaEvolve успя да намери метод, използващ само 48 скаларни умножения, с което подобри рекорда, поставен през 1969 г. от алгоритъма на Страсен. Системата също така помогна за откриването на нови математически структури, потвърждавайки, че редица сложни проблеми са изчислително още по-трудни, отколкото се смяташе досега. Това даде възможност да се определят по-точно границите на изчислимостта и да се очертаят пътищата за по-нататъшни изследвания в областта на информатиката.

DeepMind отбелязва, че бързият напредък през последните години показва потенциала на изкуствения интелект не само като инструмент, но и като активен участник в научните изследвания. Компанията се надява, че инициативата AI for Math ще създаде основата за нова ера на математически открития, в която човешката интуиция и машинното мислене ще се допълват взаимно, ускорявайки разбирането на фундаменталните закони на природата.