A research team based in China says its artificial intelligence system has done something no AI has publicly done before: ...

Research team led by Peking University says dual-agent approach bridges the gap between reasoning and formal machine ...

Chinese AI cracks decade-old math problem without human oversight - Breakthrough provides example of how mathematical research can be automated ...

The researchers explained that the AI analysed decades of existing mathematical literature and combined natural language ...

AI in China cracks decade-old algebra problem without human intervention - ...

Hong Kong, China, 14th Nov 2025 – AskMath announced the launch of an AI Math Solver designed to provide detailed problem-solving guidance for a variety of mathematical queries. The platform delivers ...