Rowan Cheung

@rowancheung

The full workflow and prompt that I posted on The Rundown's Community Workflow Hub: https://app.therundown.ai/community/posts/2634f78f-4c06-4c59-968a-41e138d740f8
打开原帖#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…