first proof

Проект First Proof дал первые результаты… только вот они оказались неутешительными. Математики получили первые официальные результаты проекта First Proof - проверки, которая показывает, как ИИ справляется с задачами из реальных математических исследований. Впечатления у проверяющих...