Pioneering prize in mathematics for under-40 breakthroughs
Frontier AI labs have produced a wave of machine-generated proofs that have resolved long-standing problems in mathematics and theoretical computer science and prompted heated debate. OpenAI and Anthropic have each published claims — including refutations of the Exponential Time Hypothesis and solutions to major conjectures — and researchers are racing to verify the work and adjust academic norms.
The US State Department has designated Myanmar scholar Min Zin as wrongfully detained after Chinese authorities arrested him in Yunnan on June 3 while he attended a government‑invited conference. Washington has made his release a diplomatic priority ahead of a planned meeting between US and Chinese leaders and is publicly pressing Beijing to free him.
OpenAI has published a proposed solution to the Navier‑Stokes Millennium Prize problem after running roughly 10,000 internal AI agents for about 88 hours. Mathematicians Tristan Buckmaster and Levent Alpöge have said OpenAI accelerated work after learning of their AI‑assisted progress and raised questions about whether de‑identified product data influenced the models.
OpenAI has withdrawn sponsorship from Caltech’s mathathon after an open letter from mathematicians questions the use of AI in proofs. Organizers say the event aims to responsibly augment human understanding, while critics warn of attribution, verification, and open-science risks. The debate centers on whether AI proofs can be understood and integrated by the math community.
OpenAI has coordinated new breakthroughs in mathematics, prompting the company to consult an independent panel of mathematicians to guide how results are released and engage with the mathematics community. The move follows public backlash over fast-paced, high-profile claims and aims to align future releases with community standards.
OpenAI has released hundreds of AI‑generated mathematical proofs, triggering a mix of excitement and concern across academia. The firm says the materials include revisions protocols and will fund workshops, while critics warn about the risk to collaborative culture and the reliability of AI‑driven results.
Robert F. Kennedy Jr. has sparked widespread backlash by saying Arabs do not produce science or literature at a campaign event in Michigan. Multiple outlets have documented Arab achievements, and critics label the remarks racist and unfounded as midterm campaigning intensifies.