graycat

55 ms·

421.
by graycat 3y ago
Commonly in high school, students learn to do proofs in a few days/weeks from a few dozen examples. Sorry, best I can guess, the basic technology of ChatGPT can't learn an equivalent way of doing proofs even from millions of pro
422.
by graycat 3y ago
Summary: I'd like to see some progress in software for automation of significant cases of reliable mathematical reasoning, but, sorry, from what I know about such reasoning and LLMs, I just don't see LLMs as a promising path to su
423.
by graycat 3y ago
> This paper and method is about getting language models to be better at math without changing their architecture. My understanding, memory is that already decades ago there was some software that was good at doing calculus manipulations
424.
by graycat 3y ago
So, the goal of the paper in https://cdn.openai.com/improving-mathematical-reasoning-with... is "Improving Mathematical Reasoning with Process Supervision". Since I hold a Ph.D. in pure/applied math from a fa
425.
by graycat 3y ago
What does UXR (user experience research) think of the user interface of, say, Hacker News or Google?
426.
by graycat 3y ago
The article has > In particular, there's no physical law that puts a cap on intelligence at the level of human beings. and in that section goes on with more such claims in this theme. I don't agree: My guess is that in this un
427.
by graycat 3y ago
> Octopus, as mollusks, are very far away on the evolutionary tree. Yes, but for some fast, short, rough guesses, regard intelligence as thinking that yields advantages in surviving in the real world. Then guess that in general intel
428.
by graycat 3y ago
Very fast calculus: Consider a standard car with a speedometer (reports how fast are going) and an odometer (reports how far have gone). Easily enough we can take the speedometer readings, say, 1 time each second, and calculate a good appr
429.
by graycat 3y ago
I'm reminded of the Boeing 314 "Clipper" flying boat, https://en.wikipedia.org/wiki/Boeing_314_Clipper Apparently it did have range enough for, say, between LA and SF, non-stop.
430.
by graycat 3y ago
My theory about cookbooks: They are not designed for cooking or even cooks. Instead, the books are fantasy , to let the reader imagine that they could, will, might cook delicious meals and get praise, affection, love, and approval from th
431.
by graycat 3y ago
Watched, listened to Altman's presentation. Objection (1). He said "AI" many times but gave not even a start on a definition. So, how much and what new technology is he talking about. Objection (2) The committee mentioned
432.
by graycat 3y ago
In simple terms: Credibility and Checking. We have ways of checking suggestions. Without passing such checks, for anything new, in simple terms. there is no, none, zero credibility. Current AI does not fundamentally change this situation
433.
by graycat 3y ago
Basic Fact. In the US, we have our Constitution with our First Amendment which guarantees "freedom of speech". Some Consequences of Freedom of Speech. As once a lawyer explained simply to me, "They are permitted to lie"
434.
by graycat 3y ago
Curious. Interesting. BUT: In some very important, practical ways, the whole question, issue, etc. of P vs NP amounts to a lot less than meets the eye. In the history, much of the start was from (with TeX markup) Michael R.\ Garey and Da
435.
by graycat 3y ago
Suggestion: Add selected chemicals A to the water. Select chemicals A to add that will attach fairly strongly to the chemicals B want to remove from the water. Now the chemicals B don't want in the pure water have joined (bonded) wi
436.
by graycat 3y ago
There is the old sun spot cycle with period of 11 years. Supposedly currently the rate of sun spots is increasing, and the peak will be in ~3 years. So, sun spots send out some particles. In addition there are cosmic rays from far out
437.
by graycat 3y ago
> If that wasn't true we'd all be using Microsoft phones (or heck, IBM PCs AND phones). Once an IBM Office Manager was offering me a job and explained "IBM is a marketing organization." So, the focus was not really on
438.
by graycat 3y ago
The models , neural networks Professor Rudin is considering have a LOT of parameters, dimensions, neurons, neuron values, etc. Okay. Since apparently no one has the explanations desired, we have to guess. So, let's do some gue
439.
User Interface Irritations
2 points by graycat 3y ago|1 comments
440.
by graycat 3y ago
Soup? At a restaurant supply house, get a good 16 quart pot, heavy stainless steel with a 3-layer bottom and a lid. Get ~1 kg of red potatoes, rinse, dry, cut into bite-sized pieces, place in a large cast iron frying pan, add ~1 cup olive o
441.
by graycat 3y ago
I long thought that the main difference between US and French butter was that US butter was from fresh cream and French, from sour cream, maybe only slightly sour. In the US, I get "unsalted" butter, sometimes recommended for
442.
by graycat 3y ago
On toast? With olive oil? I do the same but generalize a little and have: 2/3 cup red wine vinegar. 2 cups olive oil. 1/3 cup Dijon mustard (adds flavor and keeps the oil and vinegar from separating, i.e., acts like an emulsi
443.
Space We Live In
1 points by graycat 3y ago|0 comments
444.
by graycat 3y ago
Yes, broadly and roughly, it's true that "It's not what you know but who you know." That roughly fits with the idea (I regard as only roughly true) that being a member of an appropriate social group is more important tha
445.
by graycat 3y ago
Tried to read the report. Somehow the font was way, Way, WAY too small to read. I don't know what concerns, worries, fears the report authors have about Fortran, but here is an easy chance for a solution: There is an open source, easy
446.
by graycat 3y ago
Here orchestration means in the context of an organization doing some work -- e.g., receiving, making, shipping. So a challenge is to take the available data and make the needed decisions. Is this work "going" anywhere? Well, y
447.
by graycat 3y ago
Three steps to catastrophe: Step 1: We get some powerful AI and have it staffing our factories, farms, etc. Step 2: We become dependent on the AI. Step 3: One day the AI has some emergent capabilities, understands our dependency, and s
448.
by graycat 4y ago
I started to watch the Beam video, and here is some immediate and simple constructive criticism: (1) Have the picture of your face BIGGER. Then SMILE and be HAPPY, even a little enthusiastic. (2) Don't drop your voice volume at the en
449.
by graycat 4y ago
Naw!!! "trust ... analysis"??? How does it go, "trust none of what you hear and only half of what you read and still will trust twice too much??? Not entirely a joke! Lately been trying to get some summary, intuitive unde
450.
by graycat 4y ago
> "... with many attributing the change to various environmental factors." How 'bout social factors?

More ›