Despite the vast differences in human and bee brains, both of us can do mathematics. As we argue in a new paper published in ...

The big AI companies promised us that 2025 would be “the year of the AI agents.” It turned out to be the year of talking ...

Take the pressure off of problem-solving with engaging thinking games that encourage students to work together to find ...

A controversial new movement promoting the "science of math" has come into the math establishment's crosshairs.

OpenAI's GPT-5.2 Pro has solved multiple decades-old Erdős math problems, but Fields Medalist Terence Tao says the wins ...

Professional mathematicians have been stunned by the progress amateurs have made in solving long-standing problems with the ...

A research team affiliated with UNIST has unveiled a novel AI system capable of grading and providing detailed feedback on even the most untidy handwritten math answers—much like a human instructor.

According to @JeffDean, ongoing advancements in applying AI to mathematical problem solving are being demonstrated by CarinaLHong and her team, showcasing the growing capability of AI models to tackle ...

The course is compulsory within the Computer Science Bachelor's Programme (N1COS). The course is a also a single-subject course at Gothenburg University. Completed courses to a total of 45 hp are ...

AlphaEvolve, an AI that “evolves” code solutions, rediscovered and improved proofs for the finite-field Kakeya conjecture. Gemini Deep Think verified the logic, and AlphaProof formalized the ...

24-year-old founder and CEO Carina Hong created Axiom Math in March 2025 and has recruited a team of ten employees, most of whom are from Meta, to build a math-focused AI model. Last fall, Carina Hong ...