Low SightNews on AI, science, space, and tech. Sourced, checked, and free of hype.https://lowsight.cloud/enAI Is Proving Math Faster Than People Can Check It. Who Decides What Counts as Solved?https://lowsight.cloud/posts/2026-11-11-ai-math-who-decides-solved/https://lowsight.cloud/posts/2026-11-11-ai-math-who-decides-solved/OpenAI's 2026 math claims range from a checked result to an unreviewed pile. Here is what they mean for mathematicians and for how we trust new knowledge.Wed, 11 Nov 2026 00:20:00 GMTinsightopenaimathematicsnavier-stokesleanverificationOpenAI Posts 722 AI-Written Math Papers. Three Were Pulled the Next Day.https://lowsight.cloud/posts/2026-11-11-openai-722-math-papers/https://lowsight.cloud/posts/2026-11-11-openai-722-math-papers/OpenAI released hundreds of math results made by an unreleased model. A sign error led to three withdrawals, and many proofs are still unchecked.Wed, 11 Nov 2026 00:00:00 GMTaiopenaimathematicsleanai-researchverificationGenie 4 Builds Worlds You Can Walk Through. Is That a Path to AGI?https://lowsight.cloud/posts/2026-11-10-genie-4-world-models-agi/https://lowsight.cloud/posts/2026-11-10-genie-4-world-models-agi/Google's Genie 4 makes real-time worlds with sound. Does simulating a world mean an AI understands it? Here is what Google, critics, and researchers say.Tue, 10 Nov 2026 10:50:00 GMTinsightgenie-4world-modelsgoogle-deepmindagiroboticsAI Can Now Study and Rebuild Software. What Do REA and Craft Anything Change?https://lowsight.cloud/posts/2026-11-10-rea-craft-anything/https://lowsight.cloud/posts/2026-11-10-rea-craft-anything/REA lets AI agents take software apart. Craft Anything goes further and rebuilds it. Here is what they can do, who is affected, and what experts say.Tue, 10 Nov 2026 10:40:00 GMTinsightreacraft-anythingreverse-engineeringai-agentsopen-sourceThe AI Race Shifts to Cost and Action. Is AGI Any Closer?https://lowsight.cloud/posts/2026-11-10-ai-race-shift-agi-debate/https://lowsight.cloud/posts/2026-11-10-ai-race-shift-agi-debate/Today's launches stress low cost and real work. Lab chiefs say AGI is a few years away, while many researchers doubt it. Here is what each side would need to prove.Tue, 10 Nov 2026 00:00:00 GMTinsightagiforecastsresearchscalingagentsA New X-ray Test Adds Evidence for a Third Kind of Magnetismhttps://lowsight.cloud/posts/2026-11-10-altermagnet-xray-evidence/https://lowsight.cloud/posts/2026-11-10-altermagnet-xray-evidence/Researchers used polarized X-rays on manganese telluride and saw a signature expected for altermagnets, a magnet class first reported in 2024.Tue, 10 Nov 2026 00:00:00 GMTsciencemagnetismaltermagnetmaterialsx-raysphysicsNASA Details Artemis III: A Two-Week Docking Test in Earth Orbithttps://lowsight.cloud/posts/2026-11-10-artemis-iii-orbit-docking-test/https://lowsight.cloud/posts/2026-11-10-artemis-iii-orbit-docking-test/Artemis III will not land on the Moon. In 2027 it will test docking with two commercial landers in Earth orbit, before a landing attempt on Artemis IV in 2028.Tue, 10 Nov 2026 00:00:00 GMTspaceartemisnasaorionstarshipblue-moonAnthropic Releases Claude Fable 5.2 and Mythos 5.2 at Lower Priceshttps://lowsight.cloud/posts/2026-11-10-claude-fable-5-2-mythos-5-2/https://lowsight.cloud/posts/2026-11-10-claude-fable-5-2-mythos-5-2/Anthropic's new top models run up to 30% faster and cost 20% less. Fable 5.2 is open to all users, while Mythos 5.2 is limited to vetted teams.Tue, 10 Nov 2026 00:00:00 GMTaianthropicclaudefablemythospricingAI Is Pushing Memory Prices Up, and Phones Are Feeling Ithttps://lowsight.cloud/posts/2026-11-10-dram-price-surge-device-costs/https://lowsight.cloud/posts/2026-11-10-dram-price-surge-device-costs/DRAM revenue nearly quintupled in a year while shipments barely grew. Prices drove the jump, and chipmakers such as Qualcomm are passing costs on to phone makers.Tue, 10 Nov 2026 00:00:00 GMTtechdrammemorysemiconductorssmartphonesai-demandMeta Launches Muse Ember, a Low-Cost Model for Repetitive Agent Workhttps://lowsight.cloud/posts/2026-11-10-meta-muse-ember/https://lowsight.cloud/posts/2026-11-10-meta-muse-ember/Meta's smallest Muse model costs $0.10 per million input tokens and targets the repetitive steps inside AI agents. Its benchmark results are company-reported.Tue, 10 Nov 2026 00:00:00 GMTaimetamuseagentspricingNVIDIA Unveils GR00T 2, a Robot Model That Learns From Human Videohttps://lowsight.cloud/posts/2026-11-10-nvidia-gr00t-2/https://lowsight.cloud/posts/2026-11-10-nvidia-gr00t-2/NVIDIA's GR00T 2 learns dexterous skills from a few demonstrations. Open weights are promised for December, and the benchmark numbers come from NVIDIA.Tue, 10 Nov 2026 00:00:00 GMTainvidiaroboticsgr00tisaac-lab