SAIR(@SAIRfoundation):The Andrews–Curtis Conjecture (ACC) Challenge Discovery Track is live! Turn computational search into verifiable progress on a longstanding conjecture in group theory. Find short move sequences for 10,115 presentations. Join:

SAIR

@SAIRfoundation

Terence Tao & Nobel, Turing, Fields laureates advancing scientific discovery & guiding AI with scientific principles. Grounding intelligence. Scaling discovery.

加入 October 2025

44 正在關注 4.8K 粉絲

SAIR@SAIRfoundation

2026.09.11 16:20

The Andrews–Curtis Conjecture (ACC) Challenge Discovery Track is live! Turn computational search into verifiable progress on a longstanding conjecture in group theory. Find short move sequences for 10,115 presentations. Join: