Post #796

Отрывок из новой статьи Теренса Тао А вот отрывок из сопутствующего блога: Один из аргументов для теоремы 1.4 был предложен мне ChatGPT, так как я ранее не знал о теореме двух констант Неванлинны <> Затем ChatGPT доказал первое из двух утверждений, лежащих в основе теоремы Также для нахождения доказательства теоремы 1.4 через лемму 1.1 использовались AlphaEvolve и ChatGPT Pro Такая вот новая реальность: ChatGPT доказывает утверждения для математика Фактически, это соавторство