Thread

1. atemerev · 1789909754 · focus · HN ↗

   All of this is accurate (and useful). But yeah, psychics do not prove theorems from frontier math and build working complex software.

   1. Madmallard · 1789913348 · focus · HN ↗

      Neither does LLMs. Not without a monumental amount of human oversight and expertise.

      Everyone not in a particular field asking LLM about said field is rolling bad dice.

      1. atemerev · 1789915251 · focus · HN ↗

         I have published a LLM-assisted proof of a long-standing problem in convex geometry (70 years) while not being a specialist in convex geometry. I am a scientist and I have education and scientific experience in computer science and systems biology, but I was never a mathematician. So, well, you can definitely work across fields at least.

         1. tripledry · 1789915997 · focus · HN ↗

            Do you have a link? I would also be very interested in seeing the prompts, from what I've seen you still need to understand the field, maybe I'm wrong.

Unofficial Hacker News client; not affiliated with Y Combinator.