#FormalMath
1 issues · daily FormalMath news timeline
#FormalMath timeline · newest first
Sat, Sep 5
GPT-6 Astra opens to all Plus, Pro and enterprise users, with the API live
With prices aligned, the fight moved to allowances and token efficiency — the bill is the only battleground left with any distance in it.