Science ❯ Computer Science

Theoretical Computer Science

Algorithms Complexity Theory PCP Theorem Computational Complexity Randomness Computational Algorithms Alan Turing Online Algorithms Computational Theory NP-Completeness Collaborative Research

Aletheia Debuts as Gemini-Based AI Math Research Agent With Claimed Research Results

An arXiv preprint details an iterative proof system whose claimed results now face community verification.