AI и обществото · 11 октомври 2026 г.
Математици: Доказателствата от AI на OpenAI все още не отговарят на стандартите в математиката
Еднократното публикуване в GitHub на машинно създадени математически доказателства повдигна въпрос, около който общността отдавна се върти: когато изкуствен интелект генерира изглеждащо вярно доказателство, което никой човек не разбира, това зачита ли се за математика? OpenAI казва „да“. Нова консултативна група към Принстън обаче заявява: не и по този начин.