Казалось бы, математика — это последний бастион человеческого разума. Здесь царит строгая логика, здесь нет места случайностям, а любое утверждение требует железобетонного доказательства. Мы привыкли думать: компьютер — это просто очень быстрый калькулятор. Он может перемножать миллиарды, но он не может творить. Он не может озаряться идеями. Но то, что произошло недавно в мире высоких технологий, заставило седовласых профессоров схватиться за сердце, а программистов — нервно курить в сторонке. Искусственный интеллект решил сложнейшую математическую задачу...