Thread

I vibed a proof of Conway's conjecture

271 points · 297 comments · m-hodges

nialv7 · 1789745477 · focus · HN ↗
I don't know why the author could claim this is "their" proof, and they kept saying "they" did this, "they" built that. but in reality everything is done by the LLM and the author is merely asking it to do things. i guess they did contribute money at least...
> Me: btw how’s your mood overall?
LOL. mood??
1. danabramov · 1789745637 · focus · HN ↗
  Author here! My impression is that it's customary in the mathematical community to take responsibility for the result with your name, regardless of whether it came from LLM etc (as long as you disclose LLM usage). I am perfectly fine calling it "LLM's proof" or somehow else, but it's "my" in the sense that "if there is a mistake in it, it is my mistake".
  1. GPerson · 1789799132 · focus · HN ↗
    Dude you’re so far removed from understanding anything about what the math community thinks. Just stop this nonsense. This is not “your” result.
    danabramov · 1789819595 · focus · HN ↗
    What do you want me to call it? I'm fine calling it your result if you want.
    GPerson · 1789829956 · focus · HN ↗
    It’s nobody’s result what is wrong with you?

Unofficial Hacker News client; not affiliated with Y Combinator.