许志强摘要本文利用交错多项式方法，结合根与系数的关系，建立矩阵列子集最小奇异值的统一下界，在选列数接近行数时改进已有估计，包括经典的 Hong-Pan ...

三个月前，我们发布了 Hyra 1.0⁽¹⁾：一套面向通用科研问题的、极简的 agent 循环。发布一周后，在开源模型 Hy3 的驱动下，Hyra ...

As AI floods math with unchecked proofs, Axiom Math is betting on verification. The startup’s AI agents just formally ...

When you re-solve problems you got wrong on a test, you can sometimes solve them on the spot. But, after some time has passed ...

When aiming for top-tier private schools like Kaisei, Keio, or Waseda, national university-affiliated schools, or the top ...

Hongsheng Zhang of China's University of Jinan has shown that spacetimes with a global null foliation cannot contain closed ...

Axiom Math says its AI agents have formally verified the 7,654-page Stacks Project, creating a reusable mathematical ...

Ateneo Grade School (AGS) students from Grades 2 to 5 strengthened their problem-solving and analytical thinking skills during the 2026 Ateneo Summer Math Problem-Solving Program held from 8 to 11 ...

For 13 years, Adriana Aviles, a fierce education advocate and former NYPD cop, has been the ultimate insider in New York City ...

Machine-powered math can take on huge problems with millions of unknowns. That can be concerning—but also holds enormous ...

Remember these 1980s school supplies? From Trapper Keepers and scented markers to colorful folders, revisit 12 nostalgic ...

Axiom Math, an AI startup founded by 25-year-old Stanford dropout Carina Hong, has converted thousands of pages of advanced ...