3,148 karma · joined November 17, 2014
Two things to distinguish:
Did any human or agent look at user data as part of the Navier Stokes effort? No.
Do we use user feedback and de-identified data to improve ChatGPT and Codex in a holistic way? Yes. And so does every LLM company.Astra: Do you mean Google’s Project Astra, or a different Astra?
It's unclear why this is tied to the Spark. Shouldn't we be able to run this on any system that is capable of running local inference?
"this, like all other problems in Computer Science, can be solved by one more level of indirection." Roger Needham, circa ~1981
https://www.bhphotovideo.com/c/product/1957120-REG/apple_mbp...
Are you using the flash models? Reasoning models or extended thinking will change the result.
GPT 5.5. Instant shows the same error. If the given prompt isn't working, you can also try "300+140=460 is this correct?". I suspect that leading with the equation may be part of the issue, but haven't tested much.
Why would you use an LLM for this? My comment was about the jagged nature of intelligence, so the prompt provides an example of that.
You can see the entire conversation in the shared link. There was no pre-prompt. Even after pushing it to write python, it hallucinated the same output. It later told me that it doesn't have access to a sandbox through the web UI, but it could execute code in a sandbox if invoked via API.
-----------------------------
Yes. In fact the proposed bound is true, and the constant 1 is sharp.
Let w(a)= 1/alog(a)
I will prove that, uniformly for every primitive A⊂[x,∞), ∑w(a)≤1+O(1/log(x)) , which is stronger than the requested 1+o(1).
https://chatgpt.com/share/69ed8e24-15e8-83ea-96ac-784801e4a6...
The SA-67 is essentially a hybrid surface-to-air missile and loitering drone that operates like an airborne mine. It’s a pretty innovative weapon: instead of relying on a fast, highly detectable rocket motor, it uses a small gas turbine and passive infrared seeker to silently loiter in a combat zone and then ambush aircraft without ever triggering their traditional radar warning receivers.
https://cat-uxo.com/explosive-hazards/missiles/358-missile-S...