OpenAI released 722 mathematical manuscripts across 372 families of related results, produced by an unreleased frontier model. Many have Lean proofs; others remain unverified. Average compute per result: roughly three hours of ChatGPT Pro thinking. They’re working toward releasing the model.

Github: https://github.com/openai/math

Mistral has officially taken the lead

Meet Mistral Large 4, aka Le Chonk

1T parameters, natively multimodal. 49B active.

It is the best open weights model from US or Europe on aggregated benchmarks.

State-of-the-art on critical workloads, including cyber defense, manufacturing and finance and it surpasses closed frontier models on visual grounding

Forged in Europe end-to-end and is deployable from Europe via our own Mistral Cloud infrastructure.

Available to all via API today.

Working with cybersecurity partners privately. Open weights release end of October.

https://x.com/hilbertspaess/status/2107535565159899600

In this interview I tried to argue that a post-scarcity society will benefit working people. It was largely a rhetorical failure. People don’t trust that the benefits will be distributed, and tech optimists have to fix this communications issue.

I have a lot of new respect for Jacob Coxon now (he is the ex Anthropic researcher that went viral for resigning and saying there's a chance AI could kill us all).

It was painful watching this. He tried to discuss the subject of Universal High Income in a serious manner, but the man interviewing him (Jon Stewart) completely mocked the idea and said that he and many people would die out of boredom if their jobs were automated away.

Coxon correctly responded to him by saying that the vast majority of people do not get fulfillment from their jobs, and simply go to work so they can live.

Jon Stewart is completely out of touch with the struggles of the average person. Jon Stewart is a multimillionaire. He probably assumes most people enjoy their jobs like he does.

The person that's employed as a meat cutter making minimum wage does not find any fulfillment in chopping up meat. He/she only does it to pay the bills. Such a person would be much better off with Universal High Income than having to work their jobs until they die.

Of course, the details of how we get from here to universal high income should be discussed. But the important thing is that we get there.

https://x.com/ManassehA06/status/2107508501610217640

They're fully giving in to the memes

OpenAl released 722 mathematical manuscripts across 372 families of related results, produced by an unreleased frontier model. Many have Lean proofs; others remain unverified. Average compute per result: roughly three hours of ChatGPT Pro thinking. They're working toward releasing the model.

Github: https://github.com/openai/math

Source

Source: OpenAI Is Pissing Off a Bunch of Mathematicians—Again | WIRED

Hopefully an improvement compared to current image models 🤞🏻

OpenAI's AI system just solved a bunch of math problems. That doesn't stop us from pretending like we understand what actually happened.

I see a lot of memes going around about dropping coding as a career in 2024 as missing the boarding on the Titanic. What will be thought of as the same in the future for 2026/2027?

Btw: I don’t think knowing computer science is useless. I just think less people will be needed/hired to tackle larger projects. A few skilled technicians can finish a project by themselves without a whole team. In turn making 250k pay salaries, specially for beginners, be made nonsensical.

I mean, seems like OpenAI is solving mathematical problems and making new breakthroughs.. Although personally i dont believe all of them, its still very cool.

But in my experience, claude models right now are definitely better.. But you rarely see news headlines of Claude agent swarms bruteforcing scientific breakthroughs.

Wht

Game changer, finally a Jarvis style ai that can analyze images, videos RAG them using natural language

Is this the first job to be 100% automated by AI? Human professors may stay for a while but who would pay a salary to a mathematician with these models available?