Mathematician Richard Evan Schwartz discovered how to make an origami torus with the least folding possible. The tent-shaped ...
A week after OpenAI made headlines with an A.I.-generated proof, a new “declaration” by 16 experts raises concerns that the ...
Most people wouldn't think that it would take rigorous mathematical proof to show how many folds it takes to make a donut ...
In mid-May, OpenAI announced that an internal AI model had disproved the Erdős unit distance conjecture, a famous problem in ...
Mathematician Will Sawin discusses his experience reviewing and refining a mathematical proof devised by OpenAI's internal ...
P vs. NP asks: are these two classes actually the same? If P = NP, then every “hard” problem is secretly fast to solve; we ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results