|
|
|
|
|
|
by aleksiy123
20 days ago
|
|
|
I guess it depends on what your definition of truly substantial is. With the right objective function and enough compute I think you can definitely make progress. A lot of problems can be framed as search. I think some of these proofs coming out is a good example of this. |
|
|