Looks similar
Related stories
With fifth busy beaver, researchers approach computation's limits(quantamagazine.org)
496 points by LegionMammal978 | 127 comments
Quanta Magazine article on how a collaborative team of amateur programmers proved the value of the fifth busy beaver number, BB(5).
Biology might not be quantum, but its math is quantumlike(quantamagazine.org)
112 points by pseudolus | 49 comments
Quanta Magazine article arguing that while biology may not rely on quantum effects, the mathematics describing biological systems resembles quantum math.
Everyone is capable of, and can benefit from, mathematical thinking(quantamagazine.org)
533 points by sonabinu | 303 comments
Quanta Magazine Q&A with mathematician David Bessis arguing that everyone is capable of, and can benefit from, mathematical thinking.
OpenAI just dropped 700 preprints of mathematical proofs and counterexamples(github.com)
20 points by tootie | 6 comments
GitHub directory in OpenAI's math repository containing hundreds of preprints of mathematical proofs and counterexamples.
Researchers have found a faster way to do integer linear programming(quantamagazine.org)
443 points by pseudolus | 176 comments
Quanta Magazine article on researchers finding a much faster algorithm for integer linear programming, approaching a theoretical speed limit.
Sharing AI progress in mathematics(openai.com)
1314 points by OfficialTurkey | 1488 comments
OpenAI research publication page announcing its AI progress in mathematics, linking to a GitHub repository of math results and preprints.












