AI đã bác bỏ phỏng đoán 80 năm của Paul Erdős như thế nào?

==================== Support me to grow the channel - BIDV - QR: https://drive.google.com/file/d/1RUnE... Thank you everyone! ==================== Video about a nearly 80-year-old conjecture by Paul Erdős in the unit distance problem that has just been disproven by an OpenAI AI model. Timestamps: 00:00 Intro 01:32 Problem Statement 03:31 Erdos' Original Paper and Lower Bound of the Problem 07:00 Upper Bound of the Problem 07:44 Why Upper and Lower Bounds Are Needed? 09:09 How AI Refuted Erdos' Conjecture 12:09 Further Analysis 15:19 Outro References: Erdos' Original Paper: https://www.renyi.hu/~p_erdos/1946-03... OpenAI Announcement/Article: https://cdn.openai.com/pdf/74c24085-1... Companion Remarks: https://cdn.openai.com/pdf/74c24085-1... OpenAI's inference sequence summary: https://cdn.openai.com/pdf/1625eff6-5... Paper on the upper bound O(n^{4/3}): https://trotter.math.gatech.edu/paper... Will Sawin's paper on the explicit lower bound n^{1.014}: https://arxiv.org/pdf/2605.20579 ==================== Music by Vincent Rubinetti Download the music on Bandcamp: https://vincerubinetti.bandcamp.com Stream the music on Spotify: https://open.spotify.com/artist/2SRhE... ====================