Vasily Ilin

@ilinvasily29521

Founding Director of the UW Math AI Lab, MTS @ Axiom Math

The coauthor says gpt-5.6-sol Ultra tried to solve the paper’s problem for two weeks without success.

2 Sources, 1d ago, first seen 1d ago

A user links to an arXiv PDF and says they like Table 3.

2 Sources, 6d ago, first seen 6d ago

The original poster calls the competition “fierce,” citing 15 solutions in the preceding 14 hours.

2 Sources, 7d ago, first seen 7d ago

A user tells another person it is a pleasure to compete with them and their team.

1 Source, 15d ago, first seen 15d ago

Anthropic says its model produced the first end-to-end computer-checked version of the theorem.

32 Sources, 46d ago, first seen 46d ago

Tweet by Vasily Ilin lists milestones in bounded prime gaps research through 2026.

1 Source, 46d ago, first seen 46d ago

Retweet states formalizing Ferma is required to saturate the benchmark

6 Sources, 48d ago, first seen 48d ago

Featured in