In the wake of these counterexamples to math conjectures, Taylor Lundy (UBC, Auctionomics), told me he spent about two seconds playing with the following EconCS lower bounds and GPT 5.6 Sol claims to have found improvements, providing the examples as well as code to verify them.
Who's Who of AI
Kira Goldner
Why they matter
Researcher with public evidence across AI research, AI business.
- AI signals
- 0 past 30d
- Sources
- 0 distinct domains
- Discussions
- 0 past 30d
- Latest signal
- —
Assistant Professor at BU CDS
EconCS | Theory of CS | MD+AI+DS4SG | MD4SG co-founder
Previously Columbia, UW, Oberlin. Views are mine alone.
www.kiragoldner.com
Their own posts
Recent commentary
Their network
In Kira Goldner's orbit
Center = Kira Goldner. Left = members they follow (green edges). Right = members who follow them (blue edges). Top = mutual follows (orange edges, slightly larger). Drag any node to reposition; click to open that profile.