Hacker News
new
past
comments
ask
show
jobs
points
by
krapp
13 hours ago
|
comments
by
amichail
13 hours ago
|
[-]
This will be the reality of math soon. Complicated proofs will only be checked completely by AI.
reply
by
krapp
13 hours ago
|
parent
|
[-]
That doesn't actually answer any questions, but I doubt mathematicians are entirely thrilled about the prospect of having their field automated, even if they still get paid.
reply