Official news, first rumor reports and substantive progress. Each entry keeps the information published at that time.
- r/singularity shares an expert's reaction to OpenAI's solution for Barnette's Conjecture problem #180
A post on r/singularity quotes an expert reviewing an OpenAI solution to problem #180, Barnette's Conjecture. The expert calls the key insight wild, saying it uses a complex-valued exponential sum on the graph's edges with complex roots and annihilating terms, a trick they had not seen in graph theory before.
- Reddit post says OpenAI's math advisory group told AI labs not to test advanced math problems on internal models
A link post on r/singularity claims the Advisory Group on Mathematics and Artificial Intelligence, which OpenAI cited when releasing its AI-generated math manuscripts, said frontier AI companies should not test advanced mathematical problems on internal models. The poster argues OpenAI has disregarded the norms of scientific research.
- Reddit user asks why many still call AI useless after the new math proofs
A post on r/singularity says that despite the new AI math proofs and coding progress, many people still argue AI can't do anything right, and suggests people struggle to grasp exponential growth.
- NYU math professor suggests OpenAI's math release was only the first of three batches
A post on r/singularity links to a tweet from an NYU math professor suggesting that OpenAI's newly released set of AI-produced mathematical solutions was only batch one of three. The claim is unconfirmed by OpenAI.
- Reddit post shares a meme on mathematicians after AI's math advances
A post on r/singularity titled 'Mathematicians today' shares an image about mathematicians in light of recent AI math results.
- Reddit post jokes about vibemathed.com after OpenAI's math manuscript release
A post on r/singularity says it feels bad for the people behind the site vibemathed.com following recent AI math developments.
- Reddit thread asks whether people feel bad for mathematicians
A post on r/singularity asks users whether they feel bad for mathematicians as AI systems tackle open math problems.