On-Line Encyclopedia of Integer Sequences
PulseAugur coverage of On-Line Encyclopedia of Integer Sequences — every cluster mentioning On-Line Encyclopedia of Integer Sequences across labs, papers, and developer communities, ranked by signal.
1 day(s) with sentiment data
-
Google DeepMind's AlphaProof Nexus uses AI verifier to solve math problems
A new framework called AlphaProof Nexus, developed by Google DeepMind, has demonstrated the ability to solve complex mathematical problems by using AI agents that write proofs in the Lean language. The system achieved n…
-
New mathematical framework classifies primes, links to Twin Prime Conjecture
A new mathematical framework, termed 'decomposition into weight × level + jump', has been introduced to classify prime numbers. This method, detailed in a six-page report, applies to increasing integer sequences and spe…
-
decompwlj 3D visualizes 5000 OEIS sequences with Three.js
The decompwlj 3D project has decomposed 5,000 integer sequences from the On-Line Encyclopedia of Integer Sequences (OEIS). This decomposition is represented as weight × level + jump, visualized with interactive 3D and 2…
-
Researcher unveils prime number classification using AI models · 7 sources tracked
A researcher has published a pedagogical report detailing a new decomposition method for prime numbers, termed 'weight × level + jump'. This method is presented as a novel classification system for primes and has been a…
-
New benchmarks and tools reveal LLM math reasoning gaps and novel connections
Researchers have developed new methods to assess and improve the mathematical reasoning capabilities of large language models (LLMs). One approach, called "Mathematical Primitive," introduces a benchmark to evaluate dis…
-
New research questions AI's math reasoning benchmarks, highlighting memorization gap
A new research paper explores the limitations of current benchmarks used to test language models' mathematical reasoning abilities, particularly with integer sequences. The study introduces a Minimum Description Length …
-
Language models prove mathematical conjectures on new OEIS Open benchmark
Researchers have developed OEIS Open, a new benchmark designed to evaluate how many mathematical conjectures language models can prove. The benchmark, based on 492 open conjectures from the On-Line Encyclopedia of Integ…
-
New dataset and GNNs advance study of finite group symmetries
Researchers have developed a new dataset of over 131,000 Cayley graphs to serve as benchmarks for studying how finite group properties are reflected in graph observables. This work also contributes new enumerative seque…
-
New open-source tool combats AI math hallucination
A new open-source project called mathlas has been developed to combat AI hallucination in mathematical reasoning. It functions as an MCP server, providing AI assistants with access to a real Lean kernel, a theorem index…
-
IntSeqBERT Transformer Learns Arithmetic Structure in Integer Sequences
Researchers have developed IntSeqBERT, a novel Transformer model designed to understand and predict integer sequences found in the On-Line Encyclopedia of Integer Sequences (OEIS). Unlike standard models, IntSeqBERT use…