Hacker News: demirbey05

New comment by demirbey05 in "GPT-6 Astra"

demirbey05 — Thu, 03 Sep 2026 21:20:44 +0000

Yes same thoughts. I dont know anyone who are both enthusiastic about those and work for salary. If you dont have any financial concern, this is really great.

New comment by demirbey05 in "GPT-6 Astra"

demirbey05 — Thu, 03 Sep 2026 21:17:45 +0000

We are talking that hundred millions of people will switch their jobs, how you will keep your value or earning as personal trainer. It's not easy to say switch the job. This question must be answered by politicians not us.

Learnings from SecAgent Development

demirbey05 — Tue, 01 Sep 2026 16:42:49 +0000

Article URL: https://demirbey05.github.io/posts/learnings-from-secagent-dev/

Comments URL: https://news.ycombinator.com/item?id=49524450

Points: 1

# Comments: 0

GPT has proved nonsofic groups are exist

demirbey05 — Sat, 01 Aug 2026 06:51:25 +0000

Article URL: https://twitter.com/iron_redux/status/2083360414037938609

Comments URL: https://news.ycombinator.com/item?id=49131791

Points: 6

# Comments: 0

Show HN: Erdös Problem Solver Agent

demirbey05 — Mon, 27 Apr 2026 18:06:09 +0000

I developed small cli agent for solving erdös problems. It's still immature but planning to add tools but before going into project I just wanted to measure impact by putting it HN. Open to feedback and suggestions.

Comments URL: https://news.ycombinator.com/item?id=47925081

Points: 3

# Comments: 1

Self-Learning Master's Curriculum for AI

demirbey05 — Sun, 26 Apr 2026 18:26:14 +0000

Article URL: https://github.com/demirbey05/x-master-curriculum

Comments URL: https://news.ycombinator.com/item?id=47912571

Points: 1

# Comments: 0

New comment by demirbey05 in "Amazon cuts 16k jobs"

demirbey05 — Thu, 29 Jan 2026 09:35:37 +0000

I have always been saying: don't be optimistic about AI. Software people prepared their end with this optimism without knowing how the economy works. "AI will make our jobs easier, I will have more time with my family," blah blah. Now we will see more news like that in the coming years. I am okay with supporting AI for curing cancer, but I am against supporting AI for disrupting the white-collar economy without a proper government plan.

GPT OSS Beat Humans in TriMul Competition via TTT

demirbey05 — Sat, 24 Jan 2026 07:35:44 +0000

Article URL: https://arxiv.org/abs/2601.16175

Comments URL: https://news.ycombinator.com/item?id=46741770

Points: 2

# Comments: 0

New comment by demirbey05 in "Anthropic's original take home assignment open sourced"

demirbey05 — Wed, 21 Jan 2026 08:17:24 +0000

It's showcase more than being take home assignment. I couldnt understand what the task is ,only performance comparisons between their LLM

New comment by demirbey05 in "“Erdos problem #728 was solved more or less autonomously by AI”"

demirbey05 — Sat, 10 Jan 2026 08:00:44 +0000

https://news.ycombinator.com/item?id=46550836 Another view on that.

Is AI solving open Erdős problems?

demirbey05 — Fri, 09 Jan 2026 06:56:05 +0000

Article URL: https://zeyu-zheng.github.io/blog/erdősConjectures.html

Comments URL: https://news.ycombinator.com/item?id=46550836

Points: 3

# Comments: 0

New comment by demirbey05 in "LLMs Are Currently Not Helpful at All for Math Research: Hamkins"

demirbey05 — Mon, 05 Jan 2026 09:02:28 +0000

It's hard to cut through the AI hype when there are billions of dollars at stake. I usually trust negative comments more, as long as the person isn't trying to sell a course. Even though Terence Tao is a respected scientist, I wonder if his recent comments are driven by a need for funding due to federal cuts. I’ve had similar experiences with LLMs—whenever I ask them about hard math or RL theory, they almost always give me the wrong answers.

OpenAI Board Member Zico Kolter's Modern AI Course

demirbey05 — Sun, 04 Jan 2026 21:03:41 +0000

Article URL: https://modernaicourse.org/

Comments URL: https://news.ycombinator.com/item?id=46492188

Points: 10

# Comments: 4

New comment by demirbey05 in "AI just proved Erdos Problem #124"

demirbey05 — Wed, 03 Dec 2025 11:52:46 +0000

I am not mathematician, so it's hard to understand the comment. Thank you for your warning. I will be more careful.

New comment by demirbey05 in "AI just proved Erdos Problem #124"

demirbey05 — Sun, 30 Nov 2025 10:32:13 +0000

I read how GPT-5 contributed to proof. It is not fully solved by GPT-5 instead assisted. For more look here https://www.math.columbia.edu/~msawhney/Problem_848.pdf

New comment by demirbey05 in "AI just proved Erdos Problem #124"

demirbey05 — Sun, 30 Nov 2025 10:20:01 +0000

This is response from mathematician: "This is quite something, congratulations to Boris and Aristotle!

On one hand, as the nice sketch provided below by tsaf confirms, the final proof is quite simple and elementary - indeed, if one was given this problem in a maths competition (so therefore expected a short simple solution existed) I'd guess that something like the below would be produced. On the other hand, if something like this worked, then surely the combined talents of Burr, Erdős, Graham, and Li would have spotted it.

Normally, this would make me suspicious of this short proof, in that there is overlooked subtlety. But (a) I can't see any and (b) the proof has been formalised in Lean, so clearly it just works!

Perhaps this shows what the real issue in the [BEGL96] conjecture is - namely the removal of 1 and the addition of the necessary gcd condition. (And perhaps at least some subset of the authors were aware of this argument for the easier version allowing 1, but this was overlooked later by Erdős in [Er97] and [Er97e], although if they were aware then one would hope they'd have included this in the paper as a remark.)

At the moment I'm minded to keep this as open, and add the gcd condition in the main statement, and note in the remarks that the easier (?) version allowing 1 and omitting the gcd condition, which was also asked independently by Erdős, has been solved."

The commentator is saying: "I can't believe this famous problem was solved so easily. I would have thought it was a fake proof, but the computer verified it. It turns out the solution works because it addresses a slightly different set of constraints (regarding the number 1) than what Erdős originally struggled with. (Generated by Gemini)

When AI Hype Meets AI Reality: A Reckoning in 6 Charts

demirbey05 — Sat, 15 Nov 2025 20:57:01 +0000

Article URL: https://www.wsj.com/tech/ai/when-ai-hype-meets-ai-reality-a-reckoning-in-6-charts-bf8043b4

Comments URL: https://news.ycombinator.com/item?id=45940554

Points: 2

# Comments: 1

New comment by demirbey05 in "AI coding"

demirbey05 — Sat, 13 Sep 2025 10:39:44 +0000

I started fully coding with Claude Code. It's not just vibe coding, but rather AI-assisted coding. I've noticed there's a considerable decrease in my understanding of the whole codebase, even though I'm the only one who has been coding this codebase for 2 years. I'm struggling to answer my colleagues' questions.

I am not defending we should drop AI, but we should really measure its effects and take actions accordingly. It's more than just getting more productivity.

Ask HN: Are you excited about developments in AI?

demirbey05 — Wed, 03 Sep 2025 20:43:57 +0000

I am seeing many people are so excited about AI, especially OpenAI employees who have stakes in it. I am thinking such AI's economic impact will be devastating. It's okay to be excited if you have a stake in it or you already have a bunch of money so that you won't be affected by this crash. I want to ask this question to workers: why are you excited about developments in AI? Don't you think you will lose your job and compensation? I am really trying to learn optimism behind it.

Comments URL: https://news.ycombinator.com/item?id=45120210

Points: 3

# Comments: 0

Ask HN: Learning Code Is Dead?

demirbey05 — Mon, 01 Sep 2025 21:13:40 +0000

What do you think? Should we spend time reading Python, Rust, etc. books or focus on CS concepts?Are you reading any coding books after LLMs?

Comments URL: https://news.ycombinator.com/item?id=45096664

Points: 4

# Comments: 4