Mathematician Georges Papy created a physical 'mini-computer' in the 1970s to teach children binary-coded decimal logic through hands-on token manipulation.
Georges Papy's visual teaching system, which uses cardboard cards to explain binary logic, is being revived through a new translation project.
OpenAI's GPT-6 Astra has topped the ErdosBench math benchmark, though the company confirms it did not prioritize mathematical optimization in favor of focusing on recursive self-improvement.
OpenAI claims to have solved a 90-year-old mathematical challenge, triggering allegations of data misuse and ethical breaches from the academic community.
OpenAI claims its AI agents solved the Navier-Stokes problem, while mathematicians question if their unpublished research was used in the process.
Anthropic’s Claude AI has completed a 13-million-line formal proof of Fermat’s Last Theorem in 11 days, marking the longest mathematical proof ever produced.
