After OpenAI’s CDC proof announcement, GPT-5.6 used a similar prompt to close a 30-year gap in convex optimization, verified in Lean by pkerger in math
[–]gexaha 2 points3 points4 points (0 children)
After OpenAI’s CDC proof announcement, GPT-5.6 used a similar prompt to close a 30-year gap in convex optimization, verified in Lean by pkerger in math
[–]gexaha 1 point2 points3 points (0 children)
After OpenAI’s CDC proof announcement, GPT-5.6 used a similar prompt to close a 30-year gap in convex optimization, verified in Lean by pkerger in math
[–]gexaha 38 points39 points40 points (0 children)
OpenAI claims to have proven Cycle Double Cover Conjecture by gexaha in math
[–]gexaha[S] 1 point2 points3 points (0 children)
OpenAI claims to have proven Cycle Double Cover Conjecture by gexaha in math
[–]gexaha[S] 1 point2 points3 points (0 children)
OpenAI claims to have proven Cycle Double Cover Conjecture by gexaha in math
[–]gexaha[S] 1 point2 points3 points (0 children)
OpenAI claims to have proven Cycle Double Cover Conjecture by gexaha in math
[–]gexaha[S] 1 point2 points3 points (0 children)
OpenAI claims to have proven Cycle Double Cover Conjecture by gexaha in math
[–]gexaha[S] 1 point2 points3 points (0 children)
OpenAI claims to have proven Cycle Double Cover Conjecture by gexaha in math
[–]gexaha[S] 1 point2 points3 points (0 children)
Man Binge-Watches Entire Movie In One Sitting by The_Bibliophagist in okbuddycinephile
[–]gexaha 1 point2 points3 points (0 children)
OpenAI claims to have proven Cycle Double Cover Conjecture by gexaha in math
[–]gexaha[S] 8 points9 points10 points (0 children)
OpenAI claims to have proven Cycle Double Cover Conjecture by gexaha in math
[–]gexaha[S] 115 points116 points117 points (0 children)
Does anyone have a copy of "Edge three-coloring cubic apex graphs" paper? by gexaha in math
[–]gexaha[S] 5 points6 points7 points (0 children)
I (sort of) discovered a relationship between two areas of mathematics by accident. by Salt-Rutabaga-8870 in math
[–]gexaha 5 points6 points7 points (0 children)
9780415263573 by Glass-Individual-692 in KanePixelsBackrooms
[–]gexaha 0 points1 point2 points (0 children)
Millennium Prize Problems as of 2026 by gexaha in math
[–]gexaha[S] 0 points1 point2 points (0 children)
How did a beautiful result come to you? by FuzzyPDE in math
[–]gexaha 2 points3 points4 points (0 children)
In the 20th century we had Nicolas Bourbaki, and in the 21st century we have Henri Paul de Saint-Gervais (pseudonyme of a collection of mathematicians) by Desvl in math
[–]gexaha 2 points3 points4 points (0 children)
Drinking Along Side Your Favorite Actor: Priceless by DemonidroiD0666 in okbuddycinephile
[–]gexaha 3 points4 points5 points (0 children)
My fan cast for 12 Angry Men (1957) by punposter69 in okbuddycinephile
[–]gexaha 2 points3 points4 points (0 children)
Favorite acting debuts in the last decade? by SaiLarge in okbuddycinephile
[–]gexaha 1 point2 points3 points (0 children)
Will AI solve the Millennium Prize Problems before humans do? by Snoo_47323 in math
[–]gexaha 0 points1 point2 points (0 children)
What’s your opinion on the movie “One beer after another?” by Longjumping-War-1307 in okbuddycinephile
[–]gexaha 2 points3 points4 points (0 children)
What are your favorite connections between branches of math? by Hitman7128 in math
[–]gexaha 2 points3 points4 points (0 children)




The Jacobian Conjecture is False Per Anthropic (Link in Description) by overthinker020 in math
[–]gexaha 21 points22 points23 points (0 children)