|
Number |
Problem | Additional |
Prior solution found |
Deep Research |
Reviewer agrees with proof |
5.2 Pro |
Prompter |
Aristotle formal proof file | Details |
|---|
The content on this website is dedicated to the public domain under CC0 1.0 Universal. No rights reserved.