Математики заявили про загрозу відкритим дослідженням через конкуренцію AI-лабораторій
Двадцять п’ять провідних математиків підписали відкритий лист, у якому заявили, що конкуренція лабораторій штучного інтелекту за розв’язання відомих математичних проблем загрожує їхній інтелектуальній роботі. Кожен із підписантів є лауреатом медалі Філдса — однієї з найпрестижніших нагород у математиці, повідомляє TechCrunch.
Побоювання щодо авторства
Автори листа вважають, що результати, отримані за допомогою AI, можуть бути корисними для людства лише тоді, коли математична спільнота зможе їх зрозуміти та пояснити, а згодом — донести до ширшого суспільства. На їхню думку, такі розв’язання нерідко оголошують поспіхом, не залишаючи часу на належний виклад, виокремлення нових методів та ідей, а також посилання на попередні роботи інших дослідників.
У листі порушено питання авторства та можливого плагіату. Математики зазначили, що ідеї, запропоновані AI, не зможуть повноцінно увійти до математичного канону без фахівців, які розвиватимуть і інтегруватимуть їх у наукову роботу. Вони також наголосили, що без такої роботи може бути втрачений важливий людський зв’язок у передаванні математичних знань.
Більше актуальних новин читайте у Telegram-каналі UA.News.
Заяви щодо OpenAI
Професор Нью-Йоркського університету Трістан Бакмастер цього тижня звинуватив OpenAI у тиску, щоб він не зазначав внесок співпрацівника, який працює в Anthropic, у розв’язання важливої математичної задачі. Бакмастер також припустив, що компанія могла використати їхню роботу з Codex для створення власного проривного доведення протягом марафонських вихідних із використанням інференсу. Доведення OpenAI, про яке йдеться, досі не перевірене.
У четвер OpenAI відкликала спонсорство математичного заходу в Каліфорнійському технологічному інституті після критики з боку дослідників цього університету. Частина математиків також висловлює занепокоєння, що їхнє використання Codex могло бути використане в нових моделях OpenAI. За оцінкою авторів матеріалу, якщо передові AI-лабораторії бачать перспективний шлях до відкриття, вони можуть витрачати десятки мільйонів доларів на використання великих мовних моделей, щоб випередити дослідників у створенні доведення. Така динаміка, на думку математиків, може заохочувати до закритості замість відкритого обміну результатами.
Новий лист продовжує дискусію, розпочату Лейденською декларацією, яку робоча група математиків оприлюднила в червні. У документі також розглядали, як доведення, створені великими мовними моделями, можуть змінити роботу математиків, і запропонували рекомендації для науковців, установ та політиків.
