The proof came from a general-purpose reasoning model, not a system built specifically to solve math problems or this problem in particular, and represents an important milestone for the math and AI communities.
HiWord Reading Lesson
OpenAI Model Disproves Discrete Geometry Conjecture
把真实英文变成可学习的精读。 这篇分享来自 HiWord:点词查义、听读、跟读和复习都已经在同一条阅读路径里。
读懂点击高亮词,直接看中文释义。
听熟朗读全文,切到双语时逐句对照。
练出来把材料带进跟读和复习。