Post #341
4.04K
Профессор Яу занялся созданием нового математического журнала, который будет принимать только статьи с доказательствами, полученными при помощи ИИ и впоследствии проверенными человеком.
- 👍 55
- 👎 9
- Sep 15, 2026Математики призвали остановить Мататон — соревнование по решению задач с помощью ИИ Коалиц…
- Sep 12, 2026Декларация о расхождении целей разработчиков ИИ и математического сообщества (2/2) https:/…
- Sep 12, 2026Декларация о расхождении целей разработчиков ИИ и математического сообщества (1/2) https:/…
- Sep 12, 2026Задача об SL_2 = E_2 Для любого кольца R можно построить 2 матричные группы: 1. SL_N(R) --…
- Sep 11, 2026Возникло сообщество математиков, выступающих за науку без ИИ The Association for Human Mat…
- Sep 9, 2026photo post