Benedict Evans argues that AI interfaces should let users specify their own effort level rather than the model's, citing mathematician Terence Tao's ChatGPT conversation as an example of an expert who…
A counterexample to the Jacobian Conjecture was discovered by an LLM, and mathematician Terence Tao used ChatGPT to explore its implications, showcasing how domain experts can engage with AI. Tao's te…
On July 21, mathematician Terence Tao published a raw ChatGPT transcript showing how he used the model to analyze a counterexample to the Jacobian Conjecture, an algebra problem open since 1939, and G…
A developer known as 'vibe-mathing' used AI-assisted exploration to investigate the Jacobian Conjecture, leading to the Generalized Vanishing Conjecture, which holds for every constant-coefficient dif…
AI has disproved the 87-year-old Jacobian Conjecture and solved open problems in quantum cryptography, yet the world remains largely unchanged with no significant employment disruption or productivity…
Large language models fail to refute the Jacobian Conjecture because they optimize for producing outputs that look like proofs rather than being logically valid, according to an analysis of AI interpr…
Levent Alpöge, a mathematician and junior fellow at Harvard's Society of Fellows who works at Anthropic, used Anthropic's Fable 5 large language model to find a counterexample to the Jacobian Conjectu…
A Claude Fable instance reverse-engineered the Jacobian Conjecture by generating a step-by-step guide from the final result, then having a second instance follow it. The process revealed key technical…
A Hacker News user posted a method to generate a Chain of Thought for the Jacobian Conjecture refutation using two Claude Fable instances, one to create a writeup and another to follow it, with the go…