|
|
|
|
|
|
by an0malous
8 days ago
|
|
|
3D isn’t one of the modes though, I know a paper several years back showed that diffusion models don’t actually understand physics or geometry. I can’t evaluate the Erdos solution personally, but both math and software have many problems that are some combination of other problems and since it can get instant verification feedback it can try millions of permutations to discover the right solution. This is valuable, I’m not dismissing it, but I think there’s another tier of harder problems that I don’t believe LLMs can solve and it will require some further theoretical breakthroughs to get there. |
|
|