OpenAI выпустила 700 математических рукописей, созданных ИИ
Who Taught the Machines Mathematics?
6 октября OpenAI опубликовала более 700 математических рукописей, сгенерированных внутренней ИИ-системой, некоторые с формальными доказательствами на Lean. Автор, бывший председатель программного комитета FOCS, сравнивает это с «посылкой с Марса» и размышляет о том, как машинное производство доказательств подрывает традиционные механизмы доверия в математике, перегружает способность сообщества к проверке и превращает неявное знание, передаваемое из поколения в поколение, в проприетарный актив.
Многое из того, что мы не умели ценить в своей профессии, теперь может оказаться среди самого ценного для компаний, создающих машины для занятия математикой.