Еще одно подтверждение точности и универсальности метафоры «второго пилота», которую Microsoft использует для своих продуктов на основе больших языковых моделей. На этот раз выяснилось, что ChatGPT может работать вторым пилотом и для ученого-математика. Лауреат медали Филдса Теренс Тао не просто написал «GPT-4 has saved me a significant amount of tedious work. I am now looking forward to native integration of AI into the various software tools that I use», но и рассказал, как GPT-4 помогает ему искать разные идеи доказательств, работает с библиографией и вообще разными источниками, умеет заниматься сложным парсингом и т.д. То есть классика: конечно же, GPT-4 не формулирует и не доказывает за Теренса новые теоремы — зато предоставляет ему больше времени этим заниматься. Почти что работает аспирантом… pandaily.com/mathema…-chatgpt