If models are able to pull and join information that already existed in pieces but humankind never discovered by itself, doesn’t this count towards progress anyways?
It would be very helpful to know in understanding the capabilities of the models; and in getting intuition about where they are best applicable.
If the reason it was able to output the proof is that it happened to be included in an in-house university report written in Georgian, then that would make it less useful for research than if it's new entirely.
It would be very helpful to know in understanding the capabilities of the models; and in getting intuition about where they are best applicable.
If the reason it was able to output the proof is that it happened to be included in an in-house university report written in Georgian, then that would make it less useful for research than if it's new entirely.