#daskalakis

[ follow ]
#mathematics
OMG science
fromTheregister
1 week ago

Physicist proposes two-button calculator

A two-button calculator can compute all functions of a scientific calculator using a single operator, simplifying mathematical expressions significantly.
OMG science
fromTheregister
1 week ago

Physicist proposes two-button calculator

A two-button calculator can compute all functions of a scientific calculator using a single operator, simplifying mathematical expressions significantly.
Data science
fromInfoWorld
2 days ago

Why world models are AI's next frontier

World models learn the physical world, providing the common sense AI needs to achieve artificial general intelligence (AGI).
#ai
fromInfoQ
1 week ago
Artificial intelligence

Google's Aletheia Advances the State of the Art of Fully Autonomous Agentic Math Research

Artificial intelligence
fromInfoQ
1 week ago

Google's Aletheia Advances the State of the Art of Fully Autonomous Agentic Math Research

Aletheia, an AI by Google, autonomously solved 6 out of 10 novel math problems, marking a significant advancement in automated proof discovery.
History
fromwww.scientificamerican.com
1 week ago

How two mathematicians created an equation that quietly runs the planet

British sailors risked their lives to retrieve Enigma codes from a sinking submarine, aiding in the deciphering of Nazi communications and shortening WWII.
#artificial-intelligence
fromFortune
3 days ago
Data science

Goldman tackles AI's missing link: the 'world model' that every AI godfather is racing to figure out | Fortune

Artificial intelligence
fromFortune
3 weeks ago

For most workplace tasks, AI is good enough to pass but not good enough to impress, MIT finds | Fortune

AI technology is improving but still struggles to meet quality standards in many workplace tasks.
fromenglish.elpais.com
4 weeks ago
OMG science

How AI giants tried to storm the last stronghold of the human mind: the math olympiads

AI falsely claimed a medal at the International Mathematical Olympiad, overshadowing the achievements of young mathematicians.
fromFast Company
1 month ago
Artificial intelligence

How AI evolved from quest for a mathematical theory of the mind

Mathematics enables rigorous theories of how minds work and builds artificial intelligence systems by discovering Laws of Thought, paralleling physicists' discovery of Laws of Nature.
Science
fromNature
1 week ago

Human scientists trounce the best AI agents on complex tasks

The number of natural science publications mentioning AI grew nearly 30-fold from 2010 to 2025, indicating rapid adoption by scientists.
Data science
fromFortune
3 days ago

Goldman tackles AI's missing link: the 'world model' that every AI godfather is racing to figure out | Fortune

The next leap in AI requires solving the 'world model' problem, which is essential for machines to achieve a fundamental understanding of reality.
Artificial intelligence
fromFortune
3 weeks ago

For most workplace tasks, AI is good enough to pass but not good enough to impress, MIT finds | Fortune

AI technology is improving but still struggles to meet quality standards in many workplace tasks.
OMG science
fromenglish.elpais.com
4 weeks ago

How AI giants tried to storm the last stronghold of the human mind: the math olympiads

AI falsely claimed a medal at the International Mathematical Olympiad, overshadowing the achievements of young mathematicians.
#ai-in-education
fromFuturism
2 months ago
Higher education

Professor Says Her Garbled AI Textbook Was a Huge Success

Professor created AI-assisted, error-filled textbook for a literature course and defended it as intentional, cost-effective, and time-saving despite widespread criticism.
Scala
fromTNW | Insights
2 weeks ago

Databricks co-founder Matei Zaharia wins ACM Prize and declares AGI is already here

Matei Zaharia won the 2026 ACM Prize in Computing for his contributions to distributed data systems and AI infrastructure, donating the prize to charity.
Silicon Valley
fromTechCrunch
2 weeks ago

Databricks co-founder wins prestigious ACM award, says 'AGI is here already' | TechCrunch

Matei Zaharia, co-founder of Databricks, received the ACM Prize in Computing for his contributions to big data and AI.
Roam Research
fromInfoQ
2 weeks ago

Bloom Filters: Theory, Engineering Tradeoffs, and Implementation in Go

Bloom filters efficiently reduce unnecessary lookups in storage systems by filtering out definite negatives, improving latency and resource allocation.
NYC startup
fromInfoQ
3 weeks ago

Directing a Swarm of Agents for Fun and Profit

Netflix pioneered enterprise cloud usage, transitioning from credit card instances to formal AWS licensing.
Information security
fromTechRepublic
3 weeks ago

Google Warns Quantum Computers Could Crack Crypto Sooner Than Expected

Quantum computing poses an imminent threat to cryptocurrency security, with fewer resources needed to break current cryptographic protections than previously estimated.
DevOps
fromInfoWorld
1 month ago

An architecture for engineering AI context

AI systems must intelligently manage context to ensure accuracy and reliability in real applications.
fromArs Technica
1 month ago

Figuring out why AIs get flummoxed by some games

With its Alpha series of game-playing AIs, Google's DeepMind group seemed to have found a way for its AIs to tackle any game, mastering games like chess and by repeatedly playing itself during training. But then some odd things happened as people started identifying Go positions that would lose against relative newcomers to the game but easily defeat a similar Go-playing AI.
Board games
fromwww.scientificamerican.com
1 month ago

Mathematicians find one pi formula to rule them all

For more than two millennia, mathematicians have produced a growing heap of pi equations in their ongoing search for methods to calculate pi faster and faster. The pile of equations has now grown into the thousands, and algorithms now can generate an infinitude. Each discovery has arrived alone, as a fragment, with no obvious connection to the others. But now, for the first time, centuries of pi formulas have been shown to be part of a unified, formerly hidden structure.
Science
Artificial intelligence
fromwww.scientificamerican.com
1 month ago

As AI keeps improving, mathematicians struggle to foretell their own future

First Proof, a benchmarking initiative, is launching its second round to evaluate large language models' ability to contribute to research-level mathematics, now requiring transparency and access from participating AI companies.
Social media marketing
fromTheSavvyGamer
1 month ago

10 Algorithm Myths & 10 Algorithm Truths - TheSavvyGamer

Algorithms are complex, multi-layered systems built by people and tuned by companies based on engagement and profit, not objective quality or personal preference.
fromMedium
2 months ago

Algorithms Are Just Real Life, Formalized

Which Algorithm Is This? If you step back, this maps almost perfectly to the Top K Frequent Elements problem.We usually solve it for integers in a list. Here, the "elements" are audience profiles age and body-type combinations. First, define what an audience profile looks like: case class Profile(age: Int, height: Int, weight: Int) What we want is a function like this:
Scala
Artificial intelligence
fromFortune
1 month ago

Why everyone is talking about Andrej Karpathy's autonomous AI research agent | Fortune

AI agents can autonomously discover and apply optimizations to language model training, achieving significant performance improvements through continuous experimentation.
Higher education
fromPsychology Today
1 month ago

The Mathematics of Conflict Intelligence

Conflict intelligence is a dynamic capacity that evolves through adaptive responses, emotional regulation, perspective-taking, and systemic thinking rather than a fixed personality trait.
Artificial intelligence
fromEntrepreneur
1 month ago

Why AI Made Me a Faster Researcher - Not a Lazier One

AI accelerates research mechanics like data sorting and literature reviews, but human judgment remains essential for determining relevance and driving meaningful insights.
fromHarvard Gazette
2 months ago

Breaking chess's rating stalemate - Harvard Gazette

This is the conundrum of elite chess. The stronger the players, the greater the odds of the match ending in a draw. "What ended up happening," said Mark Glickman, senior lecturer in the Department of Statistics and longtime chess enthusiast, "is that these top players were not having their ratings change very much, just because the games would be drawn all the time."
Data science
#large-language-models
fromFuturism
2 months ago
Artificial intelligence

AI Agents Are Mathematically Incapable of Doing Functional Work, Paper Finds

fromFuturism
2 months ago
Artificial intelligence

AI Agents Are Mathematically Incapable of Doing Functional Work, Paper Finds

Artificial intelligence
fromHarvard Gazette
2 months ago

When you do the math, humans still rule - Harvard Gazette

Mathematicians launched First Proof to test AI on recently solved research problems, showing AI excels at routine tasks but struggles with creative, conceptual breakthroughs.
Artificial intelligence
fromTheregister
1 month ago

AI models get better at math but still get low marks

Current LLMs struggle with mathematical accuracy, with even top performers scoring C-grade equivalent on practical math benchmarks, though recent versions show modest improvements.
fromWIRED
2 months ago

A New AI Math Startup Just Cracked 4 Previously Unsolved Problems

Five years ago, mathematicians Dawei Chen and Quentin Gendron were trying to untangle a difficult area of algebraic geometry involving differentials, elements of calculus used to measure distance along curved surfaces. While working on one theorem, they ran into an unexpected roadblock: Their argument depended on a strange formula from number theory, but they were unable to solve or justify it. In the end, Chen and Gendron wrote a paper presenting their idea as a conjecture, rather than a theorem.
Artificial intelligence
Artificial intelligence
fromTechCrunch
1 month ago

Perplexity's new Computer is another bet that users need many AI models | TechCrunch

Perplexity launches Computer, an agentic tool for Max subscribers that unifies AI capabilities to execute complex workflows independently using 19 models and create subagents.
Artificial intelligence
fromZDNET
2 months ago

AI agents are fast, loose and out of control, MIT study finds

Agentic AI systems currently exhibit significant security risks, limited transparency, inadequate disclosure, and inconsistent safety protocols, requiring stronger developer responsibility and oversight.
fromComputerworld
2 months ago

OpenAI's GPT is getting better at mathematics

OpenAI's GPT-5.2 Pro does better at solving sophisticated math problems than older versions of the company's top large language model, according to a new study by Epoch AI, a non-profit research institute.
Artificial intelligence
Artificial intelligence
fromInfoQ
2 months ago

Foundation Models for Ranking: Challenges, Successes, and Lessons Learned

Large-scale search and recommendation systems use two-stage retrieval and ranking pipelines to efficiently serve personalized results for hundreds of millions of users and items.
fromBusiness Insider
2 months ago

New ranking: Where OpenAI employees went to college

While not a full picture of OpenAI's workforce, the snapshot underscores how heavily frontier AI labs continue to draw from a small cluster of top research universities - and how concentrated elite AI talent remains.
Artificial intelligence
Artificial intelligence
fromZDNET
1 month ago

AI agents are fast, loose, and out of control, MIT study finds

Agentic AI systems lack transparency and security protocols, with developers failing to disclose risks adequately, creating significant security vulnerabilities and operational uncertainties.
fromemptywheel
2 months ago

What We Talk About When We Talk About AI (Part Five) - emptywheel

Last year, a talented programmer friend of mine decided to give vibe coding a try. Vibe coding is the practice of describing to an AI chatbot what kind of program you want, and letting the AI write it for you. In a matter of minutes you can have new software in front of you, and just start using it. At least, in theory. This is what LLMs (Large Language Models) are supposed to be best at - generating usable software for professional developers
Artificial intelligence
Artificial intelligence
fromDevOps.com
2 months ago

Anthropic Research Shows Trade-Off Between AI Productivity and Developer Mastery - DevOps.com

Using AI assistance while learning a new programming library reduces subsequent understanding and debugging ability compared with learning without AI.
[ Load more ]