3 ms·
> Jin reported that the proof was obtained with the assistance of OpenAI's GPT-5.6 Sol model during an approximately sixteen-hour autonomous reasoning session i
by hollowturtle 1mo ago
> Jin reported that the proof was obtained with the assistance of OpenAI's GPT-5.6 Sol model during an approximately sixteen-hour autonomous reasoning session in ChatGPT Work, after which he checked the resulting argument
You're wrong