← Back to Neel Somani's Homepage

GPT-Erdos

View repo

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.