emil-lp

689 カルマ登録 10 か月前

投稿

About That Erdős Problem

siliconreckoner.substack.com

9 ポイント投稿者 emil-lp2 か月前1 コメント

Evolutionary Computation Bestiary

fcampelo.github.io

15 ポイント投稿者 emil-lp3 か月前1 コメント

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

henricodolfing.ch

1 ポイント投稿者 emil-lp6 か月前0 コメント

コメント

6 時間前議論

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

12 時間前議論

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

13 時間前議論

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

5 日前議論

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 日前議論

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

8 日前議論

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

10 日前議論

Not a single frame showing the robot grabs anything.

Cut scene aaaand folded! It's like magic.

10 日前議論

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

10 日前議論

Which journal?

10 日前議論

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 日前議論

Friction or flywheel car.

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

12 日前議論

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

12 日前議論

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

13 日前議論

To save people the bother:

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

Everyone involved were happy.

14 日前議論

This is possibly related

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

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