Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Sharing AI progress in mathematics. Parent comment
If the proofs work thennwe can put them to work doing more things.
It is not particularly important that Einstein discovered relativity, just that it was discovered (Maxwell was very close).
There are no comments on this comment yet.
If the proofs work thennwe can put them to work doing more things.
It is not particularly important that Einstein discovered relativity, just that it was discovered (Maxwell was very close).