Mistral AI introduces Leanstral 1.5, an open-source code agent for Lean 4 formal proof engineering, now available via Labs ...

While development teams around the world, including those in Silicon Valley, are enthusiastic about code generation by generative AI and its "probabilistic correctness (accuracy)," a completely ...

With automated proof-checkers, a problem can be broken up into small chunks, solved bit-by-bit, then reassembled with confidence that every piece is correct. For some, this heralds a new area in ...

In mid-May, OpenAI announced that an internal AI model had disproved the Erdős unit distance conjecture, a famous problem in discrete geometry that had stumped human mathematicians for the last 80 ...

Scott Kominers has taught Robert Aumann's 1976 theorem dozens of times. He's assigned it in economics courses at Harvard. He's built on it in his own research. So when Axiom Math's formal verification ...

Abstract: We present a development of parts of rate-distortion theory and pattern-matching algorithms for lossy data compression, centered around a lossy version of the asymptotic equipartition ...

A team of UCLA computer scientists and mathematicians has been awarded a three-year, $5 million grant by the Defense Advanced Research Projects Agency to develop artificial intelligence tools aimed at ...

WORKING OUT how to most efficiently pack a crate full of oranges may seem like a juvenile pursuit for professional mathematicians. And yet the sphere-packing problem, as this pastime is properly known ...

A new era in mathematics may be on the horizon—one that some researchers have long desired. Mathematicians could soon use computers to verify proofs quickly and rigorously, ensuring published proofs ...

VUB's Data Analytics Lab has published new results showing that it is possible to develop original mathematical proofs using commercial language models. In a paper posted to the arXiv preprint server, ...

Self-driving cars, autonomous robots, modern airplanes, or robotic surgery: we increasingly entrust our lives to computers and therefore should strive for nothing but the highest safety standards - ...