• 1 Post
  • 71 Comments
Joined 9 months ago
cake
Cake day: December 30th, 2025

help-circle



  • I believe the cases of ”math problems settled by AI” will slow down. Anthropic probably want some high profile math problem at the same level as Navier-Stokes, but after that I don’t think there will be as much progress.

    They got the publicity stunt they wanted. What more is there to gain? Navier-Stokes costed many millions to settle, and probably was close to being resolved by human mathematicians either way. Who else has anything to gain by spending ridiculous amounts of compute on true/false answers?

    My guess is that the AI companies will focus on finding publicity stunts in other fields. Possibly medicine.















  • Mixed feelings. I’m kind of an AI pilled doomer.

    I see that AI can be a productivity boost - if used correctly in the right places. But I’m also increasingly worried that it might one day replace any work that’s done on a computer (which is most white collar work).

    I’m doing a lot of data processing work. I’ve been able to see AI do all this in one go:

    • Read a vague Jira task item about some data error.
    • Diagnose on real data what the underlying problem might be.
    • Find the line of code that need to be changed.
    • Rerun the data pipeline with the new line of code.
    • Verify on new data that the error has been fixed.
    • Submit a pull request describing the change with a detailed report on impact analysis.

    Is it perfect? No, it’s often making mistakes and digs deep into the wrong rabbit holes. But is it crazy that it has managed to do all of this once? Yes it is. This was unimaginable just a few years ago.

    If this level of automation going to continue in this pace, what’s left for us humans?