OpenAI says an internal AI model found an algorithm contradicting ETH. Lean checked a weaker bound; independent expert review is pending.
OpenAI Says Its AI Found A Counterexample. What Does That Prove?
Browsing Category
Ancient Greek Skepticism
300 posts
NASA’s Perseverance Views Dust At Neretva Vallis
NASA published an enhanced-color 360-degree panorama of dusty Neretva Vallis, made from 217 Mastcam-Z images taken by Perseverance in May 2024.
Why AI Text Can Feel Draining, And Six Ways To Improve The Reading
An October 2026 preprint compares 14 language models with human writing and identifies six patterns that may make AI text harder to process.
2026 October 26 – M42: The Great Nebula In Orion
NASA’s Astronomy Picture of the Day features a deep, assigned-color image of M42, a nearby star-forming region about 1,500 light-years away.
50 Signs Of Superintelligence: Measuring AI’s Progress Toward AGI
An October 2026 review of Alan D. Thompson’s 50-sign ASI tracker finds uneven evidence and major gaps in how progress is measured.
Your Book Review: The Ghost In My Brain
An anonymous ACX contest entry reviews Clark Elliott’s memoir of severe concussion, its effects and the treatments he says helped him recover.
NASA’s Artemis III Mission To Test Future Moon Lander Operations
NASA plans a 2027 Artemis III mission to test Orion’s docking and crew operations with Blue Origin and SpaceX lander test vehicles in low Earth orbit.
LitPivot: Navigating The Literature Landscape To Shape Research Ideas
A 17-researcher study found LitPivot proposals were rated as better grounded in relevant literature than proposals made with an editor and AI chat tool.
Claude And Formal Verification: The Promise And The Boundaries
Anthropic and Theorem report machine-checked proofs for 239 fuzz-test entry points, while outlining limits in scope, assumptions and cost.
Harvard Students Put New Claude Access To Use In Their Studies And Projects
A Harvard Crimson headline reports students are using expanded Claude access in classes and personal projects; program details and effects are not yet clear.
