В деня, в който космическа совалка на НАСА минаваше през Лос Анджелис, пропътувайки 12 мили в последното си пътуване до Калифорнийския научен център.

OpenAI е освободил 722 ръкописа, които подробно пълни или частични решения на 372 комплексни математически проблеми, капка от автоматизирани доказателства, че компютърен учен Scott Aaronson е нарекъл Mathocalypse... и това е предизвикало криза в академичните среди. Освобождаването обхваща subfields от теорията на брой до алгебрични геометрия. По-рано AI системи са били насочени към гимназия и олимпиада проблеми; тези машинно генерирани резултати адрес изследователски проблеми, че човешките математиците са оставени отворени в продължение на десетилетия. Много от решенията са били проверени с Lean, автоматизирана система за проверка на доказателства, което е стъпката, която се използва в сметките, за да се каже, че машината мотиви са влезли напреднали теоретични открития. Обемът на освобождаването е започнал отделен аргумент за това колко човешко разбиране е необходимо. Сфери медалист Терънс Тао и Асоциацията за човешка математика са призовани за повишено внимание, отбелязвайки, че като в стотици машини-писани доказателства поставя нов товар върху изследователите. Критиците казват, че пускането на големи групи от резултати, преди те да бъдат абсорбирани рискове превръщането на математиката в механично упражнение, отделено от човешката интуиция, и че областта все още трябва да реши дали напредък означава намиране на отговори или разбиране на тях. Наука и факти

В деня, в който космическа совалка на НАСА минаваше през Лос Анджелис, пропътувайки 12 мили в последното си пътуване до Калифорнийския научен център.

Коментари

Свързани новини