Latest news
AI Overturns 80-Year-Old Mathematical Conjecture: Fields Medal Laureate Stays Up All Night, Fearing Imminent Elimination - 36 Kr36 Kr · Fri, 07 Aug 2026 08:42:19 GMTAI Cracks 87-Year-Old Math Puzzle in Two Weeks - DenkstromDenkstrom · Thu, 06 Aug 2026 17:30:28 GMTOpenAI's Astra Solves Ten Decade-Old Math Problems With Machine-Checkable Lean Proofs - Tech TimesTech Times · Sun, 02 Aug 2026 17:17:48 GMTWhy AI Cannot Generate the Next Groundbreaking Mathematical Breakthrough Like Wang's Conjecture - 36 Kr36 Kr · Thu, 30 Jul 2026 03:22:41 GMTMathematicians are buzzing about AI’s solution to a math mystery - The WeekThe Week · Wed, 29 Jul 2026 07:00:00 GMTFields Medal 2026: Four Mathematicians Crack Century-Old Problems at ICM Philadelphia - Tech TimesTech Times · Mon, 27 Jul 2026 07:00:00 GMT