User
Странно сейчас читать мартовскую новость. Особенно учитывая что теперь плагины можно делать самим вот так https://writings.stephenwolfram.com/2023/04/instant-plugins-for-chatgpt-introducing-the-wolfram-chatgpt-plugin-kit/
А почему не Lean4?
Математика очень абстрактная штука. А у нейронок пока с абстракциями плохо
Когда стоит цель показать как переписать на rust, то да никого не волнует. А реальный код вполне мог быть неподъёмен для numba
Если бы кто-то тогда знал про AlphaGo...
Странно сейчас читать мартовскую новость. Особенно учитывая что теперь плагины можно делать самим вот так https://writings.stephenwolfram.com/2023/04/instant-plugins-for-chatgpt-introducing-the-wolfram-chatgpt-plugin-kit/
А почему не Lean4?
Математика очень абстрактная штука. А у нейронок пока с абстракциями плохо
Когда стоит цель показать как переписать на rust, то да никого не волнует. А реальный код вполне мог быть неподъёмен для numba
Если бы кто-то тогда знал про AlphaGo...