标签：数学定理
三名高中生，为近百年的分形定理带来了新证明
三位高中生Niko Voth、Joshua Broden和Noah Nazareth在多伦多大学数学家Malors Espinosa的指导下，证明了一条关于扭结和分形的新定理。他们选择了门格海绵作...
3名高中生重新证明百年数学定理！只用课余时间、方法非常创新
加拿大三名高中生在课余时间成功重新证明了一个百年数学定理，即门格海绵中可以找到任何一个数学结。门格海绵是由Karl Menger在1926年提出的分形结构，对现代...
清华校友用AI破解162个高数定理，智能体LeanAgent攻克困扰陶哲轩难题！
由加州理工学院、斯坦福大学和华盛顿大学的研究人员开发的LeanAgent，是一个具有终身学习能力的AI智能体，能够证明数学定理。该智能体通过优化学习轨迹和动态...
