← 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.