TGViewer
Hitchhiking Inverse Log Hitchhiking Inverse Log @hitchhiking_exponential · 2.85K subscribers
Post #380 3.29K
Slightly stale news, but there were 10 more math discoveries in the past few days, by OAI, at the total cost of $2k. https://openai.com/index/ten-advances-in-mathematics/

I am not a math expert so it is hard for me to judge this, but it seems like the AI frontier has caught up with best humans in some parts of math. Given the trend, we should expect more math breakthroughs in coming months.
OpenAI Ten advances in mathematics and theoretical computer science OpenAI shares new results on long-standing open problems in mathematics and theoretical computer science, including advances in geometry, cryptography, and complexity.
Open in Telegram All posts from @hitchhiking_exponential
More from @hitchhiking_exponential
  1. Sep 21, 2026i disabled reactions because they encourage system-1 thinking: quick, emotional, leading t…
  2. Sep 14, 2026i'm generally worried about the upcoming shifts in society, eg i have a hard time imaginin…
  3. Sep 14, 2026on ai worries and speed rsi and exponential are real. it is still kinda slow now but each…
  4. Sep 6, 2026Interview with HuggingFace incident investigator https://www.youtube.com/watch?v=X50zezLFW…
  5. Sep 4, 2026Fermat's Last Theorem has been formalized by Claude. It took 13M Lean LOC, 29.5K intermedi…
  6. Sep 1, 2026Fable 5.1
Threads Profile ViewerView any public Threads profile without an account.Open ThreadLook →Writing with AI? Make it sound human.Metric37 rewrites AI drafts so they read naturally. Free AI detector, 1,500 words free.Try Metric37 →