Results for "mathematical reasoning"
6 results found
A New Open Source Dataset Aims to Solve AI's Math Reasoning Gap
Researchers at MIT and Columbia University released ATLAS, a dataset of 320,000 autoformalized mathematical statements for training AI reasoning systems.
Mathematicians Warn AI Progress Outpaces Safety Measures
A group of leading mathematicians has issued a stark warning about the rapid advancement of artificial intelligence, calling for urgent safety protocols.
AI IQ site ignites debate by scoring large language models on the bell curve
A startup called AI IQ is assigning IQ scores to over 50 AI models. The project draws praise for clarity and criticism for oversimplifying machine intelligence.
A Mathematician Verified an OpenAI Proof. Here's What He Found
Mathematician Will Sawin reviewed a proof from an OpenAI model that claimed to disprove a famous conjecture. His findings reveal both the promise and limits of AI in mathematics.
Lattice-Based Cryptography Emerges as Post-Quantum Security Backbone
Lattice-based cryptography is gaining traction as a leading method to secure data against future quantum computer attacks. This mathematical approach offers strong security guarantees and efficiency, making it a top candidate for new encryption standards.
Quantum computing threatens to break current encryption sooner than expected
Quantum computers could crack today's encryption within a decade. Enterprises are not prepared.