Links for 2026-05-30
AxiomProver
Axiom Math’s AxiomProver has produced machine-checkable mathematical proofs that were turned into conventional papers, five of which have reportedly been accepted by peer-reviewed math journals.
Math journal review cycles can famously take years. Why so fast here? The key difference is that the core proofs are not just written in prose: AxiomProver turns natural-language research problems into Lean/Mathlib formalizations and proof certificates, so the inferential steps can be checked mechanically by Lean.
That does not eliminate human peer review. But it changes what reviewers need to focus on: whether the Lean theorem matches the mathematical claim, whether the assumptions and dependencies are correctly stated, whether the result is novel and significant, and whether the human exposition is clear.
Interview: https://www.axios.com/2026/05/26/axiom-ai-math-journal
No paywall: https://archive.is/ezJm7
Papers: https://axiommath.ai/papers
Anthropic releases Claude Opus 4.8
Quotes:
Early testers report that Opus 4.8 is more likely to flag uncertainties about its work and less likely to make unsupported claims. This is borne out in our evaluations, which show that Opus 4.8 is around four times less likely than its predecessor to allow flaws in code it has written to pass unremarked.
…we plan to release a new class of model with even higher intelligence than Opus.
ArxivMath (research-level, final-answer, March+April 2026 releases, 71 problems): 71.82% with extended thinking — effectively tied with GPT-5.5 xhigh (71.48%) and ahead of Gemini 3.1 Pro Preview (64.79%).
Read more: https://www.anthropic.com/news/claude-opus-4-8
AI
Scott Aaronson: Dispatches from the possibly last days of human relevance https://scottaaronson.blog/?p=9782
Jeff Dean, Koray Kavukcuoglu, Noam Shazeer, and Oriol Vinyals on self-learning and using Gemini to improve Gemini https://youtu.be/8hfpLa5wPGo?si=bxFkX5ZQlS20EAMV&t=1931
A World Model of Protein Biology https://biohub.ai/esm/protein/about
ECHO: Terminal Agents Learn World Models for Free https://arxiv.org/abs/2605.24517
SkillOpt: Executive Strategy for Self-Evolving Agent Skills https://arxiv.org/abs/2605.23904
SIA: Self Improving AI with Harness & Weight Updates https://arxiv.org/abs/2605.27276
Language Models Need Sleep https://arxiv.org/abs/2605.26099
Your Agents Are Aging Too: Agent Lifespan Engineering for Deployed Systems https://arxiv.org/abs/2605.26302
Multi-Mixer Models: Flexible Sequence Modeling with Shared Representations https://arxiv.org/abs/2605.28769
Unified Neural Scaling Laws https://arxiv.org/abs/2605.26248
Rethinking Memory as Continuously Evolving Connectivity https://arxiv.org/abs/2605.28773
Jeff Bezos says Project Prometheus is building an “artificial general engineer” https://www.geekwire.com/2026/jeff-bezos-describes-his-38b-startup-prometheus-for-the-first-time-nothing-to-do-with-robotics/
US Law Enforcement Warns of ‘Anti-Tech Extremism’ as AI Hatred Grows https://www.wired.com/story/us-law-enforcement-warns-of-anti-tech-extremism/ [no paywall: https://archive.is/xvPmG]
China Expands Travel Curbs to Top AI Talent at Private Firms https://www.bloomberg.com/news/articles/2026-05-26/china-expands-travel-curbs-to-top-ai-talent-at-private-firms [no paywall: https://archive.is/CKR9q]
Fixed-precision weight-regularized neural networks have a formal bias toward short algorithmic descriptions. https://arxiv.org/abs/2605.10878
Building self-improving tax agents with Codex https://openai.com/index/building-self-improving-tax-agents-with-codex/
Robinhood is letting AI agents trade stocks and spend money for users https://techcrunch.com/2026/05/27/robinhood-now-lets-your-ai-agents-trade-stocks/
AI in gdp https://marginalrevolution.com/marginalrevolution/2026/05/ai-in-gdp.html
“This short note is aimed at mathematicians. I explain the importance of test-time scaling, show how to calculate that the price of Unit Distance Conjecture resolution was <$100, and estimate GPT-5.5-Pro one-shot success rate on minor open math problems to be 0.4%.” https://rybindmitry.github.io/blogs/understanding-llm-math-capabilities-via-search.html
How can the middle powers avoid getting trounced during the intelligence explosion? A plan. https://www.lesswrong.com/posts/hi5cmPgJqkFxpMgSC/how-can-the-middle-powers-avoid-getting-trounced-during-the
Health Tech
Researchers are using stem cells to regenerate the lost cardiac muscle in heart failure patients, helping them to regain heart function without the need for a transplant. https://www.nejm.org/doi/full/10.1056/NEJMoa2513525
The ramp up of cancer immunotherapy is remarkable. Now we're seeing vaccines achieve some cures or remissions in the most refractory cancers: pancreatic, melanoma, glioblastoma, renal, triple-negative breast cancer. https://erictopol.substack.com/p/the-remarkable-proliferation-of-cancer
“The Ballad of TIGIT” recounts the spectacular, multi-billion-dollar failure of a highly anticipated class of cancer immunotherapy drugs. Despite theoretically sound science and massive industry investment, the drugs ultimately proved ineffective, offering a humbling lesson in the complexities of drug discovery. https://www.lesswrong.com/posts/iyatrrJaHysuhrqXe/the-ballad-of-tigit
Inside Putin’s $26 Billion Quest for Longevity https://www.wsj.com/world/russia/putin-longevity-antiaging-92dee6e8 [no paywall: https://archive.is/qtMjh]
Physics and Engineering
Atomically precise mechanosynthesis of carbon structures on hydrogenated Si(100) by inverted-mode STM https://arxiv.org/abs/2605.27250
Physicists put a single chunk of metal into two places at once, the largest object ever shown to obey quantum mechanics’ weirdest rule. https://www.nature.com/articles/s41586-025-09917-9
Silicon Carbide Electronics and Sensors https://www.nasa.gov/glenn/research/silicon-carbide-electronics-sensors/
MIT researchers develop a low-cost technique to get lithium out of rocks https://news.mit.edu/2026/mit-researchers-develop-low-cost-technique-lithium-from-rocks-0528
Amazon Thinks the Future of Data Centers Depends on a Technical Problem It Just Solved https://www.wired.com/story/amazon-thinks-the-future-of-data-centers-depends-on-a-technical-problem-it-just-solved/ [no paywall: https://archive.is/G2I9y]
Miscellaenous
New research finds that very high intelligence is associated with the cumulative effect of hundreds of genetic variants of small individual effect, while very low intelligence is associated with a small number of rare variants of large individual effect. https://www.nature.com/articles/s41586-026-10516-5
Pigeons navigate using magnetic sensors in their livers https://www.mpg.de/26511515/pigeons-navigate-using-magnetic-sensors-in-their-livers
A Billion Years of Sex Differences by Steve Stewart-Williams review – what we get wrong about men and women https://www.theguardian.com/books/2026/may/25/a-billion-years-of-sex-differences-by-steve-stewart-williams-review-what-we-get-wrong-about-men-and-women [no paywall: https://archive.is/EOwBa]
Infinite ethics and UDASSA https://www.lesswrong.com/posts/zvqodicK8q2SNAZkd/infinite-ethics-and-udassa
Ukraine
It’s just crazy how the war developed. At the beginning, Ukrainian attacks against Russian territory were an absolute rarity. Now we see successful attacks against well-protected military sites and critical infrastructure several times per day.
The Black Sea Fleet had to largely withdraw from Sevastopol to Novorossiysk, where it is attacked all the time. 73% of Russia’s major refineries have been damaged. And now we’re witnessing Ukraine gaining fire control over Russian deep rear logistics, which is already causing a fuel crisis in Crimea.[1]
And even at the front, things are looking bleak as Russia has hit its slowest pace of advance since 2023.
I didn’t expect this.
[1 ]Logistics Lockdown: Disrupting the Road Logistics Network of Russia in the Occupied Territories of Ukraine https://tochnyi.info/2026/05/logistics-lockdown-disrupting-the-road-logistics-network-of-russia-in-the-occupied-territories-of-ukraine/
Ukrainian attack on the Russian Project 11356 frigate “Admiral Essen” at the Novorossiysk Naval Base, 23.05
A Russian crew member aboard the Buyan-class ship is seen jumping overboard from the burning vessel as a second Ukrainian strike drone approaches the ship.
The moment of the simultaneous two-drone strike on a Russian oil-loading pier at the port of Tuapse is shown.
(44.0841248, 39.0731335)