ai-for-science
Claude raised the zeta critical-line bound to 67.2 percent, and Anthropic published the proof News
An unreleased research version of Claude raised the proven lower bound on the fraction of Riemann zeta zeros lying on the critical line from 41.6 percent to 67.2 percent, and Anthropic published the paper and a machine-checked Lean proof on August 10.
An AI tightened a 70-year-old constant, and the paper says its judgment was the weak part News
A case study from seven researchers documents how an AI system helped tighten the best known bounds on the Grothendieck constant, and reports plainly that the system was strong at technical execution but weak at research judgment and at tracking where the work stood.
The White House science blueprint reroutes research toward AI - without moving a dollar yet News
The White House Office of Science and Technology Policy released Science: A New Golden Age on July 21, proposing to reorient federal research around individual investigators, fast grants, AI-ready data and automated labs - an agenda-setting document that specifies no reallocation of funds.
Arcee Announces Genesis-Science-1, an American Open-Weight Model for Science News
Arcee announced Genesis-Science-1, a planned trillion-parameter-class American open-weight scientific model built with the Department of Energy and national labs, with weights promised later this year.
AI Helped Crack a Famous Math Conjecture, and Humans Verified It in Lean News
Mathematicians found an explicit counterexample disproving the Jacobian conjecture in three dimensions, checked partly with an AI chatbot and formalized in a Lean proof, while two other viral AI-math claims remain unverified.
Isomorphic Labs Unveils a Drug-Design AI That Beats Physics at Predicting How Drugs Bind News
Isomorphic Labs, the DeepMind drug-discovery spinout, unveiled a Drug Design Engine that surpasses even physics-based methods at predicting binding strength and recomputed a cereblon drug pocket that took 15 years to find in the lab.
AI is now solving hard math and physics problems faster than humans can formally check them News
A widening 'verification lag' is emerging as AI produces candidate solutions to hard problems faster than experts can formally verify them - physicist Yuji Tachikawa reports Fable cracked a six-month research blocker, while a GPT-5.6 Erdos claim circulates without peer review.
AI supercharges individual science careers -- and quietly narrows what the whole field explores News
A Nature study of 41 million papers found that scientists who use AI publish far more and get far more citations, but AI-heavy research clusters around the same popular problems, shrinking the collective diversity of ideas the field pursues.
A 2025 Nobel chemist is leaving the US to run an AI materials lab in China News
Omar Yaghi, who won the 2025 Nobel Prize in Chemistry, has taken a full-time position at Tsinghua University in Beijing to lead a new AI-assisted materials-discovery institute, citing US grant cuts and a lack of American engagement with AI.
SciReasoner is an AI for science that shows which atoms and bonds its answer rests on News
Shanghai AI Lab's SciReasoner turns proteins, molecules, and crystals into discrete tokens the model reasons over out loud, so a scientist can audit which structural evidence its prediction depends on -- and expert reviewers rated its reasoning at least as good as a frontier LLM's in 98% of cases.
Anthropic launches Claude Science, an AI workbench that keeps data in the lab and checks its own citations News
Anthropic released Claude Science, a beta workbench that wires Claude into researchers' real tools -- PubMed, Jupyter, HPC clusters -- runs on the lab's own hardware so sensitive data never leaves, and pairs a working agent with a separate reviewer agent that flags and corrects citation and calculation errors.
SciReasoner, a science AI whose reasoning experts prefer 98% of the time News
SciReasoner, a multimodal scientific foundation model that turns molecular and material structures into a shared vocabulary, hit state-of-the-art on 67 of 86 benchmarks, and in blind review domain experts preferred its explanations over frontier LLMs in 98% of cases.
An AI Agent Screened 2.4 Million Crystals and Found Four New Superconductors News
An AI system called ElementsClaw screened 2.4 million candidate crystal structures and flagged four new materials that a lab has since synthesized and confirmed are genuine superconductors.
Can an AI Agent Reproduce Real Science? A New Test Says: Rarely News
A new benchmark points coding agents at the actual computational results behind ninety papers in top journals. The strongest models matched the published science on fewer than one in five.