JohnKemeny

3 ms·

1.
by JohnKemeny 19d ago
Are you saying that modern LLMs cannot play chess now , or that LLMs (GPT architecture) cannot be trained to play chess well? Or are you saying that neural networks in general cannot (practically) be trained to be an above-average chess pl
2.
by JohnKemeny 20d ago
Your link 404s > The main branch of formal-conjectures does not contain the path `FormalConjectures/Millenium/NavierStokes.lean.`
3.
by JohnKemeny 20d ago
> The second author, Elias Koutsoupias, dedicates this work to his constant friends Amos Fiat, Anna Karlin, and Christos Papadimitriou. I wonder what Papadimitriou thinks about getting dedicated LLM generated proofs.
4.
by JohnKemeny 26d ago
It's highly non-trivial to confirm that the theorems written in Lean are actually the same as the Navier–Stokes (non-)theorem.
5.
by JohnKemeny 26d ago
It's one of the seven most important problems in mathematics. Pick a better analogy.
6.
by JohnKemeny 26d ago
Yes, that's a strange mistake to make.
7.
by JohnKemeny 26d ago
> but only if Alpöge’s name was removed This is blatant scientific misconduct.
8.
by JohnKemeny 2mo ago
Not trying to answer on OP's behalf, but perhaps they didn't mean blockchain in the literal sense, but more like a DAG of theorems that are shared globally?
9.
by JohnKemeny 2mo ago
I probably didn't understand what you meant by > Hutter Prize being where you are paid if you can compress wikipedia small enough. LLMs do very well at that, if, big if, you ignore the cost of initial weights. then. If all you car
10.
by JohnKemeny 2mo ago
> ignore the cost of initial weights Well, then Wikipedia itself is a very good compression that only needs the title to perfectly predict the full article.
11.
by JohnKemeny 2mo ago
Maximum flow isn't NP-hard, though. It can be solved in near-linear time.
12.
by JohnKemeny 2mo ago
If you allow twice the solution, you can do it in O(m log n) time using MST.
13.
by JohnKemeny 2mo ago
You can't do it faster than O(n log n) for the simple reason that you need to sort the frequencies. If the symbols come sorted, then you can do it in O(n) time, yes, using two queues.
14.
by JohnKemeny 2mo ago
I think the phrase you're looking for is the phase transition . Discussed here: https://cstheory.stackexchange.com/questions/33550
15.
by JohnKemeny 2mo ago
True, but what you can do is a one-sided guarantee. If it bears the mark, it is likely generated (or someone deliberately made it look generated). Thus, if a news article, research article, book, student paper submission, blog post , HN
16.
by JohnKemeny 2mo ago
You don't have to "revive" the device in order to use it . The problem was: out-of-sync device clock prevented software updates which in turn prevented cloud syncing. You don't need software updates or cloud syncing
17.
by JohnKemeny 3mo ago
OCR has definitely not "been solved long time ago", what are you talking about? In your opinion, what is SOTA here?
18.
by JohnKemeny 3mo ago
Related: An Introduction to YOLO26 77 points, 24 comments https://news.ycombinator.com/item?id=48639165
19.
by JohnKemeny 4mo ago
Follow-up. I in fact suspect that either she is a bot, or she is using an LLM to spew out papers. She uploads about one paper per month to Zenodo, and they all seem very AI generated.
20.
by JohnKemeny 4mo ago
The paper under discussion: https://zenodo.org/records/17720178 Note that Zenodo is a DOI-provider, not a (scientific) journal. Anyone can upload anything to Zenodo. It's less strict than arXiv. Edit: The &qu
21.
by JohnKemeny 4mo ago
yeah, only authorities are considered here at HN.
22.
by JohnKemeny 4mo ago
It also doesn't make much sense > There exists a raven such that the vector of hours. The vector of hours what?
23.
by JohnKemeny 4mo ago
If the seahorse emoji is introduced, we will have to train new foundation models. The costs connected to the introduction of the seahorse emoji will be in the billions.
24.
by JohnKemeny 5mo ago
Isn't it description list?
25.
by JohnKemeny 5mo ago
3.9.2: no piece can be moved if that exposes or leaves its own king in check.
26.
by JohnKemeny 5mo ago
Well, if a piece is pinned it's illegal to move it. Rule 3.9.2: No piece can be moved that will either expose the king of the same colour to check or leave that king in check.
27.
by JohnKemeny 5mo ago
> I've left this one to the bonus section because I've never used set operations on Counters and I'm finding it extremely hard to think of a use case for xor specifically. But I do appreciate the devs adding it for comple
28.
by JohnKemeny 5mo ago
because success comes from reproducing a memorized pattern rather than transferable reasoning? At the same time failure proves little because most humans also could not manually create a correct SVG of a pelican riding a bicycle. What is it
29.
by JohnKemeny 5mo ago
They flare to quickly burn off excess gases as a safety mechanism rather than anything else. Venting gas into the air would be much worse.
30.
by JohnKemeny 6mo ago
Well, the guitar has a finite number of strings and each string is partition into a finite number of frets. It's definitely not more than, say, 30^6 ~ 729 million. That said, common chords are A, B, C, D, E, F, G (and their sharps and

More ›