← Back to live feed1 story
Specialists reported that OpenAI's October 6 release of mathematical proofs provided technically impressive solutions for problems previously considered unsolvable, including Hilbert's 10th problem over Q. However, Fields Medalist Hugo Duminil-Copin stated the automation of discovery represents an attempt to "massacre" human mathematicians, leaving some researchers in a "state of total panic."
Sign in to suggest edits
Key sources
- SOURCE@hsu_steve“the release seemed intended to show the systems could “massacre us in the deepest sense of the term.””x.com
- SUPPORT@petergostev“possibly the single most important day in the history of mathematics thus far”x.com
- SOURCEhuggingnewshuggingnews.com