Back to AIBriefs
AnalysisAI ModelsScience

Aleph Prover formalizes OpenAI's disproof of Erdős planar problem

Yann LeCun
@ylecun

Professor at NYU & Executive Chairman at AMI Labs. Ex-Chief AI Scientist at Meta. Researcher in AI, Machine Learning, Robotics, etc. ACM Turing Award Laureate.

New Yorkyann.lecun.com
View on X
Yann LeCun avatar
Yann LeCun
@ylecun

RT @logic_int: NEW: Aleph Prover has formalized OpenAI’s disproof of Paul Erdős’ planar unit problem. We are releasing the formalization a…

·
13 days ago
Aleph Prover formalizes OpenAI's disproof of Erdős planar problem — AIBriefs