https://phys.org/news/2025-11-ai-math-genius-accurate-results.html
“At the 2024 International Mathematical Olympiad (IMO), one competitor did so well that it would have been awarded the Silver Prize, except for one thing: it was an AI system. This was the first time AI had achieved a medal-level performance in the competition’s history. In a paper published in the journal Nature, researchers detail the technology behind this remarkable achievement.The AI is AlphaProof, a sophisticated program developed by Google DeepMind that learns to solve complex mathematical problems. The achievement at the IMO was impressive enough, but what really makes AlphaProof special is its ability to find and correct errors. While large language models (LLMs) can solve math problems, they often can’t guarantee the accuracy of their solutions. There may be hidden flaws in their reasoning.”

“AlphaProof is different because its answers are always 100% correct.”

Uh-huh…

Peat and repeat are on a logarithm
https://techxplore.com/news/2025-11-code-complexity-science-p-np.html
“Everyone working in computer science and mathematics knows about the ‘P vs. NP’ problem,” Seth says. “It’s one of the notorious Millennium Prize Problems: so famous and so difficult that solving one will earn you a million dollars.” The paper, “A Tolerant Independent Set Tester,” was presented at the 2025 Symposium on Theory of Computing. The findings are published on the arXiv preprint server.

If four quarters are worth a dollar–how much is a bunch of nickels?

Are you married or happy?

Is it as warm in the summer as it is in the country?

More
https://phys.org/news/2025-11-mind-rogue-planets-moons-life.html

Richard M: This Sierra Dream Chaser update will be a full post, once the New Glenn launch finishes. It is most revealing, and not in a good way.

https://www.sierraspace.com/press-releases/sierra-spaces-dream-chaser-spaceplane-successfully-completes-critical-pre-flight-milestones/

They posted a follow-up on X promising a video of the tow test, which they say is currently being edited.

Also a post answering a question about when the flight will be. “Targeting Q4 of 2026”

https://x.com/SierraSpaceCo/status/1989006473569972528

I think this has more to do with chasing certain defense procurement dollars at a critical juncture than anything else. And no, I don’t think any of us should expect it to fly in 2026. But there you go.

https://www.space.com/space-exploration/launches-spacecraft/ongoing-solar-storm-delays-blue-origin-launch-of-nasa-mars-probes

Intense solar storm delays Blue Origin launch of NASA Mars probes
News
By Josh Dinner published 8 hours ago
There’s definitely some irony in ESCAPADE’s Mars space weather probes being delayed by space weather.