Levent Alpöge
PulseAugur coverage of Levent Alpöge — every cluster mentioning Levent Alpöge across labs, papers, and developer communities, ranked by signal.
8 day(s) with sentiment data
-
AI model Claude credited with setting elliptic-curve math records
Claude, an AI model, has been credited alongside mathematicians Levent Alpöge and Ava Howell for setting two new records on an elliptic-curve leaderboard. These records, achieved within a four-day span in August 2026, i…
-
AI formalizes complex 78-year-old math proof in days
A 100-page proof for the 78-year-old Hopf problem, initially developed with Claude, has been formalized into 250,000 lines of Lean code by Boris Alexeev. This extensive formalization, reportedly completed in just days w…
-
Anthropic's Claude cited as collaborator on verified elliptic curve rank record
A new entry on a respected mathematician's elliptic curve rank leaderboard has been verified, establishing a lower bound of rank 30. While the artifact itself is solid and checkable, the extent of AI involvement, specif…
-
Claude AI assists researchers in discovering a significant elliptic curve
Researchers Levent Alpöge and Ava Howell, working with Claude, have discovered an elliptic curve of Rank 30. This achievement is significant as it represents a substantial leap in mathematical understanding, with the pr…
-
Fields Medalist: AI excels at math by finding counterexamples · 2 sources tracked
Prominent mathematicians, including Fields Medalist Timothy Gowers, have observed that current AI models excel at solving complex mathematical conjectures by primarily searching for counterexamples rather than construct…
-
AI assists mathematicians in solving long-standing Hadamard matrix problem
Researchers, including mathematician Levent Alpöge and an AI named Claude, have reportedly found solutions for constructing Hadamard matrices of various orders, including the previously elusive 668th order. This breakth…
-
AI-assisted researcher claims breakthrough in Hadamard matrix problem
A researcher named Levent Alpöge has potentially discovered a solution for the smallest open Hadamard case, a 668x668 matrix. He utilized Claude, an AI model, to generate an obfuscated shell script that, when decoded, p…
-
Anthropic AI autonomously advances Riemann hypothesis research
An unreleased Anthropic AI model, operating autonomously, made significant progress on a sub-problem of the 150-year-old Riemann hypothesis. Over 36 hours, the AI model, named Claude Code, coordinated 60 sub-agents and …
-
Anthropic's Claude model advances Riemann hypothesis research, pushing verified zeros to 67.2% · 4 sources tracked
An undisclosed Claude research model from Anthropic has significantly advanced the study of the Riemann hypothesis, pushing the lower bound of verified zeros on the critical line from 41.6% to 67.2%. While not a full pr…
-
Gary Marcus questions OpenAI's Astra breakthrough, citing partial replication
Gary Marcus critically examines OpenAI's Astra, suggesting it may not be the significant breakthrough the company claims. He highlights that an Anthropic mathematician partially replicated Astra's results within 24 hour…
-
Math's Hanging Valley Conjecture Solves AI's Black Box Problem
A new research paper, "GeoLAN: Geometric Learning of Latent Explanatory Directions in Large Language Models," proposes a novel approach to address the "black box" problem in large language models. By applying concepts f…
-
Fields Medalist Jacob Tsimerman joins OpenAI for AI safety research
Jacob Tsimerman, a recent Fields Medal recipient, has announced he will join OpenAI to work on AI safety. Tsimerman, known for his work on the André-Oort conjecture and for previously expressing concerns about AI's pote…
-
Mathematician credits AI model for potential Jacobian conjecture counterexample
Mathematician Levent Alpöge has posted a potential counterexample to the long-standing Jacobian conjecture, attributing the discovery to Anthropic's AI model, Fable. While the mathematical result itself is considered ve…
-
Anthropic's Claude Fable 5 finds counterexample to 87-year-old math conjecture · 8 sources tracked
Anthropic's Claude Fable 5 has reportedly generated a counterexample to the Jacobian conjecture, an 87-year-old mathematical problem. Mathematician Levent Alpöge used the AI model to find a polynomial map that violates …