Chris Davis(@capradavis):When you point enough machine and human intelligence at a problem it simply gets solved. Many companies have hard problems that they simply don't have the resources to handle. $PRL is a good example: https://t.co/3s4q9ghztj Mathematics is just the beginning.

2026.09.17 14:23

When you point enough machine and human intelligence at a problem it simply gets solved. Many companies have hard problems that they simply don't have the resources to handle. $PRL is a good example: Mathematics is just the beginning.

Conjectures.io@conjectures_io

2026.09.16 16:55

Today, we’re announcing a solution found by our miners to both parts of Erdős Problem 14, open for over 34 years. The result proves a square-root lower bound on exceptions to unique representation as a sum of two elements of any set of natural numbers. Verified in Lean through Conjectures. Full proofs below.