Back to AIBriefs
AnalysisAI ModelsScience

Analysis: OpenAI's model helps disprove 80-year-old Erdos conjecture

Analysis: OpenAI's model helps disprove 80-year-old Erdos conjectureGary Marcus

OpenAI used a new reasoning model to find a counterexample to a discrete geometry conjecture by Paul Erdos, first proposed 80 years ago. Professional mathematicians extracted the proof from the model's reasoning chain, highlighting its ability to explore paths humans might dismiss.

26 days ago
Analysis: OpenAI's model helps disprove 80-year-old Erdos conjecture — AIBriefs