Какви са границите на AI математика?
Писателят е научен космолог в Университета в Кеймбридж и шеф на AI Center Infosys-Cambridge AI
Математиката, която един път се допуска, че е относително безвредна от входящата джунгерна автоматизация. Чатботите може да могат да генерират текст, код и изображения при поискване, само че дълбоките разсъждения, нужни за математиката, сякаш са били недостъпни. Следователно златните медали, които Openai и Deepmind реализираха на Международната математическа олимпиада, по тази причина оставиха преподаватели по математика като мен, които се усещат ненадейно малко по -не толкоз безвредни.
Предстои ли да направи математическите доказателства какво прави към този момент за кодирането? В последна сметка двамата имат ясни прилики: и двете са мощно структурирани „ езици “ с ясни конвенции и лимитирани „ речници “. И двамата имат огромни корпорации от образци, върху които AI може да бъде подготвен с известни решения.
И въпреки всичко, до момента в който резултатите от авангардни модели AI Maths са впечатляващ...
Прочетете целия текст »
