logoalt Hacker News

whiplash451today at 7:55 AM1 replyview on HN

To some extent, does it matter?

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?


Replies

fuglede_today at 8:43 AM

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.