It's that time of the month. A new LLM has been launched (GPT 5.6) and everyone is jumping on their favorite conjectures and open problems to see if the LLM can help solve it.
If this is the future of mathematics, it's kind of bleak.
Simon Frieder
@friederrrr
Making the hills LLMs can climb towards becoming Math Copilots. AIMO Prize Manager.
friederrr.org
(Opinions my own.)
Joined January 2023
