emil-lp

I use Perlin noise in all games I make, and in my research. It's marvellous!

+1 to Perlin.

Great work. It looks as the space in "No. 12" is too large. Is it possible to distinguish between space and sentence-end-space?

It was accepted in a top journal for seemingly no reason?

Well, in this case, it's your pension.

But as always, the methodology is buried: how many open problems were tried until they found a success?

Not only that, but they have like 500 world-leading experts in mathematics and IMO alumni, so how do we know one of the agents wasn't hardcoded to return a proof that the mathematicians had found?

I'm a mathematician/graph theorist, and I've tried ChatGPT 5.3, 5.4, 5.5, and now 5.6 on a bunch of simple-ish open problems, and I've never gotten a solution.

Proof of work doesn't help if the abuser is massively decentralized and is using other peoples moneys.

if the work of a programmer can be automated then this means that any work can be automated

This is a very typical programmer thing to say.

There's really no good proof system mature enough to do advanced graph theory. The leading library in Lean is Graphlib, and it's really not ready for research level theorems.

The prompt was released, but not the cost of the result.

Statement of AI use. The proof in this note is entirely due to GPT 5.6 Sol Ultra and the writeup with Codex (with GPT 5.6 Sol).

Clearly that sentence isn't AI generated ...

A heads-up: Frontiers In is a publisher known to have extremely low quality.

The hardcore nerds have always been political. Wake up.

You're using the sell my soul to the devil argument.

If you achieve what you want to, it doesn't matter if you sold your soul on the way.

Why do authors spend so much time coming up with a book when they can literally pick one up for free at the library?

This paper has all the hallmarks of being crackpot with GPT.

NP! should be something like NP^NP, which is well known to be Σ^2_P. Slightly larger, but still inside PH.

Not a single frame showing the robot grabs anything.

Cut scene aaaand folded! It's like magic.

Well, yes, conference proceedings are usually page limited, but that's not a journal.

Which journal?

I don't know which field you're talking about, but in general, math and cs journals do not have page limits.

By the way, one of my favorite pastimes is to download the latex source for papers on arxiv and read all the commented-out stuff.

% we should make sure this theorem is actually true

Friction or flywheel car.

https://en.wikipedia.org/wiki/Friction_motor

I'd buy it and put it in the Drawer of Dreams aka unfinished projects.

You mean ... Like a Beowulf cluster of those?

To save people the bother:

An LLM read a paper and concluded it was a top 1% paper.

Everyone involved were happy.

This is possibly related

EA Open Sources Command and Conquer: Red Alert, along with other games

https://news.ycombinator.com/item?id=43197131

The kidney exchange problem isn't bipartite matching but a cycle packing problem (or disjoint cycle cover).

I forgot the `/s` and now my Karma is gone...

I've embraced it, and I'm coding faster than all my colleagues, some days I open more PRs than the rest of my team combined.

Here's what I would need: the ability to position five nodes in a circular fashion, so that they are evenly spaced.

2n choose n is just: you must move East 20 times and South 20 times. Hence any solution looks like a permutation of 20 Es and 20 Ss. Now, only look at the indices for the Es. There are 20 of them. Out of 40.

40 indices, pick 20. Those are East moves, the rest are South moves.

I observe that you have strong feelings. There are exercises that help increase emotional granularity.