Shanghai AI Lab’s Shusheng-S2 helped resolve the 31-year-old Ghys conjecture, with a Peking University team independently ...

The benchmark confirms that some AIs are becoming exceptional tools for research-level math. But open-source models still ...

A new flow matching framework assigns each tabular variable type its natural geometric space, improving synthetic data ...

OpenAI math proofs are challenging traditional mathematics by solving complex issues like the irrational triangular billiards ...

The OpenAI math solutions release dropped 722 AI-written manuscripts in Oct 2026. Here's what's verified, what's shaky, and what it means for ChatGPT users.

OpenAI withdrew three AI-generated math papers a day after releasing 722 manuscripts, citing a sign error in an algebraic geometry proof.

Make geometric proof practice fun with this ready-to-go GCSE Maths Higher bingo PowerPoint! A lively way to practise GCSE-style questions, build confidence and see what students can do. Students ...

EquipmentShare is rated Hold due to insufficient evidence that branch maturation will translate into sustainable cash flow for shareholders. EQPT's aggressive branch expansion and maturation strategy ...

Ur-Energy is transitioning to a two-asset ISR uranium operator, with Lost Creek output rising and Shirley Basin fully permitted. Q2 marked operational improvement: Lost Creek production was up 47% QoQ ...

下一项值得做的用户可见切片是一个 Architecture Delta：给它两份已经存在、已经通过 Archify 校验的 architecture JSON，它生成一个离线、自包含、可验证的 HTML，默认回答“架构事实改了什么”，并可 ...

Workbuddy技能：数学几何视频 geometry-math-proof-remotion @user_8bb4b4f5/geometry-math-proof-remotion 源自 SkillHub 用 Remotion 制作数学证明/几何 ...

Timothy Gowers calls OpenAI's ten solved problems extraordinarily impressive, then spends 4,000 words on what they are not. The famous results were counterexamples rather than theorems. One of them, ...