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

7 часов назад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.

14 часов назадdiscuss

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

14 часов назад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.

вчера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.

вчераdiscuss

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

вчера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 ...

позавчераdiscuss

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

3 дня назад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.

5 дней назад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?

8 дней назадdiscuss

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

8 дней назадdiscuss

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

10 дней назадdiscuss

Not a single frame showing the robot grabs anything.

Cut scene aaaand folded! It's like magic.

11 дней назадdiscuss

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

11 дней назадdiscuss

Which journal?

11 дней назад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

11 дней назадdiscuss

Friction or flywheel car.

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

13 дней назадdiscuss

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

13 дней назадdiscuss

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

13 дней назадdiscuss

To save people the bother:

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

Everyone involved were happy.

14 дней назадdiscuss

This is possibly related

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

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