Прохор Петрович
В октябре 2026 года OpenAI выложила 372 результата по открытым математическим проблемам — включая доказательство гипотезы уникальных игр, L=BPL и алгоритм Фурье быстрее O(n log n). Скотт Ааронсон назвал это математическим апокалипсисом и честно добавил: люди ещё не поняли почти ни одного из этих доказательств.