Rodriguez et al-Cyberattack Chain Framework

About the Journal

We are entering the era of artificial general intelligence (AGI) and foresee beyond it to superintelligence (SI). Assuring safe interaction between AGI/SI and humans is increasingly urgent and important. Ideally, safe interaction means provably safe, i.e. via mathematical proofs, the laws of physics, or ''guaranteed safe' via modeling and simulation. We focus on ’high-risk’ AGI/SI. Realistically, we can estimate AGI/SI timelines but must implement the state-of-the-art safety tech at all times. 

SuperIntelligence™ (SI) is open-access. We continuously publish key developments in AGI/SI and AGI/SI safety: theory, technology, and governance. Submissions of articles, expert commentary, editorials, letters, and book reviews are welcome. There are no article processing charges and we emphasize public commentary over traditional anonymous peer review. Authors retain copyright, typically under CC-Attribution-NoDerivs 4.0, which permits further distribution of their work.

 

Announcements

Current Issue

Vol. 3 No. 3 (2026): Frontiers: Toward AGI in Science - Math - Theorem Proving
					View Vol. 3 No. 3 (2026): Frontiers: Toward AGI in Science - Math - Theorem Proving

Critical to the advent of AGI is AI's ability to creatively solve computer science, general science, and mathematics problems. Recent advances in applying the most advanced models to science, mathematics, and automated theorem proving appear significant.

Published: 2026-09-25

Articles

  • ScientistTwo: Pioneering the Human Knowledge Frontier with Autonomous AI

    Jaehyun Nam, Jinsung Yoon, Yanzhou Pan, Yubo Wang, Rui Meng, Parthasarathy Ranganathan, Tomas Pfister
    DOI: https://doi.org/10.70777/si.v3i3.18734
  • Aristotle: IMO-level Automated Theorem Proving

    Tudor Achim, Alex Best, Alberto Bietti, Kevin Der, Mathïs Fédérico, Sergei Gukov, Daniel Halpern-Leistner, Kirsten Henningsgard, Yury Kudryashov, Alexander Meiburg, Martin Michelsen, Riley Patterson, Eric Rodriguez, Laura Scharff, Vikram Shanker, Vladmir Sicca, Hari Sowrirajan, Aidan Swope, Matyas Tamas, Vlad Tenev, Jonathan Thomm, Harold Williams, Lawrence Wu
    DOI: https://doi.org/10.70777/si.v3i3.18745
  • Automated Conjecture Resolution with Formal Verification

    Haocheng Ju, Guoxiong Gao, Jiedong Jiang, Bin Wu, Zeming Sun, Shurui Liu, Leheng Chen, Yutong Wang, Yuefeng Wang, Zichen Wang, Wanyi He, Peihao Wu, Liang Xiao, Ruochuan Liu, Bryan Dai, Bin Dong
    DOI: https://doi.org/10.70777/si.v3i3.18746
  • AI for Mathematics: Progress, Challenges, and Prospects

    Haocheng Ju, Bin Dong
    DOI: https://doi.org/10.70777/si.v3i3.18747
  • Axiom Bits and Proof Length: Short Review

    Cristian Calude
    DOI: https://doi.org/10.70777/si.v3i3.17385

Reports

  • SI Report-Harmonic Aristotle Automated Theorem Prover

    Kris Carlson
    DOI: https://doi.org/10.70777/si.v3i3.18760
  • ScientistTwo Autonomous Research System Summary and Critical Assessment

    Kris Carlson
    DOI: https://doi.org/10.70777/si.v3i3.18761
  • UN AI Safety Meeting September 23, 2026: Brief Summary

    Kris Carlson
    DOI: https://doi.org/10.70777/si.v3i3.18763
View All Issues