Искусственный интеллект переходит от «обучения математике» к реальному «созданию математики»

GPT-5 впервые прошёл «тест Гёделя» и сумел доказать три крупных гипотезы в области комбинаторной оптимизации, — констатируют исследователи из Университета Хайфы и компании Cisco...