Сравнивались суперфоркастеры, доменные эксперты, не-доменные эксперты и X-риск генералисты
Суперфоркастеры и доменные эксперты сильно превзошли образованную публику, и в целом равны между собой
Также продемонстрирована wisdom of crowds, когда агрегированное мнение лучше одиночных
Интересно про прогресс в AI, он недооценены, особенно суперфоркастерами
Самый большой сюрприз на международной математической олимпиаде (IMO), которую тут недавно все анонсировали, здесь медиана предсказателей была 2030-2035
Прогресс в климатических технологиях наоборот переоценен
Нашёл здесь
Сам репорт тут:
First Wave Forecasting Accuracy Results from the Existential Risk Persuasion Tournament
https://forecastingresearch.org/near-term-xpt-accuracy
Отдельно интересно приложение A5.1 Distributions for AI-Related Questions
Суперфоркастеры и доменные эксперты сильно превзошли образованную публику, и в целом равны между собой
Также продемонстрирована wisdom of crowds, когда агрегированное мнение лучше одиночных
Интересно про прогресс в AI, он недооценены, особенно суперфоркастерами
Самый большой сюрприз на международной математической олимпиаде (IMO), которую тут недавно все анонсировали, здесь медиана предсказателей была 2030-2035
Прогресс в климатических технологиях наоборот переоценен
Нашёл здесь
Сам репорт тут:
First Wave Forecasting Accuracy Results from the Existential Risk Persuasion Tournament
https://forecastingresearch.org/near-term-xpt-accuracy
Отдельно интересно приложение A5.1 Distributions for AI-Related Questions
Существуют математические теоремы, которые в настоящее время имеют только „внешние“ решения, потому что они остаются все еще слишком сложными для конструктивного понимания
Примерами их являются некоторые случаи так называемого доказательства от противного, непрямого доказательства, в котором используется принцип исключенного третьего, показывающий, что принятие противоположной посылки невозможно, поскольку оно ведет к противоречию
Но такое доказательство не позволяет понять, как конструктивно достигается позитивное решение (Брауэр презрительно называл такие непрямые доказательства „позвоночным мышлением“)
Насколько обоснованно требование не признавать результаты, _которые могут быть получены только таким способом_
Существует огромное различие между осмысленным решением, основанным на понимании сущности задачи, и решением, совершаемым посредством внешних действий
Примерами их являются некоторые случаи так называемого доказательства от противного, непрямого доказательства, в котором используется принцип исключенного третьего, показывающий, что принятие противоположной посылки невозможно, поскольку оно ведет к противоречию
Но такое доказательство не позволяет понять, как конструктивно достигается позитивное решение (Брауэр презрительно называл такие непрямые доказательства „позвоночным мышлением“)
Насколько обоснованно требование не признавать результаты, _которые могут быть получены только таким способом_
Существует огромное различие между осмысленным решением, основанным на понимании сущности задачи, и решением, совершаемым посредством внешних действий