Father, analyst, combinatorist, AI, applied mathematics/data science, and graph theory enjoyer. @UTAustin MSDS candidate. @MemphisAlumni math alum. My views.
College Station, TX
Joined July 2012
- Tweets6.8K
- Following1.1K
- Followers1.3K
- Likes6.3K
At least now they are stating how many problems were attempted…
We’re releasing a broad range of new mathematical results produced by an internal frontier model.
We’ve been consulting with the independent Advisory Group on Mathematics and Artificial Intelligence at the Institute for Advanced Study, and we have drawn on their advice and public recommendations to inform how we release these results.
github.com/openai/math
Pretty cool to see my accepted graph theory paper summarized visually by an AI model.
The paper proves that every graph with diameter 2 and minimum degree at least 3 contains a 4-cycle or an 8-cycle; establishing the Erdős–Gyárfás conjecture for this class.
Accepted in BICA.
I vibe coded MathaCarta with GPT-6 Astra: an open-source Chrome extension to find arXiv papers by highlighting topics or authors, including in its PDF reader.
Possible Google Web Store release soon; paid mobile version may follow.
github.com/ATCode83/mathacar…
#OpenSource #arXiv
Neat to see my mother’s (Karen Carr) art in an art gallery here in College Station, TX (The Arts Center of Brazos Valley). Proud of her.
