An AI system named AlphaProof Nexus has demonstrated that autonomous proof‑checking can push the frontier of mathematical research. By coupling large language models with the Lean theorem‑prover, the tool can generate conjectures and then rigorously …
A new AI‑driven analysis has identified almost 10,000 previously unknown chemical routes that can convert carbon dioxide into usable fuels and other valuable chemicals, opening a massive shortcut for sustainable manufacturing. By scanning massive reaction …
A landmark batch of 722 research papers generated by an unreleased OpenAI model has been posted to GitHub, covering roughly 20 mathematical subfields. Among the highlights, the system produced a proof of the quasi‑Riemann hypothesis, …
Six leading scientific publishers, including Sage, the BMJ group and Wangfang data, have agreed to provide a clinical AI start‑up, Redpine, with access to more than 20 million research papers under a novel ‘pay‑per‑use’ model. …
A new partnership announced on 6 October sees six leading scientific publishers—including Sage, the BMJ group and Wangfang data—provide a Swedish AI firm, Redpine, with access to more than 20 million research articles. The arrangement …
