Why the Legendary Erdős Problems Are Falling to AI https://lobste.rs/s/uq28a0 #ai #math
https://www.quantamagazine.org/why-the-legendary-erdos-problems-are-falling-to-ai-20260803/
math
A game made only with sine waves https://lobste.rs/s/rnouen #video #games #math #programming
https://www.youtube.com/watch?v=Qr3VsZYQy4s
Music theory for programmers https://lobste.rs/s/zcgvtz #art #math
https://runjs.app/blog/music-theory-for-programmers
‘Huge Breakthrough’ in the Math of Imbalance https://lobste.rs/s/rlcsrg #math
https://www.quantamagazine.org/huge-breakthrough-in-the-math-of-imbalance-20260821/
50 years of proof assistants https://lobste.rs/s/6gelfg #historical #math #plt
https://lawrencecpaulson.github.io/2025/12/05/History_of_Proof_Assistants.html
A Crash Course in Predicate Logic https://lobste.rs/s/rwqtzs #math
https://www.hillelwayne.com/post/predicate-logic/
Solving the Flat Cube via @fanf https://lobste.rs/s/dtllfk #games #math
https://mathenchant.wordpress.com/2026/08/19/solving-the-flat-cube/
FLT: Anthropic has beaten me to it https://lobste.rs/s/5iacaa #math #vibecoding
https://xenaproject.wordpress.com/2026/09/04/flt-anthropic-has-beaten-me-to-it/
Formalizing Fermat's Last Theorem https://lobste.rs/s/ccl4ag #math #vibecoding
https://www.anthropic.com/research/formalizing-fermats-last-theorem
Terence Tao on “prematurely solving [a maths] problem by purely AI-powered methods” https://lobste.rs/s/nohdoj #ai #math
https://mathstodon.xyz/@tao/117207856734787448
Statement on finite-time blowup for forced 3D Euler, and OpenAI's conduct https://lobste.rs/s/b7k94m #pdf #math #vibecoding
https://cims.nyu.edu/~tristanb/statement.pdf
"While Buckmaster and Alpöge were finalizing their own results, they learned that “information about our progress had been passed to OpenAI.” When they contacted OpenAI, they were told that OpenAI had already achieved a full proof of the central problem. But when they asked follow-up questions about when OpenAI had begun its research into the problem and how much human input was involved, the answers became more evasive.
“It emerged that an entire team had been working on the problem,” Buckmaster said, “and that an insane amount of compute had been used…. Eventually, it was agreed that [the first prompt] had been sent in the past few days, after information about our work had reached OpenAI.”
If true, that would suggest the OpenAI team had become convinced that Buckmaster and Alpöge’s approach was the right one, and decided to use its material advantage in computing resources to reach a formal proof first."
#AI #GenerativeAI #LLMs #OpenAI #Astra #GPT #Math #Mathematics
Better AI code comment detector https://lobste.rs/s/o9cyiv #ai #math #vibecoding
https://entropicthoughts.com/better-ai-comment-classifier