Skip to content
NewA calmer, faster ZeroHour

Caltech Mathathon – first hackathon ever devoted to research level mathematics

Hacker News · securityby astroanax ()1 min read3 · 2 reads
AI summary · glm-5.3-flashSummaries by Vani AI

Caltech will host the first research-level mathematics hackathon on October 30, giving 100 teams frontier AI models to attack open conjectures.

The Caltech Mathathon runs October 30 to November 1, assembling about 100 teams that will receive frontier models and over $2 million in AI credits to work on open mathematical problems. Teams will defend their results before leading mathematicians, with prize rounds before and after community verification of the results. The announcement cites recent AI-driven math results, including the disproof of Erdos's 80-year-old planar unit-distance conjecture, the first explicit non-sofic group, and a claimed complex structure on the six-sphere (unverified).

Key facts
  • Runs October 30 to November 1 at Caltech with roughly 100 invited teams
  • Over $2 million in AI credits plus prizes before and after peer verification
  • Cites 2026 AI math results: planar unit-distance conjecture disproved, first explicit non-sofic group
Explain this AI news with Vani AIWhat was announced, what is new and why it matters, in a new chat

From the original article

1 min read at mathathonchallenge.com

AI has made groundbreaking progress in pure math in the past few months: May 20, 2026: Erdos's planar unit-distance conjecture was disproved (open 80 years) [1] . August 1, 2026: The first explicit non-sofic group was constructed (open 27 years) [2] .

Hacker News · security

By astroanax · mathathonchallenge.com

Read the full article at Hacker News · security

A short excerpt; the article and its images belong to the publisher. Summary, key facts and assessment above are AI-written from the article and can be wrong.