гипотезу в комбинаторной геометрии, позволяют предположить, что ИИ способен справляться с задачами, которые ранее считались исключительно человеческими. Ассистенты доказательств, такие как Isabelle, Lean и Rocq, в сочетании с большими языковыми моделями, автоматизируют формализацию. На Гейдельбергском форуме лауреатов обсуждался потенциал ИИ заменить математиков: некоторые, например Янг-Хуэй Хэ, представляют людей как «жрецов у оракулов», тогда как другие, включая лауреата Филдсовской премии Акшая Венкатеша и Майю Фрейзер, подчеркивают человекоцентричную ценность понимания и красоту коллективного интеллекта. Теренс Тао выступает за совместные подходы, где люди и ИИ работают вместе.