Meet The Stanford Dropout Building An AI To Solve Math’s Hardest Problems—And Create Harder Ones

Axiom Math, which has recruited top talent from Meta, has raised $64 million in seed funding to build an AI math whiz.
scmp.com

Alibaba upgrades flagship Qwen3 model to outperform OpenAI, DeepSeek in maths, coding

Alibaba Group Holding unveiled an upgraded version of its third-generation Qwen3 family of large language models (LLMs), improving one of its members to score higher in maths and coding than products ...