Technology

• 15 October 2026

  Proof and Resolution: Two Different Forms of Establishment

  by Pronab Pal

  Reflection · Technology · Understanding

  4 comments on Proof and Resolution: Two Different Forms of Establishment
• 18 September 2026

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

  by M. Levent Doğan, Timothy Nguyen

  AI companies · Response · Technology · Understanding

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