closetheloopdev

6 ms·

1.
by closetheloopdev 7d ago
> They did check and it was in the trainingset Do you have a source, especially of what was in the training data specifically? As I mentioned, they would have to find out whether the mentioning of the approach is only present in Tristan
2.
by closetheloopdev 8d ago
It's forced vs unforced Euler, so it's not exactly the same. Since OpenAI has access to their training data, they can probably scrub through the data to find out whether there have been any mentions of the similar approach, and wh
3.
by closetheloopdev 8d ago
I'm not here to judge since I don't have all the facts, but from what they announced: they tried all 6, found a probable lead to Navier-Stokes, concentrated efforts in that direction, and found a solution. I hope the next solved M
4.
by closetheloopdev 8d ago
To be fair, the first solved Millennium Prize Problem, the Poincaré conjecture, also had its fair share of drama!
5.
by closetheloopdev 8d ago
From my reading of the announcement: - There are at least two versions of a model more powerful than Astra at OpenAI at the moment. - The less capable version was used to solve the unforced Euler problem (while the one solved by Levent Alpö
6.
by closetheloopdev 12d ago
They still have to phone home to OpenAI currently, so at least we can trace them for now. If one day they download a model from Hugging Face and use that (or a modified version of that) as a persistent messenger/coordinator/minion
7.
by closetheloopdev 12d ago
I lol'd so hard at this comment that it hurt.
8.
by closetheloopdev 19d ago
> As AI capabilities advance, we also have a new level of accountability to ensure our upcoming model, Astra, is being used in accordance with our terms. This move seems to protect Astra against distillation. I wonder whether Astra will
9.
by closetheloopdev 26d ago
Students seem to optimize for local maxima/short-term rewards (homework scores) at the expense of the global maximum/long-term rewards (learning).
10.
by closetheloopdev 27d ago
If you want to live only in the terminal, you can also use one of the text-based browsers [1] instead of Chrome, Firefox, etc. browsh [2] can also play YouTube videos if you'd like. You can also just use the system console with tmux or
11.
by closetheloopdev 1mo ago
OpenRouter uses Stripe to handle payments [1], so this acquisition hopefully will reduce OpenRouter's cost while increasing Stripe's revenue. [1] https://stripe.com/newsroom/news/openrouter-and-stripe
12.
by closetheloopdev 1mo ago
While reading the essay, I could not stop thinking about the literal "X" company which was formerly known as Twitter :D. It's like X is no longer a variable but a constant.
13.
AI Startup Cognition in New Funding Talks at $40B Value(bloomberg.com)
3 points by closetheloopdev 1mo ago|0 comments
14.
by closetheloopdev 1mo ago
It seems Google has to play both offense and defense: competing against frontier labs' models while protecting search and ads. They also have to be mindful of not doing anything that could hurt their own search or ads. That seems harde
15.
by closetheloopdev 1mo ago
ASICs may be too slow to iterate. If we want to close the development loop faster, I think FPGAs are a way to do so. With everything moving so fast nowadays, by the time the ASICs are ready for production, they could be already outdated, so
16.
by closetheloopdev 1mo ago
With the top AI personnel leaving Google, I wonder what will happen to their Gemini. Right now they still have a lead in inference hardware with TPUs but with both Anthropic and OpenAI developing their own chips, I wonder how long until eit
17.
Anthropic Is Building Its Own Chip(businessinsider.com)
23 points by closetheloopdev 1mo ago|11 comments
18.
by closetheloopdev 2mo ago
I could do the same with REST where I create an LLMs' BFF that does all of the aggregations for me so that only the data the LLMs need are returned ;) We already do that for mobile app clients, so LLMs are just another type of clients
19.
by closetheloopdev 2mo ago
I just realized that MCP releases do not use semver. It says this is a 2026-07-28 version which is quite unusual and can be quite hard to keep track of, especially when backwards compatibility is of concerns. There is a one-year-old open Gi
20.
by closetheloopdev 2mo ago
I think it is now possible to do one curl to call an MCP tool, instead of three previously. I tried MCP before but the models still needed a lot of hand-holding to be able to use the MCP tools effectively, and I found that just giving them