6 ms·

You can tell an agentic system. "Go and find a novel area of math that has unresolved answers and solve it mathematically with verified properties in LEAN. Veri

You can tell an agentic system. "Go and find a novel area of math that has unresolved answers and solve it mathematically with verified properties in LEAN. Verify before you start working on a problem that no one has solved this area of math" That's not creative prompt. That's a driving prompt to get it to start its engine. You could do that nowadays and while it may spend $1,000 to $100,000 worth of tokens. It will create something humans haven't done before as long as you set it up with all its tool calls/permissions.

awesome_dude 4mo ago
Let me know when the Fields medal arrives in the mail. It won't because even though it looks clever to you, people who /do/ understand math and LLMs understand that LLMs /are/ regurgitating Why does your LLM need you to tell it to look in the first place? Why isn't just telling us all the answers to unsolved conjectures known and unknown? Why isn't the LLM just telling us all the answers to all the problems we are facing? Why isn't the LLM telling us, step by step with zero error, how to build the machine that can answer the ultimate question?
- astrange 4mo ago
  Here's a Fields Medalist commenting who doesn't seem to believe that. https://x.com/wtgowers/status/2057175727271800912 https://x.com/wtgowers/status/2057175727271800912
  - awesome_dude 4mo ago
    Um - all I see is > Timothy Gowers @wtgowers > @wtgowers > If you are a mathematician, then you may want to make sure you are sitting down before reading further. If your refutation requires someone to have an account, login, and read something - it's meaningless
    - defrost 4mo ago
      Try https://xcancel.com/wtgowers/status/2057175727271800912 https://xcancel.com/wtgowers/status/2057175727271800912 it's readable to most, it's annoying having to swamp through ex-Twitter .. but there are work around's.
      - awesome_dude 4mo ago
        Thanks - I'll read that and the above linked OpenAI PR But, I remain sceptical
        defrost 4mo ago
        The (linked by OpenAI) comment paper by various tangential mathematicians was the most interesting read from my PoV: https://cdn.openai.com/pdf/74c24085-19b0-4534-9c90-465b8e29ad73/unit-distance-remarks.pdf https://cdn.openai.com/pdf/74c24085-19b0-4534-9c90-465b8e29a... it includes the longer remarks by Gowers & others.
    - astrange 4mo ago
      https://cdn.openai.com/pdf/74c24085-19b0-4534-9c90-465b8e29ad73/unit-distance-remarks.pdf https://cdn.openai.com/pdf/74c24085-19b0-4534-9c90-465b8e29a...

awesome_dude 4mo ago

Let me know when the Fields medal arrives in the mail. It won't because even though it looks clever to you, people who /do/ understand math and LLMs understand that LLMs /are/ regurgitating Why does your LLM need you to tell it to look in the first place? Why isn't just telling us all the answers to unsolved conjectures known and unknown? Why isn't the LLM just telling us all the answers to all the problems we are facing? Why isn't the LLM telling us, step by step with zero error, how to build the machine that can answer the ultimate question?

astrange 4mo ago
Here's a Fields Medalist commenting who doesn't seem to believe that. https://x.com/wtgowers/status/2057175727271800912 https://x.com/wtgowers/status/2057175727271800912
- awesome_dude 4mo ago
  Um - all I see is > Timothy Gowers @wtgowers > @wtgowers > If you are a mathematician, then you may want to make sure you are sitting down before reading further. If your refutation requires someone to have an account, login, and read something - it's meaningless
  - defrost 4mo ago
    Try https://xcancel.com/wtgowers/status/2057175727271800912 https://xcancel.com/wtgowers/status/2057175727271800912 it's readable to most, it's annoying having to swamp through ex-Twitter .. but there are work around's.
    - awesome_dude 4mo ago
      Thanks - I'll read that and the above linked OpenAI PR But, I remain sceptical
      - defrost 4mo ago
        The (linked by OpenAI) comment paper by various tangential mathematicians was the most interesting read from my PoV: https://cdn.openai.com/pdf/74c24085-19b0-4534-9c90-465b8e29ad73/unit-distance-remarks.pdf https://cdn.openai.com/pdf/74c24085-19b0-4534-9c90-465b8e29a... it includes the longer remarks by Gowers & others.
  - astrange 4mo ago
    https://cdn.openai.com/pdf/74c24085-19b0-4534-9c90-465b8e29ad73/unit-distance-remarks.pdf https://cdn.openai.com/pdf/74c24085-19b0-4534-9c90-465b8e29a...