Forwarded from сладко стянул
извините, слишком смешно чтобы не запостить
[ALGTOP-L] A counter-attack
Dear all,
I am a retired mathematician, not dead yet.
I made some contributions to higher category theory.
I have followed closely the discussion on AI on the alg-top list, and I agree that mathematics is presently under attack. Do I need to remind you that mathematicians are not powerless? Mathematics is knowledge, and knowledge is power! A possible line of defense is to counter-attack. The first things would be to gain a bit of power by developing a good mathematical theory of artificial intelligence, especially of LLM. I admit my ignorance of the matter, although I tried to learn it by reading some literature, I have failed miserably, possibly because I am old and lazy, or because the literature on the technology under LLM is largely written by and for engineers. Frankly, I cannot believe that this technology is so complex that it cannot be fitted in a nice readable book using appropriate mathematical abstractions. If there is such a book, please let me know! Otherwise, I hope a generous and competent mathematician will write one; it will be a great service to our community! I dared to predict that once the technology under LLM is mastered by a fair number of mathematicians, it wont take long before they produce ideas for AI that are far better than those currently obtained from a purely engineering approach. And there is nothing wrong in using an AI model in the public domain to discover and to test such ideas. Our contributions to AI will give us some power in the industry, and that power will grow since mathematicians are very creative! Eventually, the industry will depend entirely on our mathematical theories!
I hope I am not just dreaming.
André Joyal
[ALGTOP-L] A counter-attack
Dear all,
I am a retired mathematician, not dead yet.
I made some contributions to higher category theory.
I have followed closely the discussion on AI on the alg-top list, and I agree that mathematics is presently under attack. Do I need to remind you that mathematicians are not powerless? Mathematics is knowledge, and knowledge is power! A possible line of defense is to counter-attack. The first things would be to gain a bit of power by developing a good mathematical theory of artificial intelligence, especially of LLM. I admit my ignorance of the matter, although I tried to learn it by reading some literature, I have failed miserably, possibly because I am old and lazy, or because the literature on the technology under LLM is largely written by and for engineers. Frankly, I cannot believe that this technology is so complex that it cannot be fitted in a nice readable book using appropriate mathematical abstractions. If there is such a book, please let me know! Otherwise, I hope a generous and competent mathematician will write one; it will be a great service to our community! I dared to predict that once the technology under LLM is mastered by a fair number of mathematicians, it wont take long before they produce ideas for AI that are far better than those currently obtained from a purely engineering approach. And there is nothing wrong in using an AI model in the public domain to discover and to test such ideas. Our contributions to AI will give us some power in the industry, and that power will grow since mathematicians are very creative! Eventually, the industry will depend entirely on our mathematical theories!
I hope I am not just dreaming.
André Joyal
❤1
сладко стянул
I have failed miserably, possibly because I am old and lazy
he is just like me gang
😁1
сладко стянул
извините, слишком смешно чтобы не запостить [ALGTOP-L] A counter-attack Dear all, I am a retired mathematician, not dead yet. I made some contributions to higher category theory. I have followed closely the discussion on AI on the alg-top list, and I agree…
вообще этот пост сделал мой день
прочитав это письмо без подписи, подумаешь что автор – ебанутый дед
прочитав это письмо без подписи, подумаешь что автор – ебанутый дед
нравится что новое приложение тиньков маскируется как трекер консервов и презервов.
В любой непонятной ситуация пей чай и делай закатки на зиму.
В любой непонятной ситуация пей чай и делай закатки на зиму.
🙏6🔥2
Empty Name
раньше менты стильные были не то что щас
ставь лайк если скучаешь по московским протестам десятых
вот это вот побегать от ментов в толпе людей, пыпытаться отвоевать чела у ментов так чтобы тебе не ебнули руку дубинкой, сделать фото на фоне автозака, посраться с дедом из секты свидетелей СССР про внешнее управление и ООО РФ, пожать руку Паше Никулинуи Михаилу Светову
было время.
вот это вот побегать от ментов в толпе людей, пыпытаться отвоевать чела у ментов так чтобы тебе не ебнули руку дубинкой, сделать фото на фоне автозака, посраться с дедом из секты свидетелей СССР про внешнее управление и ООО РФ, пожать руку Паше Никулину
было время.
❤8🍌3
узнал про драму вокруг Мотидзуки (как обычно до меня все самое интересное доходит с сильной задержкой, в данном случае с задержкой в минимум половину моей жизни), очень мемно
late night read:
https://www.kurims.kyoto-u.ac.jp/~motizuki/Rpt2018.pdf
https://thehighergeometer.wordpress.com/wp-content/uploads/2018/10/mochizuki_final2.pdf
https://thehighergeometer.wordpress.com/2021/11/22/an-exercise-in-colimits/
https://arxiv.org/pdf/2210.16488
https://nforum.ncatlab.org/discussion/4934
https://mathbabe.org/2015/12/15/notes-on-the-oxford-iut-workshop-by-brian-conrad/
https://ncatlab.org/nlab/files/LANAProject-Report-July2026.pdf
late night read:
https://www.kurims.kyoto-u.ac.jp/~motizuki/Rpt2018.pdf
https://thehighergeometer.wordpress.com/wp-content/uploads/2018/10/mochizuki_final2.pdf
https://thehighergeometer.wordpress.com/2021/11/22/an-exercise-in-colimits/
https://arxiv.org/pdf/2210.16488
https://nforum.ncatlab.org/discussion/4934
https://mathbabe.org/2015/12/15/notes-on-the-oxford-iut-workshop-by-brian-conrad/
https://ncatlab.org/nlab/files/LANAProject-Report-July2026.pdf
Empty Name
я не могу жить в баварии т к у меня постоянно зубы скрипят от того как они охуенно живут
купил вкусный альпийский сыр с сложно-произносимым названием Ländle Räßkäse, решил посмотреть по нему инфу
> High up on the alpine pastures of Vorarlberg, every cow has a name.
tfw когда коровы живут лучше меня.
> High up on the alpine pastures of Vorarlberg, every cow has a name.
tfw когда коровы живут лучше меня.
❤🔥4
так называемый летний фотодамп
Копенгаген, Фишбахау, Кельн 2 раза, Бейрон, Бонн 2 раза, Вюрцбург
Копенгаген, Фишбахау, Кельн 2 раза, Бейрон, Бонн 2 раза, Вюрцбург
❤7