Allie K. Miller

@alliekmiller

Not enough people give their AI systems goals. I don’t mean task-specific goals (ex: make this newsletter draft under 500 words). I mean big North Star goals (ex: I want to own a dog in the next year). If AI is going to be a proactive support system, make it support you in the right direction.
打开原帖#511482
  1. Industry

    Rohan Paul: – https://arxiv.org/abs/2610.08144 Title: "Navier-Stokes lost in tran…
  2. Industry

    Rohan Paul: A new paper shows that when AI translates a math proof into Lean, pas…
  3. Industry

    Rohan Paul: Emad Mostaque: AI models "have pretty much reached the efficiency of…