Таг

Изкуствен интелект в математиката

Illustration of two bridge arches reaching toward each other but not meeting

AI и обществото · 11 октомври 2026 г.

Математици: Доказателствата от AI на OpenAI все още не отговарят на стандартите в математиката

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

Технологии · 7 август 2026 г.

OpenAI твърди, че необявен модел е решил десет отдавна нерешени математически задачи за около $2000

Подобни твърдения обикновено не могат да се проверят отвън; това идва с доказателства, които всеки може да провери. Идва и в момент, когато математиците спорят дали AI лабораториите трябва да обявяват резултати чрез прессъобщения, вместо чрез рецензия от научната общност (peer review).