> operate completely generally as knowledge creation engines: solving math proofs, designing drugs, etc. Any example of that? So far I haven't seen any but may

> operate completely generally as knowledge creation engines: solving math proofs, designing drugs, etc. Any example of that? So far I haven't seen any but maybe I'm looking at the wrong places. I've see a lot of : - "solving" math proofs that were properly formalized, with often numerous documented past attempts, re-verified by proper mathematicians, without necessarily any interesting results - haven't seen any designed trust, most I've seen was (again with entire teams of experts behind) finding slight optimizations Basically all outputs I've seen so far have been both following existing trends (basically low hanging fruits without any paradigm shift) and never ever alone but rather as search supports for teams of World class experts. None of these that would quality IMHO as knowledge creation. Whenever such results were published the publication seemed mostly to be promotion about the workflow itself more than the actual results. DeepMind seems to be the prime example for that. PS: for the epistemological distinction you can see a few past comments of mine (e.g. https://news.ycombinator.com/item?id=47011884 https://news.ycombinator.com/item?id=47011884 )