Tag: Understanding

• Sep 18, 2026

  Two responses to “A Severe Misalignment of AI in Mathematics”

  by M. Levent Doğan, Timothy Nguyen

  AI companies · Response · Technology · Understanding

  10 comments on Two responses to “A Severe Misalignment of AI in Mathematics”
• Sep 8, 2026

  (auto)formalization, but why

  by Seewoo Lee

  Formalization · Lean · Reflection · Understanding

  3 comments on (auto)formalization, but why
• Sep 4, 2026

  On proof and progress in mathematics in the age of generative LLMs

  by Andrew Ng

  Community · Reflection · Understanding

  11 comments on On proof and progress in mathematics in the age of generative LLMs