tmp10423288442

7 ms·

1.
by tmp10423288442 8d ago
The models produce both Lean code for formal verification and a traditional-style narrative proof. Like the general long-form output of frontier models, the math papers produced appear to be generally correct technically, but written in an
2.
by tmp10423288442 8d ago
Why would society fund mathematicians if they decided to become a guild that hides secrets? They could pursue that as a hobby, but they’d end up like the coders who refuse to use LLMs - rapidly becoming irrelevant and a bit sad from an outs
3.
by tmp10423288442 13d ago
I can have Astra run a large-scale infrastructure migration 24/7 (much of the time waiting for results), completing it in weeks or even months faster than I could before agentic AI.
4.
by tmp10423288442 13d ago
If no one can find your site because you block agents, that won’t do much good either.
5.
by tmp10423288442 15d ago
Kind of. Eventually it gets too slow even for the OpenAI engineers using it, and then they need to fix it.
6.
by tmp10423288442 17d ago
ChatGPT uses a distinct bot type for ChatGPT-initiated web search versus model training: GPTBot → model improvement / training crawl OAI-SearchBot → search index / ChatGPT Search ChatGPT-User → fetch initiated by a u
7.
by tmp10423288442 19d ago
> the current supreme court seems perfectly willing to throw out decades of settled law on an ideological whim, and actually, for that matter, happily interpret very clear congressional statutes in very odd ways Fortunately or unfortunat
8.
Mechanical Turk shutting down September 30(mturk.com)
534 points by tmp10423288442 21d ago|167 comments
9.
by tmp10423288442 21d ago
Iran is essentially finished at this point - they no longer have control over the Strait of Hormuz, and oil is rapidly flowing through the strait (to say nothing of the oil already exported via other pipelines, or the impetus the war gave t
10.
by tmp10423288442 21d ago
But you weren't going to ask the LLM, and now you know something you weren't aware of. Seems no different than someone reporting what they found out in a Google Search, as long as they disclose that they used an LLM (as long as th
11.
by tmp10423288442 21d ago
Should governments not have posted announcements in newspapers back when they were widely read, even though they require paying to read them?
12.
Tim Curry, star of The Rocky Horror Picture Show, dies aged 80(the-independent.com)
28 points by tmp10423288442 21d ago|5 comments
13.
by tmp10423288442 21d ago
Give them some time - the rescinding of the designation only just happened.
14.
Disrupting a new covert influence campaign from Russia(openai.com)
4 points by tmp10423288442 22d ago|0 comments
15.
by tmp10423288442 22d ago
Nah, Jevon’s Paradox says that cheaper tokens will mean increased overall energy consumption. If we can’t even build data centers, the least disruptive industrial use possible, there’s no hope to reindustrialize the US or anywhere outside o
16.
by tmp10423288442 22d ago
SemiAnalysis’ founder was roommates with Anthropic people, not OpenAI, so he may be slightly (very slightly) more objective here.
17.
by tmp10423288442 24d ago
With Sol OpenAI is more like the A student, and Astra seems like it will be the S-tier student if the rumors are true.
18.
by tmp10423288442 24d ago
ChatGPT literally released a major update of their realtime voice model a month or two ago, going from gpt-4o-level (generously) to gpt-5.5 level performance. So at least 2026-level performance was necessary to provide a really good experie
19.
by tmp10423288442 26d ago
I think I misunderstood your original scenario. This one makes a lot more sense. Although I wouldn't want to be in the position of being the test case.
20.
by tmp10423288442 26d ago
I severely doubt that judges will be impressed with this reasoning.
21.
by tmp10423288442 28d ago
What I've read about government hospitals in India is that they're extremely overcrowded, with people crowding the hallways and waiting rooms to be seen while bleeding out or dying from illness, without even air conditioning in a
22.
by tmp10423288442 28d ago
Really depends on your insurance, and whether you're visiting for a yearly physical or for an actual concern.
23.
by tmp10423288442 28d ago
I just don't agree that poverty explains a lot of crime, particularly in developed nations. There's probably some explained by legitimate need, but a rational person would probably find welfare and other benefits easier to use and
24.
OpenAI previews zero-retention safety system as Anthropic requires data logs(axios.com)
2 points by tmp10423288442 28d ago|0 comments
25.
by tmp10423288442 29d ago
People hate crime than they hate any of these faults of police. With modern surveillance technology, you could probably get rid of a fair number of cops, but you’d still need some muscle to actually enforce the law. The other option is regu
26.
by tmp10423288442 1mo ago
I think the more honest people in the space acknowledge that’s at least one of, if not the major reason. The antivax movement contributes as well of course
27.
by tmp10423288442 1mo ago
It doesn’t copy the brightness AFAIK
28.
by tmp10423288442 1mo ago
Maybe yes, maybe no. Measles cases have been on a long-term upward trend in the US since the bottom around 2000: https://ourworldindata.org/grapher/number-of-measles-cases?t... In Canada, measles cases suddenly explode
29.
by tmp10423288442 1mo ago
Scott Aaronson basically invented this form of watermarking, so it's not surprising he has a good description of it.
30.
by tmp10423288442 1mo ago
LLMs never are limited to "exact words", because their output is inherently probabilistic. The method Anthropic (along with Gemini, who has been using the exact same watermark for at least a year) uses doesn't bias the output

More ›