Hacker News: margorczynski

New comment by margorczynski in "OpenAI withdraws three mathematical results"

margorczynski — Thu, 08 Oct 2026 14:09:57 +0000

The write-ups are one thing and more of a cherry on top but I would say the more pressing matter is the lack of Lean formalization which means you can't really say it has been (dis)proven or not.

New comment by margorczynski in "OpenAI withdraws three mathematical results"

margorczynski — Thu, 08 Oct 2026 12:25:06 +0000

If you do a dump like this all of it should be formalized, there's simply too much material to review by hand and additionally it is AI-written which makes it hard to read compared to human work.

New comment by margorczynski in "Claude Haiku 5.5"

margorczynski — Wed, 07 Oct 2026 18:11:08 +0000

How does the price compare to Luna? At least looking at the numbers it is noticeably better at most tasks.

New comment by margorczynski in "Sharing AI progress in mathematics"

margorczynski — Wed, 07 Oct 2026 10:23:00 +0000

Verify the statement is correct + it doesn't introduce any new axioms + doesn't use "sorry" etc.

Order of magnitudes easier than verifying the whole thing by hand and gives a much better guarantee of correctness

New comment by margorczynski in "Sharing AI progress in mathematics"

margorczynski — Wed, 07 Oct 2026 10:16:24 +0000

> reviewing proofs it creates?

If you mean reviewing for correctness then no, a Lean proof is a much stronger guarantee than anything that can be provided by any human.

For someone who's goal in math was taking unsolved problems and working on them then it's probably over. Just like in software engineering writing code by hand is kinda over.

New comment by margorczynski in "Sharing AI progress in mathematics"

margorczynski — Wed, 07 Oct 2026 10:07:54 +0000

I really don't get how people are still continuing with this "stolen results" narrative after today. Like NS was kinda insignificant compared to treasure trove they released now, thinking that the LLM needs to "steal" from some human is simply coping.

New comment by margorczynski in "Sharing AI progress in mathematics"

margorczynski — Wed, 07 Oct 2026 10:03:05 +0000

Thank you for the detailed explanation. From what I'm reading from a lot of mathematicians there's at least a dozen of results here that are field-definining and worthy at minimum of a Fields medal.

I guess the biggest news are not the discoveries themselves but how they were found and that math is going through the biggest revolution as a field since almost ever.

New comment by margorczynski in "Gemini 4 Argon"

margorczynski — Thu, 01 Oct 2026 08:23:58 +0000

You assume that a bug that can take down production is more likely to be produced by the LLM than by a human. That very well might not be so with current models and especially in the future once they get even better.

It's coping, the truth is writing code by hand is dead.

New comment by margorczynski in "Meta takes down a critical video about meta AI Glasses after filming at Meta"

margorczynski — Thu, 24 Sep 2026 12:25:27 +0000

Zuckerberg has a knack for creating the most anti-human products possible. It is a mystery he didn't create or buy out OF.

New comment by margorczynski in "GPT-6 Sol and Luna"

margorczynski — Tue, 22 Sep 2026 22:31:45 +0000

And what that would be? Prostitution?

New comment by margorczynski in "Claude Opus 5.5"

margorczynski — Tue, 22 Sep 2026 18:18:15 +0000

In the end what matters is how much you pay for the task you want completed. And Astra will usually do that using less token and offer a better quality solution so in the end it might be cheaper.

New comment by margorczynski in "Claude Opus 5.5"

margorczynski — Tue, 22 Sep 2026 18:15:10 +0000

All the anti-AI people constantly say that any moment now the prices will skyrocket and in the end human work will be cheaper compared to using AI.

It doesn't look like that's happening, on the contrary the prices are falling especially when taking into account capabilities.

New comment by margorczynski in "MiMo v2.6"

margorczynski — Mon, 21 Sep 2026 23:25:10 +0000

China will most probably win the AI race in the long run because of one major bottleneck the US has - energy. The electric energy and grid buildout in China has been massive since a long time and there is simply no way for the US to quickly catch up.

No matter how much cash you throw you can't just materialize a 100 nuclear reactors to power the data centers.

New comment by margorczynski in "The Advisory Group on Mathematics and Artificial Intelligence"

margorczynski — Mon, 21 Sep 2026 23:19:32 +0000

> It's not like mathematicians are doing mathematics just for the funsies.

But they do. Most of higher math has no practical applications and is just a mental playground, philosophy constrained by formal logic and a set of axioms.

Hope is these capabilities will somehow translate to something more practical like physics, chemistry or biology.

New comment by margorczynski in "AI-generated posters don’t have to be horrible"

margorczynski — Sat, 19 Sep 2026 14:08:49 +0000

> Yet people will do drive by comments trying to excoriate creators for using AI thumbnails. It's really quite ridiculous.

That's just a loud minority. Most people really don't care about using AI in what you do as long as it is entertaining. The real world ain't Reddit.

New comment by margorczynski in "Astra for Law"

margorczynski — Thu, 17 Sep 2026 23:00:14 +0000

Everywhere a good lawyer costs a lot of money.

New comment by margorczynski in "Astra for Law"

margorczynski — Thu, 17 Sep 2026 22:43:17 +0000

The end goal should be AI judges, I think China has implemented that to some degree.

New comment by margorczynski in "Navier-Stokes Announcement"

margorczynski — Sat, 12 Sep 2026 11:22:19 +0000

This is misleading. The proofs you speak of contained non-ZFC axioms and/or statements like "sorry". If the Lean proof conjecture is correct and it doesn't introduce any new axioms or use e.g. "sorry" then it provides a MUCH stronger guarantee of correctness than any peer-review done by humans.

New comment by margorczynski in "Cherenkov Radiation - traveling faster than light"

margorczynski — Fri, 11 Sep 2026 10:11:58 +0000

I think a problem is that because of historical reasons the speed of light is used interchangeably to something much more fundamental - the maximum speed at which information can propagate in space. Which is of course the speed of light in a vacuum but a better approach is the inverse - light in a vacuum moves at the maximum speed possible in our universe.

New comment by margorczynski in "Gambling with our lives: AI researcher quits Anthropic with warning about safety"

margorczynski — Wed, 09 Sep 2026 09:52:44 +0000

There would need to be some global agreement to stop it with maybe even a nuclear attack as a consequence of breaking the pact.

From what we're seeing recently and all the thinking that went into analyzing AI it seems we do not have any effective way of controlling it and the whole "aligment" thing that AI labs are doing is just a sham. Maybe it is time to ask ourselves "should we?" instead of just "can we?".