1
Self-Supervised Theorem Discovery in a Formal Axiomatic System
从形式化公理系统中自动挖掘定理，自监督方法带来数学发现新范式。
arXiv:2606.28747v1 Announce Type: cross Abstract: Recent artificial intelligence (AI) systems have shown remarkable progress in mathematical reasoning…