Тут рассказывают про язык Lean
https://www.youtube.com/watch?v=PGeK13-Tkis
Post #28
1.25K
ProverCoderAI Прикол Тут человек рассказывает буквально всё то про что я топлю Говорит, что язык "verse" будет мультипарадигменный с упором на функциональщину То что если компилятор говорит что код работает значит он и правду должен работать Упоминал он так же AI и говорил…YouTube Теренс Тао о будущем ИИ в математике | Теренс Тао и Лекс Фридман Полное видео: https://youtube.com/watch?v=HUkBz-cdB-k Лекс Фридман Подкаст на русском (плейлист): https://youtube.com/playlist?list=PLrAXtmErZgOeC91rGIZCJ5uGb3DvD1Ijf *БИОГРАФИЯ ГОСТЯ:* Теренс Тао широко признан одним из величайших математиков в истории.…
- 👍 3