International Mathematics Olympiad

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.