emil-lp

689 karmajoined 10 ay önce

Submissions

About That Erdős Problem

siliconreckoner.substack.com

9 pointsby emil-lp2 ay önce1 comments

Evolutionary Computation Bestiary

fcampelo.github.io

15 pointsby emil-lp3 ay önce1 comments

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

henricodolfing.ch

1 pointsby emil-lp6 ay önce0 comments

comments

7 saat öncediscuss

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

13 saat öncediscuss

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

14 saat öncediscuss

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

evvelsi gündiscuss

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

3 gün öncediscuss

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.

5 gün öncediscuss

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

8 gün öncediscuss

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

8 gün öncediscuss

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

10 gün öncediscuss

Not a single frame showing the robot grabs anything.

Cut scene aaaand folded! It's like magic.

11 gün öncediscuss

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

11 gün öncediscuss

Which journal?

11 gün öncediscuss

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

11 gün öncediscuss

Friction or flywheel car.

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

13 gün öncediscuss

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

13 gün öncediscuss

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

13 gün öncediscuss

To save people the bother:

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

Everyone involved were happy.

14 gün öncediscuss

This is possibly related

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

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