magic_lobster_party

  • 0 Posts
  • 9 Comments
Joined 10 months ago
cake
Cake day: March 4th, 2024

help-circle


  • The article is about using computers to discover new conjectures (mathematical statements that are not yet known to be true or false). The conjecture can be then later be formally proven (or disproven) by humans.

    Sounds like a good match for me. Formulating conjectures is about finding an interesting pattern and argue that this pattern holds true. Computers are getting increasingly better at pattern matching, so why not use them?

    Title is a bit clickbaity by calling it AI.






  • Improvements are made all the time. You can’t feed a very large SVM the same data as transformer networks and expect it to perform the same. Transformers are used because they can more easily learn complicated patterns with less data.

    I think I’ve read somewhere that neural networks with only one hidden layer can theoretically predict anything (if the hidden layer is large enough), but an incredible amount of data is required for it to do so, so it’s not practical.

    Over time other models will be discovered that can make better use of the training data.