Conviction requires a vote of two-thirds of Senators present on any article of impeachment.

Jack Welch.

known as ? Vanguard -1 and Vanguard 0 ? And after the Navy could not deliver, we went to the tried-and-true ex-Nazi and his V-2, excuse me, Redstone to launch Explorer 1.

Yes, I'd like to see QwQ's proof. My understanding is that QwQ is a NeuroSymbolic AI. I have my doubts that a straight-up neural-network LLM could provide one, but I'd sure be interested in what QwQ can do. Does it use Coherence-Driven Inference? If it can give me the first 10 digits of Chaitin's constant, all the better. I agree that Einstein's Special Theory of Relativity might be within reach soon, but general relativity would probably take longer.

Proof is straight-forward. Assume a candidate irrational A. Any irrational divided by a rational is irrational. So A/2 is irrational,and less than the candidate. Say hello to Mr. Zeno while you're at it.

It was too hard for Gemini, but not for yours. Excellent explanation. Does it know the difference between computable and non-computable irrationals, and if so, does it know the cardinality (computable => Aleph 0, non-computable => Aleph 1) ? Because it's the Aleph 1 cardinality that defines a continuum in this instance. Thanks for running the example, must admit I'm impressed.

Percentage of people that can predict the first irrational number > 37: 0. Percentage of people that know, and can demonstrate why, they cannot predict the first irrational number > 37: > 0. What says the LLM of your choice ?

If true, it should be able to deduce infinitesimals and the single- and multi- variable Calculus, given only the training materials available to Newton and Leibniz in the seventeenth/eighteenth centuries. Or, Maxwell's equations. Or, Carnot's theorem. Or, ... well, you get the idea. Maybe the NeuroSymbolic marriage will deliver this fruit.

in a recent WSJ Opinion piece on AI (3/1/2025) said:

"A mathematical proof can be checked and verified within the system itself."

Apparently, Mr. Schmidt, despite his impressive accomplishments, is not familiar with Mr. Kurt Godel.

Elmo's Full Self Driving.

The quotation is from Jamie Dimon. He is the object of my sarcasm.

Musk is our Wernher von Braun, then ? Except for the fact that von Braun was an actual rocket scientist. Otherwise, their careers bear striking similarities.

"Elon Musk is our Einstein" No double talk. In fact, he's the straight-talk express.

Mod parent up.

Y'know, when you're right, you're right. An equation without an equals sign ? Eff it. It's whatever I say it is. And so is an operating system. And so it goes.