3 ms·

thanks for the input. indeed very kind of you to take the time. I guess it cannot be fixed then? actually the whole idea is to solve it with AI solely as an exp

thanks for the input. indeed very kind of you to take the time. I guess it cannot be fixed then? actually the whole idea is to solve it with AI solely as an experiment. and of course human feedback is allowed. so since that was outlined clearly i am not piping nonsense to the crowd. like a turing test maybe...congrats, you passed ;) but i did take it offline since there is no value...

DoctorOetker 2y ago
Oh, I certainly believe deep learning can solve mathematical problems at rates much higher than humans. But that would require using formal verifiers like metamath in the training loop. https://us.metamath.org/ https://us.metamath.org/ BTW if you found the experience slightly embarassing, get acquainted with metamath, and its interactive prover "mmj2", and the "set.mm" database. everything you prove in mmj2 is guaranteed to be correct (as long as you dont add axioms)
- Circled 2y ago
  thanks again for your time and the links. that is the best way to learn. i try not to be embarrassed in general. what is the point? however, i do see value in harsh non-sugar coded feedback.
- thomas112 2y ago
  [dead]
- thomas112 2y ago
  [dead]
nujsii 2y ago
[flagged]
- Circled 2y ago
  not sure what is the link here. you seem to enjoy showing your intelligence. that is ok. if you create value in the world like that, you are doing the right thing