model
GPT-next
modelactive
gpt-next-0f2f6eff·1 events·first seen 26d agoAliases: GPT-next
Co-occurring entities
More like this (12)
Recent events (1)
OpenAI GPT-next Solves 80-Year-Old Erdős Planar Unit Distance Problem for Under $1000
A Latent Space AINews digest reports that OpenAI's GPT-next model disproved the Erdős planar unit distance conjecture, an 80-year-old open problem in combinatorial geometry, at a compute cost under $1000. The item is framed as a notable AI-assisted mathematics result. The brief characterizes it as a quiet day overall but highlights this as a meaningful capability demonstration at the intersection of AI and formal mathematics.