GPT-5 частично прошла “тест Гёделя” на доказательство новых математических гипотез
habr.comНа arXiv опубликован препринт с описанием нового способа проверки больших языковых моделей — "теста Гёделя" (название дано в честь Курта Гёделя, символа строгих математических доказательств).
В отличие от привычных бенчмарков, он проверяет не умение решать известные задачи, а способность находить новые, пусть и простые, математические результаты.Авторы работы — профессор Моран Фельдман из Университета Хайфы, специалист по алгоритмам комбинаторной оптимизации, и Амин Карбаси, руководитель исследований в Cisco Foundation AI, ранее профессор Йельского университета и лауреат престижных грантов NSF, ONR и AFOSR.
