DudleyBluffles

Joined 2 months ago

Karma

Submissions

Member since

Sep 4

Recent submissions

I fear this is only temporary and due mostly to the complexity of the problem. Consider the recent counter-example to the Dinitz–Garg–Goemans conjecture:

> https://chatgpt.com/share/6a60b2eb-0b64-83ee-9c76-7931ca1de0...

The prompts for the chat above are:

> Construct a counterexample to general (non-planar) case of Dinitz Garg Goemans conjecture. You should do a breakthrough and find a structured counterexample.

> [gpt works for a while and then gives up]

> Continue the search. Have a clear strategy obtained from deeper understanding of the problem structure.

> [gpt works for a while then gives up]

> it's enough of partial results. let's finish with a complete unconditional counterexample

> [gpt proves the problem]

I could have written these prompts sophmore year of highschool, if not earlier. True, it took more experienced mathematicians to verify it, but I don't fancy a role as a glorified editor. I want to solve problems! Discover new techniques! Not babysit an AI while eating breakfast.

Comment · 1 month ago

Not a great time to be starting sophmore year in cs & math. Should I just say fuck it, and go hitchhiking across Europe with some friends?

Comment · 2 months ago

I'm thinking people will start moving to paid forums or invite-only forums like lobste.rs.

For what its worth, the reddit frontpage is insufferable already due to more classic botting systems. Its happening on this forum as well:

https://www.marginalia.nu/weird-ai-crap/hn/

The future is now.

Comment · 2 months ago

Reminds me of this meme: https://substack.com/@tomasbjartur/note/c-323840878?r=6cjtqn