Hacker News Reader

>Why should we be estatic that some signifigant math problem was solved by machine rather of a human being in a language only the machine understands?

Why should I be ecstatic that someone solved a problem using Hilbert Calculus when I can only understand Sequent Calculus? [0]

[0] This is a joke. No 'real' mathematicians do systematic proofs. What gets posted in math journals is the equivalent of architecture diagrams.

View on HN

You shouldn't. Maybe you should learn Hilbert Calculus so you can appreciate it.

It's like asking if what someone wrote a beautiful poem but it's in japanese. Maybe hearing about it motivates me to learn japanese, or maybe it doesn't. But as a non-speaker it makes little impression on me.

If you're writing Japanese poetry instead of solving maths problems expect to get paid Japanese poetry wages.

True. And if you are you solving math problems you should expect prompt engineer wages

Reply on news.ycombinator.com