@rohanpaul_ai: Brilliant. This feels like one of those cases where the math idea finally arrived at the right timing, because AI infer…
Summary
The tweet praises a mathematical idea timed well for AI inference's arithmetic profile and expresses interest in seeing results on reasoning models during long generation runs.
View Cached Full Text
Cached at: 06/16/26, 09:39 PM
@TensordyneInc Brilliant. This feels like one of those cases where the math idea finally arrived at the right timing, because AI inference has such a specific arithmetic profile.
would love to see results on reasoning models under long generation runs. https://t.co/1BxJu7uHsS
Similar Articles
@rohanpaul_ai: “I do see more and more mass-produced mathematics at scale." ~ Terry Tao AI makes this scalable. Will turns proof-writi…
Terry Tao remarks on AI enabling mass-produced mathematics at scale, turning proof-writing into a searchable problem that generates thousands of mini-lemmas and filters them with cheap checkers.
@rohanpaul_ai: Terence Tao summarized how AI is massively accelerating math career and math research. "In math, you previously had to …
Terence Tao discusses how AI is dramatically accelerating math research, reducing the years of education needed to contribute to the frontier.
OpenAI claims it solved an 80-year-old math problem — for real this time
OpenAI claims its new reasoning model autonomously produced an original mathematical proof disproving an 80-year-old unsolved geometry conjecture by Paul Erdős, marking the first time AI has solved a prominent open problem central to a field of mathematics.
@justalexoki: me: <explaining openais recent breakthrough> wife: ? me: 80 year old math thing humans couldn't figure out wife: ? me: …
A lighthearted tweet about explaining OpenAI's recent breakthrough (likely solving an 80-year-old math problem) to a spouse, with humorous discussion of AGI and ASI leading to growing vegetables.
@askalphaxiv: A fascinating paper supervised by Yoshua Bengio "Generative Recursive Reasoning" Test time compute should scale not jus…
The paper 'Generative Recursive Reasoning' introduces a method that scales test-time compute by sampling multiple latent reasoning trajectories in parallel, enabling the model to explore diverse hypotheses and avoid deterministic collapse. This approach improves performance on tasks such as Sudoku, ARC AGI, N Queens, and graph coloring, and can also generate valid Sudoku boards and MNIST digits.