SourceTen advances in mathematics and theoretical computer science
These findings may advance practical technologies like post-quantum cryptography and spark discussions about how AI authorship is attributed in scientific research.
- Model formalized arguments in Lean certificates.
- Problems solved span sphere packing, group theory, quantum complexity, and lattice cryptography.
- Total token cost to find solutions was roughly $2,000 at Sol API rates.