Korbonits (auto-discovered)

DeepMind's AI agent autonomously resolved 9 of 353 open Erdős problems and proved 44 of 492 open conjectures from the OEIS at an inference cost of a few hundred dollars per problem, using a generate-a…

Chan Zuckerberg Biohub released ESMC, ESMFold2, and ESM Atlas under an MIT license this morning, and Sheaf v0.11 shipped support for both model backends within twelve hours. The same-day integration w…

OpenAI announced in May that an internal model disproved Erdős's planar unit-distance conjecture, a problem unsolved since 1946, with the result verified by nine mathematicians including Thomas Bloom.…