Hacker News

points by stabbles 3 days ago | 0 comments

> In our view, these manuscripts are best understood as a form of raw research data. To convert this raw research data into scientific understanding, in this release we are experimenting with a new approach

Mathematics and computer science are turning into an empirical science

[–] dannykwells 3 days ago

Except that lean verification means that you really need to just verify the lean problem statement right?

[–] 998244353 3 days ago

If all you care about is whether the statement is true, then yes.

But what they're getting at is that we also want to gain an insight of "what is really going on", and it will take time to distill this proof into a theory that gives us a more complete understanding.