Модель OpenAI спростувала центральну гіпотезу дискретної геометрії

• OpenAI заявляє, що одна з її внутрішніх моделей міркування побудувала доведення, яке спростовує давню гіпотезу про задачу одиничної відстані на площині.
• Зовнішні математики перевірили результат, а OpenAI подає його як ознаку того, що моделі загального призначення можуть робити оригінальний внесок у передові математичні дослідження.
• У дописі стверджується, що така сама здатність утримувати довгі ланцюги міркувань може бути важливою не лише для математики, а й для науки та інженерії.
• Дослідницькі віхи важливі тоді, коли показують, що моделі можуть не лише переказувати вже відому роботу. Якщо системи ШІ здатні створювати коректні, перевірені експертами доведення для складних відкритих задач, це посилює аргумент на користь їх використання як серйозних дослідницьких партнерів, а не лише інструментів продуктивності.

Чому це важливо