emil-lp

689 karmajoined 10 माह पहले

Submissions

About That Erdős Problem

siliconreckoner.substack.com

9 pointsby emil-lp2 माह पहले1 comments

Evolutionary Computation Bestiary

fcampelo.github.io

15 pointsby emil-lp3 माह पहले1 comments

The $440M Software Error at Knight Capital (2019)

henricodolfing.ch

1 pointsby emil-lp6 माह पहले0 comments

comments

परसोंdiscuss

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

परसोंdiscuss

> 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.

3 दिन पहलेdiscuss

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

3 दिन पहलेdiscuss

> 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.

3 दिन पहलेdiscuss

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.

3 दिन पहलेdiscuss

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

3 दिन पहलेdiscuss

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 ...

4 दिन पहलेdiscuss

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

5 दिन पहलेdiscuss

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.

8 दिन पहलेdiscuss

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

10 दिन पहलेdiscuss

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

10 दिन पहलेdiscuss

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

12 दिन पहलेdiscuss

Not a single frame showing the robot grabs anything.

Cut scene aaaand folded! It's like magic.

13 दिन पहलेdiscuss

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

13 दिन पहलेdiscuss

Which journal?

13 दिन पहलेdiscuss

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

13 दिन पहलेdiscuss

Friction or flywheel car.

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

15 दिन पहलेdiscuss

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

15 दिन पहलेdiscuss

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

15 दिन पहलेdiscuss

To save people the bother:

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

Everyone involved were happy.