Математик Теренс Тао закликав переосмислити оцінку прогресу в «Math 2.0»
“Math 2.0” will need to value mathematical progress more holistically
Математик Теренс Тао у публікації на Mathstodon заявив, що з розвитком ІІ-інструментів для математики («Math 2.0») оцінку наукового прогресу варто робити більш цілісною, а не зводити лише до формальних доведень. Публікація набрала понад 245 балів і 194 коментарі на Hacker News. Детальної аргументації автора у джерелі не наведено.
Мовою оригіналу · EN
"Math 2.0" will need to value mathematical progress more holistically.
Читати оригінал на Hacker News (100+ балів) →
Чому в стрічці: Нішева дискусія про ІІ та математичний прогрес — помірний інтерес користувача до науки й AI.