Hacker News: golol

New comment by golol in "Bend 2 and the Vibe-Coding Trap"

golol — Fri, 18 Sep 2026 14:43:52 +0000

Has nothing to do with AI-hype. Anyone who is interested in Lambda calculus should find his work intriguing.

New comment by golol in "Bend 2 and the Vibe-Coding Trap"

golol — Fri, 18 Sep 2026 14:38:44 +0000

It is mean for the last point I mentioned: Taelin is very transpparent about his work which makes it easy to attack him. And what for? This post is not even a proper criticism of Bend 2, it is just trying to paint some story that Taelim is a vinecoder who does not know what he is doing, based on no evidence. If he was not transparent it would not even be known that LLMs have been used.

New comment by golol in "Bend 2 and the Vibe-Coding Trap"

golol — Fri, 18 Sep 2026 13:24:25 +0000

I find this to be a mean and misguided post. To suggest that Victor Taelin does not know about formal methods. As I understand, he is trying to do something genuinely new and interesting. And he is transparent about his work, which he then gets hounded for. A shame.

New comment by golol in "Navier-Stokes – Tristan Buckmaster [pdf]"

golol — Wed, 09 Sep 2026 13:04:18 +0000

It doesn't really make sense what he said. Everyone expects N-S to have blow-up. If you are going to try to show blow-up, C and D are strictly easier than A and B. So Tristan was not clear about what detail of "route" he is talking about, because what he literally said can not be it.

New comment by golol in "Navier-Stokes – Tristan Buckmaster [pdf]"

golol — Tue, 08 Sep 2026 13:54:46 +0000

I just meant that choosing the same 2 routes out of 4 would not at all be a great coincidence without knowing what Tristan was working on.

New comment by golol in "Navier-Stokes – Tristan Buckmaster [pdf]"

golol — Tue, 08 Sep 2026 12:26:40 +0000

>"It is not the direction one arrives at in a few days by giving a model the problem statement."

To be honest, he was referring to routes (c) and (d) to the millenium problem, as far as I understand no more specific. Which is 2/4 routes.

New comment by golol in "GPT-6 Astra"

golol — Fri, 04 Sep 2026 11:15:27 +0000

This is oversimplifying it. Read the metr report on the huggingface incident.

PDE and Cellular Automata Simulator

golol — Thu, 27 Aug 2026 10:21:55 +0000

Article URL: https://simpde.gololcohan.chatgpt.site/

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

Points: 1

# Comments: 0

New comment by golol in "That Disgraceful, Disreputable, (Wonderful) Form of Punctuation: The Parenthesis"

golol — Wed, 19 Aug 2026 05:08:18 +0000

I just had thw thought: aren't parentheses just punctuation denoting an inline footnote?

New comment by golol in "How many of the 170k English words do you know?"

golol — Sat, 20 Jun 2026 12:00:34 +0000

Cute, but for strange words clicking the longest explanation turned out to be akmost always rhe correct one :)

New comment by golol in "Mathematicians issue warning as AI rapidly gains ground"

golol — Wed, 03 Jun 2026 11:53:44 +0000

Read the declaration. The article misrepresents it imo. It is not strongly opinionated.

New comment by golol in "An OpenAI model has disproved a central conjecture in discrete geometry"

golol — Thu, 21 May 2026 12:36:29 +0000

Yes what I was saying is what I believe about the goalposts.

New comment by golol in "An OpenAI model has disproved a central conjecture in discrete geometry"

golol — Thu, 21 May 2026 06:05:46 +0000

I think based on the class of problem that RH is an independence result is not something that "really happens".

New comment by golol in "An OpenAI model has disproved a central conjecture in discrete geometry"

golol — Thu, 21 May 2026 06:04:42 +0000

I did not have the impression the proof uses a surprising and novel contribution of fields. I think the proof uses standard application techniques of algebraic number theory towards discrete geometry. If you have a quote substantiating what you said I would be curious.

I know these articles write that it used deep algebraic number theory techniques, which is true, but it may also just be the standard in the field.

New comment by golol in "An OpenAI model has disproved a central conjecture in discrete geometry"

golol — Thu, 21 May 2026 06:02:08 +0000

You are believing a very unlikely scenario. I think the reason is that you have been convinced of a claim which is unlikely and indeed not true. That is: >the model seems so capable at doing things like refuting fundamental theorems of mathematics

That is not true and a complete misrepresentation of recent progress of AI in math. It is therefore not necessary to believe the conspiracy theory you described in order to explain recent progress of AI in math.

New comment by golol in "An OpenAI model has disproved a central conjecture in discrete geometry"

golol — Thu, 21 May 2026 05:58:31 +0000

You should believe that the proof works at least as much as any ither paper in mathematics. The proof has been scrutinized by experts and simplified and improved. If you don't believe that then I'm sorry but you are deluding yourself.

New comment by golol in "An OpenAI model has disproved a central conjecture in discrete geometry"

golol — Thu, 21 May 2026 05:46:06 +0000

No it is not Leibniz/Euler/Galois. More like writing good papers that contribute to the broader understanding of a theory. I think if one evaluated a mathematicians research output and it consisted of mostly the kinds of problems AI has solved so far, it would give the impression that this person is somehow very good at picking accessible problems to target, but has not made a larger impact on the field.

New comment by golol in "Study: emotional support from social media found to reduce anxiety"

golol — Wed, 04 Feb 2026 17:54:23 +0000

Giving an addict a hit also reduces anxiety.

New comment by golol in "IBM CEO says there is 'no way' spending on AI data centers will pay off"

golol — Wed, 03 Dec 2025 16:10:32 +0000

Getting 65% of the population to spend 1% of their income on some new digital toy forever does not seem so far fetched.

New comment by golol in "Europe is scaling back GDPR and relaxing AI laws"

golol — Wed, 19 Nov 2025 21:47:22 +0000

I think I should be able to collect whatever publicly available data I can find.