In mid-May, OpenAI announced that an internal AI model had disproved the Erdős unit distance conjecture, a famous problem in discrete geometry that had stumped human mathematicians for the last 80 ...
Mathematician Will Sawin discusses his experience reviewing and refining a mathematical proof devised by OpenAI's internal ...
The result is correct but challenges core norms of mathematics: checking proofs, crediting ideas and keeping research open to ...
Chinese AI lab DeepSeek has quietly updated Prover, its AI model that’s designed to solve math-related proofs and theorems. According to South China Morning Post, DeepSeek uploaded the latest version ...
Researchers have introduced Light-R1-32B, a new open-source AI model optimized to solve advanced math problems. It is now available on Hugging Face under a permissive Apache 2.0 license — free for ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results