Mean Squared Error (MSE): The Loss Function That Makes Big Mistakes Expensive
Loss Functions Deep Dive — Part 4 of 30Continue reading on Towards AI »
Towards AI1 min read
math
10 stories
Vi Hart's Big Navier-Stokes Post
The first 5 parts get increasingly intense and then part 6 is for fun, as a treat. But feel free to skip around. 1: "Lean? That sounds famil
Lobsters37 min read
"How much beauty have we lost?" Mathematicians react with shock and disgust as OpenAI bulldozes their field
OpenAI published more than 700 AI-generated manuscripts claiming solutions to open math problems. A math blog then collected over 100 responses from researchers, ranging from fascination with new ideas to existential fears and grief over a lost way of working.
The Decoder7 min readNavier-Stokes lost in translation: Why Lean verification of AI autoformalisation does not guarantee correct natural language proofs
Autoformalisation is increasingly used to verify mathematical texts, including those generated by AI, as in OpenAI's announced proof of blow-up of solutions to the Navier-Stokes equations.
Lobsters2 min readOpenAI dumps 372 AI-generated math proofs on GitHub, telling the academic world to keep up
OpenAI has published 372 AI-generated mathematical results on GitHub, including Lean formalizations for machine verification. Each result consumed about three hours of ChatGPT Pro compute on average.
The Decoder3 min read
OpenAI shares mathematics research catalogue
Contribute to openai/math development by creating an account on GitHub.
Lobsters2 min read
AI Solves a Major Unsolved Math Problem. Not Everyone Is Happy
On 13 September, leading luminaries and up-and-coming talents in mathematics and computer science congregated at the annual Heidelberg Laureate Forum in Germany for a week of discussion, networking, and—naturally—wurst.Having attended several of these events in the past, the mathematicians normally…
IEEE Spectrum AI6 min read
The Math an Applied AI Engineer Actually Uses in an Evaluation Loop
A team compares two versions of an AI service. Average accuracy rises from 82% to 86%. The new version looks better, so releasing it seems like the obvious decision. Then an engineer separates the failures by type.
Dev.to AI6 min readThe Desk Toy That Explains Pascal’s Triangle In Thirty Seconds
Pascal’s Triangle, Explained From ScratchContinue reading on Towards AI »
Towards AI1 min readAdding Floating-Point Decimals for Fun and Profit
Many people know that you shouldn’t do decimal calculations, such as those involving U.S. dollars and cents, with the floating-point numbers in most programming languages.
Lobsters10 min read
Showing 10 of 10 stories
You're all caught up.
AiByts Weekly Brief
Get the top AI news and tools straight to your inbox every week.
Weekly · AI news
Join 15,000+ AI enthusiasts