Tag
9 articles
Learn to build a semantic search engine and open-status classifier using the ResearchMath-14k dataset, applying TF-IDF, embeddings, and clustering techniques.
A coalition of mathematicians from top institutions has issued a formal declaration urging AI companies to stop using mathematical work without permission, calling for transparency and attribution.
Learn how to use AI tools like Wolfram Alpha to assist with math problems, from basic calculations to complex equations, demonstrating how AI can support mathematical research.
Google DeepMind's AlphaProof Nexus autonomously solved nine open Erdős problems, including two that stumped mathematicians for 56 years, for just a few hundred dollars per problem.
Learn how to use OpenAI's GPT-4 API to explore mathematical problems and reasoning, inspired by AI's recent breakthrough in solving a 75-year-old conjecture.
An OpenAI model has solved the 80-year-old unit distance problem in discrete geometry, disproving a major conjecture and marking a significant milestone in AI-driven mathematics.
OpenAI claims to have solved a 75-year-old geometry conjecture using its advanced reasoning model, with mathematicians who previously doubted its work now backing the solution.
OpenAI researchers Sebastian Bubeck and Ernest Ryu explain how mathematical reasoning is becoming a critical indicator in the pursuit of artificial general intelligence (AGI).
OpenAI's GPT-5.4 Pro reportedly solved a longstanding open Erdős math problem in under two hours, marking a significant advancement in AI's role in mathematical research.
