Теренс Тао: «Мы вступаем в эпоху изобилия доказательств»
· Наука · в лекции «Math 2.0» в Калтехе — о том, что ИИ сделал с математикой
оригинал
“As a consequence of this massive investment, we are now entering an era of proof abundance in mathematics. […] Further blind optimization of problem-solving alone is now actively harmful to the long-term health of mathematics.”— Теренс Тао, Caltech, «Math 2.0», 09.10.2026 ↗
перевод
«Вследствие этих огромных вложений мы вступаем в эпоху изобилия доказательств в математике. […] Дальнейшая слепая оптимизация одного лишь решения задач теперь прямо вредит долгосрочному здоровью математики.»
проверка
✓ сверено с первоисточником
Оригинал приводится дословно и только фрагментом — ровно столько, сколько нужно для смысла; «[…]» — пропуск. Перевод наш.
¶ cacw8rarw