Една камера. После две, после три, после по-добри сензори. Пътуването на iPhone камера от 5MP до 48MP. Наука и факти

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

Една камера. После две, после три, после по-добри сензори. Пътуването на iPhone камера от 5MP до 48MP. Наука и факти

Коментари

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