Show HN: Lathoa, a math app for kids where the AI is wrong on purpose

OpenAI Says It Has Cracked One of Math's 'Millennium Problems'

AI Is Not Going to Kill My Love of Math

Show HN: Math Gambling

How An AI math breakthrough ignited a controversy

Showcase: a library to convert LaTeX math to MathML Core

Formalizing Fermat's Last Theorem

Tao: Open math problems being non-renewably mined by AI

Fermat's Last Theorem: Anthropic has beaten me to it

Better AI code comment detector