kzrdude

3 ms·

31.
by kzrdude 18d ago
I don't see how it would be negative PR. If anything, the love these breakthroughs and use it in their PR campaigns.
32.
by kzrdude 18d ago
This "fefferman options c and d" thing sounds damning but that's nothing. Let's assume the forelaid proof is correct. Then option C or D is the only way to win the prize, those options are the only ones that solve it. Th
33.
by kzrdude 18d ago
If you don't trust the other party, then it doesn't matter how the checkbox is set. The fundamental rule, IMO, is don't send precious or secret data to a third party.
34.
by kzrdude 18d ago
Some of the involved people are dramatically naive if they believe they can simultaneously hide themselves from OpenAI while sending their arguments to a cloud service owned by OpenAI. While I support their argument - push for stronger data
35.
by kzrdude 18d ago
What's the clarification? It seems like they were aware of each other's work, eventually, but Stadlmann published (a preprint) first.
36.
by kzrdude 18d ago
There are various forces at play here, academic honesty requires them to disclose any inputs regardless of license or ToS circumstances. While common sense reminds us here that if you send your data to an external entity’s computer, you are
37.
by kzrdude 20d ago
Using EUPL is mostly a way to signal that you want to use a license grounded in EU law, not in US law. That's at least the way I've looked at it.
38.
by kzrdude 20d ago
I had a different strategy, starting with lots of connections, so I found Russia and China first. Albeit playing with a lot of mistakes. I just did my first second-hand inference and it was satisfying. Turkey borders Bulgaria and Greece, do
39.
by kzrdude 20d ago
It's from the European part of South America.
40.
Mudlarking: Searching the River Thames for Historical Artifacts [video](youtube.com)
1 points by kzrdude 21d ago|0 comments
41.
by kzrdude 21d ago
The names, I thought they were going to keep Sol, Terra, Luna for a while (while increasing versions). Are names like Sol and Astra really burned as one-offs? I think that's a waste of a good model name. Hope they keep them going with
42.
by kzrdude 21d ago
Some kind of linter should flag these with a warning, I think
43.
by kzrdude 21d ago
I live in a city (a quite small one) and if I say that I'm going into the city, then it means I leave my neighbourhood (it's in the same city) and I'm going to the city centre.
44.
by kzrdude 21d ago
I don't think that's a problem, and it doesn't mean that Britain is not in Europe, IMO. Comes naturally with human perspective. "Where did you go this summer?" A) "I stayed in England"; B) "I travelle
45.
by kzrdude 21d ago
The OP is about formalizing an existing result, not coming up with a new proof for FLT.
46.
by kzrdude 21d ago
And not to mention, the hamster is standing at the wrong end of the table.
47.
by kzrdude 21d ago
I've long observed that kind of behaviour in google translate (which makes sense, they have been using ML for a long time.)
48.
by kzrdude 21d ago
That should be expected based on the scaling laws that we expect; larger models are more intelligent and cost more. Now it's very unfortunately that they don't publish the size of their models.
49.
by kzrdude 22d ago
Yes
50.
by kzrdude 22d ago
FLT was proven in 1995 by Andrew Wiles (with help of Richard Taylor). This is not even a new proof, or at least they don't claim that it is. It's the formalization (in Lean) of an existing proof. That means, they are 'porting
51.
by kzrdude 22d ago
And the multiple Numberphile appearances of Ken Ribet are interesting too! He is incredibly well spoken. - https://www.youtube.com/watch?v=nUN4NDVIfVI (The bridges to Fermat's Last Theorem) - https://www.you
52.
by kzrdude 22d ago
The part about prove2.me was interesting. That means that a co-working tool was instrumental in the project, and I think AI companies will take note of this. Is this proof specific or will we need to give agents access to JIRA or similar to
53.
by kzrdude 23d ago
The Uno "diffusion adaptor" will take a while for me to understand, but sounds very interesting. https://huggingface.co/IFM/K2-Horizon-7B-Uno
54.
by kzrdude 23d ago
This one is her latest paper: [20] J. Stadlmann, Bounded gaps between primes, Forthcoming
55.
by kzrdude 23d ago
Ok, so the rumour was exactly true: there was a withheld prime gaps improvement, that "an AI company" was holding onto until release of a model.
56.
by kzrdude 23d ago
I see that Muse Spark 1.3 (max) beats GPT-6 Astra on some benchmarks: Test: Muse Spark 1.3 / GPT 6 Astra DeepSWE v1.1: 75.4% / 74.1% AutomationBench: 49.4% / 41.4% Is that enough to bring this discussion down to earth again?
57.
by kzrdude 23d ago
Bridge ends in midair Wind sketches the farther bank The far bank draws near by gpt-5.6-sol
58.
by kzrdude 23d ago
You probably mean over 30-40 km/h, not 60.
59.
by kzrdude 23d ago
In general, all cars are too wide now because they have gradually maximized their width up to a limit. The old Italian Fiat cars were much more nimble, of course.
60.
by kzrdude 23d ago
I don't think LLMs are properly self-referential. They reference a frozen training reality, which is not itself, but the old description of itself and the old world. Being aware would probably include continuously updating yourself (le

More ›