demirbey05

7 ms·

1.
by demirbey05 8d ago
From Levent Alpöge : https://x.com/__alpoge__/status/2097383870773748190?s=20 >so far the proof looks more along the lines of another euler blowup proof we had, off of whose ansatz naming we were making really
2.
by demirbey05 13d ago
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.
3.
by demirbey05 13d ago
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.
4.
Learnings from SecAgent Development(demirbey05.github.io)
1 points by demirbey05 15d ago|0 comments
5.
GPT has proved nonsofic groups are exist(twitter.com)
6 points by demirbey05 2mo ago|0 comments
6.
Show HN: Erdös Problem Solver Agent(github.com)
3 points by demirbey05 5mo ago|1 comments
7.
Self-Learning Master's Curriculum for AI(github.com)
1 points by demirbey05 5mo ago|0 comments
8.
by demirbey05 8mo ago
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
9.
GPT OSS Beat Humans in TriMul Competition via TTT(arxiv.org)
2 points by demirbey05 8mo ago|0 comments
10.
by demirbey05 8mo ago
It's showcase more than being take home assignment. I couldnt understand what the task is ,only performance comparisons between their LLM
11.
by demirbey05 8mo ago
https://news.ycombinator.com/item?id=46550836 Another view on that.
12.
Is AI solving open Erdős problems?(zeyu-zheng.github.io)
3 points by demirbey05 8mo ago|0 comments
13.
by demirbey05 9mo ago
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 won
14.
OpenAI Board Member Zico Kolter's Modern AI Course(modernaicourse.org)
10 points by demirbey05 9mo ago|4 comments
15.
by demirbey05 10mo ago
I am not mathematician, so it's hard to understand the comment. Thank you for your warning. I will be more careful.
16.
by demirbey05 10mo ago
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
17.
by demirbey05 10mo ago
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
18.
When AI Hype Meets AI Reality: A Reckoning in 6 Charts(wsj.com)
2 points by demirbey05 10mo ago|1 comments
19.
by demirbey05 1y ago
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
20.
Ask HN: Are you excited about developments in AI?
3 points by demirbey05 1y ago|0 comments
21.
Ask HN: Learning Code Is Dead?
4 points by demirbey05 1y ago|4 comments
22.
by demirbey05 1y ago
LLMs can do small things well, but you must use small parts to form big picture.
23.
by demirbey05 1y ago
it is not that easy, there is lazy loading in the page that is triggered by scroll of specific sections. You need to find clever way, no way to scrape with bs4, so tough with even selenium.
24.
by demirbey05 1y ago
Yesterday, I was asked to scrape data from a website. My friend used ChatGPT to scrape data but didn't succeded even spent 3h+. I looked website code and understand with my web knowledge and do some research with LLM. Then I described
25.
Ask HN: What are the best blogs and newsletters for PyTorch or AI computation?
1 points by demirbey05 1y ago|1 comments
26.
OpenAI Won Gold Medal in IOI(twitter.com)
6 points by demirbey05 1y ago|0 comments
27.
by demirbey05 1y ago
I mean test-time scaling coming to end, there are many open rooms for next thing.
28.
by demirbey05 1y ago
test time scaling is based on methods from pre-2020. If you look details of modern LLMs its pretty small prob to encounter method from 2020+(ROPE,GRPO). I am not saying IMO is not impressive, but it is not breakthrough, if they said they us
29.
by demirbey05 1y ago
I don't remember as a big fan of DeepSeek.
30.
by demirbey05 1y ago
IMO is not breakthrough, if you craft proper prompts you can excel imo with 2.5 Pro. Paper : https://arxiv.org/abs/2507.15855 . Google just put whole computational power with very high quality data. It was test-time sca

More ›