#ai-mathematics

0 stories this week · 0 this month · 2 in 6 months · mostly AI

Stories per day · 30 days

2 stories, newest first · one card per story

A developer claims Claude produced a Lean-formalized proof of Conway's 50-year-old refinement conjecture about omnific integers.

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

Stories tagged #ai-mathematics