24-year-old founder and CEO Carina Hong created Axiom Math in March 2025 and has recruited a team of ten employees, most of whom are from Meta, to build a math-focused AI model. Last fall, Carina Hong ...
Penn researchers have developed a smarter AI method for solving notoriously difficult inverse equations, which help ...
Penn Engineers have developed a new way to use AI to solve inverse partial differential equations (PDEs), a particularly ...
Russ Rhinehart started his career in the process industry. After 13 years and rising to engineering supervision, he ...
Many students in elementary grades struggle to grasp the perennially vexing concept of fractions. If those struggles persist ...
Burt earned bachelor’s degrees in electrical engineering and modern languages from the University of Lowell in 1988 and a PhD in applied mathematics from Northwestern University in 1994. He joined WPI ...
Isolating the first spark of life on Earth is a matter of biology, geology, and chemistry—but it's also an amazing math problem. At least, that's how Varun Varanasi viewed it when he was a Yale ...
ERNIE 5.1 hits the top of Chinese AI leaderboards while spending a fraction of what rivals do. Baidu calls it a "parameter ...
A ChatGPT AI has proved a conjecture with a method no human had thought of. Experts believe it may have further uses ...
22h
Preventing Voice Phishing, Controlling Vehicles, and Solving Problems... K-AI Models Hard at Work
Korean companies participating in the "Independent AI Foundation Model (Dokpamo)" project are expanding the field application ...
MIT’s Computer Science and Artificial Intelligence Lab has released a massive, public collection of proof-based math problems ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results