Пост канала N + 1

Точность и строгость, как и творческий поиск, — не самые сильные стороны языковых моделей, так что исследовательская математика не для них. Точнее, так было до недавнего времени: второкурсник Кевин Баррету придумал, как устранить эти недостатки. С его подачи ChatGPT и другие общедоступные чат-боты за первые месяцы 2026 года решили несколько математических задач, которые десятилетиями оставались открытыми — от скромных и несложных до одной по-настоящему известной. Компании-разработчики стараются впечатлить математиков успехами и производительностью своих моделей. И математики постепенно впечатляются, но чувства по этому поводу испытывают неоднозначные. Рассказываем о математических успехах и неудачах искусственного интеллекта, о формализации доказательств теорем и о том, при чём тут Пал Эрдёш #Математика | *3.3