Hacker News: boinkboink78912https://news.ycombinator.com/user?id=boinkboink78912Hacker News RSShttps://hnrss.org/hnrss v2.1.1Sat, 25 Jul 2026 23:03:19 +0000<![CDATA[New comment by boinkboink78912 in "The Dark Night of Mathematics"]]>> seem to be unaware that super intelligence means humans are obsolete.

oh they are very much aware lol

]]>Sat, 25 Jul 2026 17:58:08 +0000https://news.ycombinator.com/item?id=49049934boinkboink78912https://news.ycombinator.com/item?id=49049934https://news.ycombinator.com/item?id=49049934<![CDATA[New comment by boinkboink78912 in "The Dark Night of Mathematics"]]>This is a genie that does far more than tell you whether something is true or false though.

]]>Sat, 25 Jul 2026 17:56:17 +0000https://news.ycombinator.com/item?id=49049920boinkboink78912https://news.ycombinator.com/item?id=49049920https://news.ycombinator.com/item?id=49049920<![CDATA[New comment by boinkboink78912 in "The Dark Night of Mathematics"]]>I meant all of humanity, not just the author. We, as humans, have collectively made our beds. It's time to sleep in them.

]]>Sat, 25 Jul 2026 17:51:55 +0000https://news.ycombinator.com/item?id=49049873boinkboink78912https://news.ycombinator.com/item?id=49049873https://news.ycombinator.com/item?id=49049873<![CDATA[New comment by boinkboink78912 in "The Dark Night of Mathematics"]]>The idea of ordering theorems like doordash is funny, kudos to the author for that :-)

Anyway, your "spiritual journey" doesn't matter. We'll automate mathematics because we can, because it's useful. Don't like it? Well, should have not chosen a capitalist economic system that rewards scientific progress so much.

]]>Sat, 25 Jul 2026 17:22:56 +0000https://news.ycombinator.com/item?id=49049552boinkboink78912https://news.ycombinator.com/item?id=49049552https://news.ycombinator.com/item?id=49049552