#an ambitious project related to symbolic computation
9 messages · Page 1 of 1 (latest)
https://www.youtube.com/watch?v=qd_lQpOV66Q check out this video. and the technical stuff: https://www.youtube.com/watch?v=6nnzFLsBY3w https://www.youtube.com/watch?v=s445KJRTtoA
written in python. slow enough to never work on more complex problems and just theoritical.
presentation about the concepts involved in the metamathematical python program
Hate the AI part but isn't this just brute forcing stuff?
yep brute-forcing
AI voice part I should say*
had a similar project in mind during HS I added lots of things until integration and differentiation then stopped after that cuz hard
😂