Python Backend UA

Зрозумів твою позицію. Внесок системи описуємо в методах, авторство залишається людям. Я поки не почув чому саме, окрім того що так це визначено зараз, але думаю на цьому можемо зупинитись)

так ,я не розумію що помінялося, окрім того що у деяких людей є емоційна прив'язка до методу вирішення проблем.

я можу спробувати знайти саме по автоматичному доведенню теорем чи чомусь такому дослідження.

ти вважєш що це "рішення", я важаю що це механізм

Мені вже не цікаво

тому що терміни важливі

якщо тобі не важливо, але чомусь авторство тобі важливо

https://www21.in.tum.de/~blanchet/iwil2010-sledgehammer.pdf ось тут система генерує доведення.

так це не принципова новизна, ну у тебе пошук пріорітетних варіантів для обробки помінявся, а ти кажеш що це прямо потребує зміни соціальних норм по назві і всьому.

якщо взяти HPC то там би брутфорсом це робили, просто грошей на брутфорс теорем ніхто не давав

я не бачу мотивації робити механізм частиною групи людей які створили щось.

і що? це автоматичний пошук гіпотез, що тут нового окрім конкретного метода пошуку гіпотез.

це не єдини новий метод

Сорі але ти не чуєш мене Давай на цьому все

валідувати це все людям. наукове дослідження не буває без валідації автора + без валідації інших людей. навіть якщо прибрати "автора", типу це секретарка ввела задачу, то без валідації вчених це не буде прийнято в блок наукових знань. я не бачу хто із вчених прийме знання на віру просто так без самостійної валідації

Боже ви так чат засрали що навіть місцевий адмін з'їбався в Синдикат

Чат вже вільний