Progress in Superhuman Theorem Proving?

Authors

  • Steve Omohundro Beneficial AI Research

Downloads

Published

2024-09-26

How to Cite

Omohundro, S. (2024). Progress in Superhuman Theorem Proving?. AGI - Artificial General Intelligence - Robotics - Safety & Alignment, 1(1). Retrieved from https://agi-rsa.com/index.php/agi/article/view/10947

Issue

Vol. 1 No. 1 (2024): Artificial General Intelligence Risks, Governance, Methods

Section

Commentary

License

Copyright (c) 2024 Steve Omohundro

Creative Commons License

This work is licensed under a Creative Commons Attribution-NoDerivatives 4.0 International License.