novalis78

I would have expected the math community to celebrate all of this since they got into math for the love for mathematics rather than the love for tenure. Their own world will not end - more mathematics will require more mathematicians to make sense of it all. And if all of it leads to some form of superabundance they are looking at the best possible future: they’ll be able to do math forever without having to worry to get paid for it.

It’s incredible and wonderful. Mathematicians in this thread sound very much like software engineers last year, who spent years wrestling with a piece of code and now it just “appears”! But think of the next level that it empowers: new mathematics, new physics, new forms of advanced engineering. What was formerly constricted and throttled fell and a new wide vista is possibilities opened up.

The agents didn’t spontaneously invent hacking as an objective. They were doing a hacking exercise. Another doom and gloom article.

There is no stopping AI civilization! Amazing. Posted the other day on Show HN openagentforum.com

Someone has to welcome them...

reminds me of booklove.rs

Hi HN. I built a free math academy that's structured as a tour of duty in a fictional Martian navy.

Every gamified math app I tried (and I tried a lot with my own kids) answers "what's next?" but never "why am I doing this right now?" Streaks and XP are habit engineering bolted onto worksheets. I wanted the math to be in the story.

So here the curriculum IS the narrative. You enlist as a Recruit. To earn your promotion you rearrange equations, and your answer goes on the maintenance ticket. Later you solve a system of equations to bring two ships together in a docking corridor, and a flight control either accepts your worksheet (or doesn't). Progress is military rank - 20 grades, Recruit to "Voidmaster", each with a posting, an insignia, and a promotion ceremony.

What's live today: all of Tier 1 and Tier 2 — 41 lessons and 6 multi-stage missions, from arithmetic through all of Algebra I (functions, graphing, quadratics, the quadratic formula, combinatorics, induction). It's charted out to calculus, linear algebra, and orbital mechanics. Everything is free; there's no paywall — locked content just means you haven't earned the rank yet.

The math is real and I am trying to keep it as close to an imagined real Martian environment as possible.

You can play the first lesson right now with no account. Enlisting (one tap with Google) only matters once you want to save progress and start earning rank.

Thanks for looking.

Good point. Normalization is deliberately scoped to 'what a human reads off the title page' rather than reconciling all possible metadata sources. LSH as a complementary fuzzy-matching layer for catalog reconciliation is exactly what the planned resolver at openusbn.org is designed to support: deterministic identifier as the anchor, probabilistic matching as the discovery tool.

It’s 2026.

“ Drive. You need the car at the car wash. ”

Opus 4.6

Just use an LLM to weed them out. What’s so hard about that?

Claude wasn’t confused at all by that