nicce

3 ms·

31.
by nicce 14d ago
> Altman and Bubeck claim that because the proof used different scaling parameters and analytical steps, it's not related, Is Altman even mathematican these days?
32.
by nicce 14d ago
How the same people can have access to this information and be acknowledged? Completely different place.
33.
by nicce 15d ago
They are completely different things with different consequences. Someone can point to the sky and prove that the sun is there.
34.
by nicce 15d ago
I think that in the end it does not matter, anymore. It is inevitable that most of the text now and in the future is at least reviewed by LLM. We should criticize whether text is poorly written, inaccurate, wastes words to get to the point
35.
by nicce 15d ago
All these "is this AI" checkers should be banned, as they never can reach 100% accuracy.
36.
by nicce 15d ago
To have a really good harness, it seems that you need a separate one for every different project you are working with.
37.
by nicce 15d ago
There is a saying that ideas are cheap. Only delivery matters.
38.
by nicce 15d ago
The real advancement, not brute forcing mathematical equations like some company does and claims revolutionary breakthrough. How many ideas like this has come from AI companies' models?
39.
by nicce 16d ago
I have been using it today the whole day and it is definitely better than Luna. Great that bench agrees.
40.
by nicce 16d ago
1. Not storing secrets properly or using hardcoded secrets 2. Wild use of webviews/iframes sometimes easily propagates as XSS in phones 3. Incorrect client-side OAuth 2.0 configuration e.g. with schema-based redirect URLs. 4. Not suppo
41.
by nicce 16d ago
You don’t believe how often people leave secrets in the app or use webviews and iframes badly, misconfigure OAuth in client side and so on. There are many issues where secure API does not help.
42.
by nicce 16d ago
This is probably the end now. People don't debate anymore whether they should write only in assembly vs. in C. Sometimes new abstractions emerge and they replace something completely. This time the abstraction was LLM.
43.
by nicce 16d ago
> You just install it on your phone and use the app. Some people on the cybersecurity side are starting to cry....
44.
by nicce 16d ago
So it is price increment in the end, if new pro model comes with the new pro price.
45.
by nicce 16d ago
On top of that, they don't make all BS statements or malicious tricks used by some unnamed entities.
46.
by nicce 16d ago
European users have right to be forgotten. Waiting for the court order to delete all models.
47.
by nicce 17d ago
It is a very old idea. But it matters a lot in iPhone’s scale. Many people will have it without buying a separate device.
48.
by nicce 17d ago
The only positive side is that it is harder for students to feed university exercises to the agent in cybersecurity and expect it to make them all.
49.
by nicce 17d ago
> In keeping with our commitment to user responsibility, following the official launch of V4.1 Flash and prior to the release of V4.1 Pro, all requests to the Pro model will be routed to V4.1 Flash and billed at Flash's price. If y
50.
by nicce 17d ago
That seems to be indeed true. I guess it gets validated quite soon.
51.
by nicce 17d ago
That is the point. Someone must verify that the Lean matches the actual theorem, precisely as it should be interpreted.
52.
by nicce 17d ago
As long as the proofs itself are correct. How long they were this time? Edit: at least ~600,000 lines https://stanfordtechreview.com/articles/openai-buckmaster-na...
53.
by nicce 17d ago
Can’t wait to see the human verifying the results and then figure out that the AI model actually cheated and the results are not correct.
54.
by nicce 18d ago
I guess the point of this whole forum is "Why not?"
55.
by nicce 18d ago
I guess guys from the opposite side would not work there. So that is what will happen more and more.
56.
by nicce 18d ago
> They are suddenly very AI obsessed, which is the antithesis of their platform. Benefits are massive if you have the discipline to stay as master and don't let AI overtake everything and make you lazy.
57.
by nicce 18d ago
Imagine a world were you see glasses being sold out just to prove that police is acting against the law.
58.
by nicce 18d ago
Unless Codex is vibe coded and it downloads it directly on every installation…
59.
by nicce 18d ago
> It's impressive that they're doing such titanic work. I think it is still a bit too early to say that. The most difficult part is to ensure the security of the implementation, and not just the checkbox compliance against stan
60.
by nicce 18d ago
Ouch, already 11 years since the Windows 10 release.

More ›