SemanticScuttle - klotz.me

Tags: gpt-5.2* + math*

0 bookmark(s) - Sort by: Date ↓ / Title /

1. Terence Tao on Erdos problem #728

   Recently, the application of GPT-5.2 Erdos problems passed a milestone: an Erdos problem #728.

   2026-01-13 Tags: mathstodon.xyz, terence tao, math, gpt-5.2, erdös, openi, proof by klotz

Top of the page

First / Previous / Next / Last / Page 1 of 0