Математика AI

OpenAI утверждает, что 10 000 ИИ-агентов решили математическую задачу за 1 миллион долларов за 88 часов, что вызывает вопросы о доказательстве, проверке и исследованиях в области ИИ.

ИИ Aletheia от DeepMind совершил прорыв, решив 13 печально сложных задач Эрдёша, продемонстрировав беспрецедентное сотрудничество человека и ИИ в области продвинутых математических исследований.