Today, we share a breakthrough on the planar unit distance problem, a famous open question first posed by Paul Erdős in 1946.
For nearly 80 years, mathematicians believed the best possible solutions looked roughly like square grids.
An OpenAI model has now disproved that belief, discovering an entirely new family of constructions that performs better.
This marks the first time AI has autonomously solved a prominent open problem central to a field of mathematics.
I’ve always loved Slack, but Slackbot AI just EXPLODED my productivity! 🚀🔥 My trusted agent that unites Slack, Salesforce, Google Drive, OneDrive, Teams & more—briefs you, edits drafts, schedules follow-ups, & auto-builds canvases. Even cranks out my product briefs, sprint plans, gives deep Salesforce account briefs (my ATF!). World’s best employee agent who KNOWS IT ALL? Obsessed—& can’t live without it! I’m giving demos all day long. 🤖💥 #SlackAI #ProductivityAI
Marc @Benioff says he started Salesforce after he got a vision while swimming with a pod of 100 dolphins in Hawaii:
"I was one with the pod."
"I pay attention to my dreams. I pay attention to my visions, my insights.
"Salesforce started because I was swimming with a pod of dolphins outside the coast of Hawaii, where I live. About 100 dolphins. I was one with the pod. And when I was one with the pod, all of a sudden in my mind, I saw this vision of what Salesforce could look like."
"I went to Larry Ellison and said, 'Hey I think I'm going to quit my job.' He gave me $2 million, and we started Salesforce. That was 26 years ago."
Sharing an interesting recent conversation on AI's impact on the economy.
AI has been compared to various historical precedents: electricity, industrial revolution, etc., I think the strongest analogy is that of AI as a new computing paradigm (Software 2.0) because both are fundamentally about the automation of digital information processing.
If you were to forecast the impact of computing on the job market in ~1980s, the most predictive feature of a task/job you'd look at is to what extent the algorithm of it is fixed, i.e. are you just mechanically transforming information according to rote, easy to specify rules (e.g. typing, bookkeeping, human calculators, etc.)? Back then, this was the class of programs that the computing capability of that era allowed us to write (by hand, manually).
With AI now, we are able to write new programs that we could never hope to write by hand before. We do it by specifying objectives (e.g. classification accuracy, reward functions), and we search the program space via gradient descent to find neural networks that work well against that objective. This is my Software 2.0 blog post from a while ago. In this new programming paradigm then, the new most predictive feature to look at is verifiability. If a task/job is verifiable, then it is optimizable directly or via reinforcement learning, and a neural net can be trained to work extremely well. It's about to what extent an AI can "practice" something. The environment has to be resettable (you can start a new attempt), efficient (a lot attempts can be made), and rewardable (there is some automated process to reward any specific attempt that was made).
The more a task/job is verifiable, the more amenable it is to automation in the new programming paradigm. If it is not verifiable, it has to fall out from neural net magic of generalization fingers crossed, or via weaker means like imitation. This is what's driving the "jagged" frontier of progress in LLMs. Tasks that are verifiable progress rapidly, including possibly beyond the ability of top experts (e.g. math, code, amount of time spent watching videos, anything that looks like puzzles with correct answers), while many others lag by comparison (creative, strategic, tasks that combine real-world knowledge, state, context and common sense).
Software 1.0 easily automates what you can specify.
Software 2.0 easily automates what you can verify.
Salesforce has signed a definitive agreement to acquire @SpindleAI, a leading agentic analytics platform.
The acquisition brings aboard deep expertise in multi-agent systems and high-performance data applications to accelerate Agentforce: https://t.co/XkFI4E1tvz
Data Science teams are often stretched thin, and spend more time managing dashboards rather than discovering verifiable insights. Spindle AI changes this!
🚀 Introducing AI agents that make “self-driving” machine learning usable by anyone — no PhD required. A lifelong dream for me, launched in months… Demo below!
Forecasting, key driver analysis, predictions, tipping-point analysis, and anomaly detection now take minutes instead of weeks. 🤖
✨ To my knowledge, we’re the first team in the world to ship autonomous machine learning (AutoML) guided by an agent — or “agentic AutoML” — usable by anyone.
Genuinely in awe of the creativity, ingenuity, and grit every @SpindleAI teammate poured into making that possible. 🙏
With transparent, personalized explanations for “how”, “why,” and “what next,” the new agent also delivers actionable recommendations for setting & hitting business targets 🎯 based on patterns in your data.
From churn prediction & customer behavior forecasting, to pricing simulations & cross-sell targeting, beta customers are already sharing compelling use cases with us…
But most of all, I’m excited to see all the creative use cases YOU come up with: https://t.co/er40vSynC4
@garrytan Please tell us about the time you most successfully hacked some (non-computer) system to your advantage
Soham: You're not going to believe this...
@JoshuaOgundu One of my favorite stories ever comes from @officialDannyT’s book — decades after prison, he’s with one of his closest friends who served time with him for a film in Paris. He’s reminiscing about prison again when his friend stops him and says, “Mexican, you’re in Paris”.
ostensibly strange architecture decisions can usually be explained by:
1) decision maker has not been on-call much in their life
2) decision maker has been on-call a lot in their life
EXCLUSIVE: Star Health is a $1.4B revenue insurance company whose CISO sold ~31 million Indians' data from salary to PAN card to a Chinese hacker for $43k.
Ever wondered how these things happen? Here's a breakdown of the events "allegedly" with video proof.
1. Amarjeet Khanuja, CISO of Star Health, reaches out to xenZen through a referral from denol on encrypted chat app Tox on July 6, 2024.
2. xenZen says yes and they negotiate and land on $28k for customer data on Monero (crypto). CISO doesn't know Bitcoin is a bad idea for this nor has ever used escrow.
3. CISO sends hacker login credential and an API endpoint w/details on their proton mail. Hacker sends money and gets it.
4. On July 20, CISO says I can also give you all the claims data. They agree on $15k and repeat the above.
5. Five days later, hacker says his access was revoked and CISO says "You've taken 5TB and I want $150k now because senior management wants a cut."
6. Hacker asks for a refund and gives final warning.
7. xenZen posted a sale listing on BreachForums for diplomatic passports of India (unrelated).
8. Sep 25 is when the starhealthleak website drops with 2 Telegram bots for customer and claims data.
From private sources, xenZen says he's bought and sold data from Indian companies before. Attached is video evidence which is unlikely to be spoofed.
The media did not care until I posted about it yesterday. Star Health responded by legal threats against Telegram and Cloudflare and a forensic investigation.
People in power in India (and perhaps elsewhere) will sell your data in a heartbeat. Why? No one seems to care.