(no subject)
Mar. 6th, 2026 07:24 pm![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
leblon Хотел тут написать про науку, но это мало кому интересно. Напишу лучше про околонаучную тему. У меня недавно новый аспирант появился. И вот думаю, стоит ли вообще аспирантов брать. Я ему задал доказать некоторое утверждение. После двух недель мучений он выдал нечто, написанное ИИ агентом. Оно не то что бы совсем неправильное, но и не совсем правильное. И проколы можно заметить невооруженным глазом. Причем аспирант неглупый, но искушение загнать в ИИ агент очень сильное. А проверить результат, видимо, поленился. И я чувствую, что нынешнее поколение сразу будет задачу в ИИ агент запихивать. Но я это и сам сделать могу. Зачем мне тогда аспиранты? А что будет через 10 лет? Наука превратится в чтение скрижалей, написанных ИИ агентами?
(no subject)
Date: 2026-03-07 03:57 am (UTC)Terence Tao actively uses AI tools to assist with mathematical proofs and research, utilizing them as a "powerful assistant" to handle tedious computations, draft, and explore problems.
He uses AI for coding, checking, and finding errors in mathematical arguments, often employing formal verification tools like Lean to ensure accuracy.
(no subject)
Date: 2026-03-07 04:01 am (UTC)(no subject)
Date: 2026-03-07 04:33 am (UTC)(no subject)
Date: 2026-03-07 11:11 am (UTC)(no subject)
Date: 2026-03-07 11:27 am (UTC)Заставил его писать код численного расчета, аналитический расчет и latex note по структуре кода с аналитикой и выкладками в некоторой новой для меня задаче. С одной стороны, сам я бы такой код просто не стал бы писать уже, так как это были бы недели моей работы, а у студентов заняло бы полгода-год. С другой стороны, через неделю или быстрее этот latex note превращается в слабоструктурированный документ на 30+ страниц , содержание которого я понимаю только «в целом», без деталей. При этом в контекст самого Claude документ уже тоже начинает плохо влезать, то есть он сам себя уже перестает понимать. В результате вместо продвижения все это быстро заходит в тупик — дальше, чем на определенной расстояние от последней «ручной» точки Клодом не пробиться. Суммарная экономия времени поэтому в новой предметной области в итоге часто отсутствует, наоборот, большой риск зайти в тупик.
В итоге приходится себя силой заставлять переделывать выкладки вручную и избегать искушения попросить машину.Для студентов это по-моему совсем тяжело и требует совсем исключительной мотивации . Если этой мотивации не хватает, видимо надо выгонять студентов сразу.
Как эффективно продвигаться на длинное расстояние с использованием агентов, так чтобы в итоге получалось радикально быстрее, чем без них, я пока не понял. Видимо нужно короткими перебежками, но сильно много этим не сэкономишь.
(no subject)
Date: 2026-03-07 11:45 am (UTC)(no subject)
Date: 2026-03-07 12:07 pm (UTC)Совсем на днях некоторый студент, не совсем мой, а коллег, сделал численный расчет и спросил, как его объяснить. Ну, что-то общее я посоветовал, но уже вечером он сам прислал текст — типа все решил с помощью ИИ. Там конечное утверждение правильное, так как ИИ явно подгонял под численный ответ, а уже в первом предложении делается ниоткуда не следующая гипотеза, которую надо доказывать . Студент честно пишет, что спросил у ИИ, и что прочитал это и выглядит правдоподобно. Но толку- то. Ощущение, что если человек не научился решать задачи сам, в век до ИИ, и сам понимать, что значит решенная и понятая задача, то в нынешний век шансов научиться будет совсем мало.
(no subject)
Date: 2026-03-07 12:13 pm (UTC)(no subject)
Date: 2026-03-07 01:07 pm (UTC)(no subject)
Date: 2026-03-07 02:05 pm (UTC)(no subject)
Date: 2026-03-07 07:37 pm (UTC)а вот для этого есть formal verification tools. они специально как раз и создавались, чтобы формально все проверить. и доказать, что доказательство правильное. не правда ли ?
(no subject)
Date: 2026-03-07 07:39 pm (UTC)(no subject)
Date: 2026-03-07 07:40 pm (UTC)а зачем тренировать человека? с какой целью?
мы уже знаем, что он все будет делать и медленнее и хуже. с ошибками и так далее. и тупее. как представитель низшего интеллекта
ну вот собаку например можно надрессировать делать простейшие вычисления, гав гав, 2+3 и т.д. но зачем это делать?
(no subject)
Date: 2026-03-07 07:46 pm (UTC)т.е. это очень похоже на математику
а физики вообще не затрудняют себя доказательствами. это им никак не помогает жить. аппроксимация может быть с самого начала неверной. например разложить все в ряд по величине, которая на самом деле очень большая и ряд расходится. физиков такие мелочи никогда не останавливали. или сделать вычисления в размерности D=4-epsilon где все удалось, а epsilon типа маленькая величина. а потом хуйнуть сразу на D=3, т.е. espilon=1. и спокойно получить Nobel prize
(no subject)
Date: 2026-03-07 08:25 pm (UTC)Назад на пальмы, обезьяны!
(no subject)
Date: 2026-03-07 08:31 pm (UTC)(no subject)
Date: 2026-03-07 08:35 pm (UTC)ну и так далее. если мне что-то надо сделать, я просто голосом скажу в компьютер и он все сделает. это один вариант. а другой конечно это засесь самому при лучине и макать перья в чернила и вычислять все самому. "в уме"
(no subject)
Date: 2026-03-07 09:56 pm (UTC)