Get the latest tech news
GPT 5.4 solves Erdos problem on primitive sets by discovering a new method in analytic number theory. Uncovers deep idea with implications throughout the field. Comments by Terry Tao and Jared Duker Lichtman
I got Gemini to do a literature review on the GPT-generated proofs provided by Arb Research, and connections to existing probabilistic constructions of prime factorizations, particularly focusing on the work of Arratia. I summarize some of the points of that review here.
None
Or read this on r/technology