New research has found ChatGPT-5.2 can generate original mathematical proofs, introducing “vibe-proving” as a new AI ...
Artificial intelligence has formally verified the prizewinning proof that solved the sphere packing problem in eight dimensions, a result closely tied to Maryna Viazovska’s Fields Medal. The ...
"Hearst Magazines and Yahoo may earn commission or revenue on some items through these links." A 125-page proof posted to arXiv may represent a huge breakthrough in geometric measure theory. This ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results