Google DeepMind introduced Aletheia, a math-focused AI agent that scored 91.9% on IMO-ProofBench Advanced, one of the toughest public benchmarks for Olympiad-style proofs.
Aletheia runs on Gemini Deep Think and uses a loop of generating proofs, checking them, then refining mistakes. DeepMind says it outperforms even newer Gemini Deep Think Advanced setups while using less compute.
Beyond benchmarks, the agent has formally solved four problems from the ErdΕs list, with one likely not previously closed in literature. It also wrote a full math paper with correct results and assisted researchers on real academic work.
Proof-based reasoning is becoming measurable, scalable, and cheaper at the same time.
Please open Telegram to view this post
VIEW IN TELEGRAM
π71β€50π₯34π4π1π’1π1
Udemy announced a partnership with OpenAI. Its catalog of more than 290,000 courses is now accessible inside ChatGPT through a course discovery feature.
Users can browse and interact with Udemyβs learning content directly in chat instead of leaving the interface.
The move comes as Udemy prepares to merge with Coursera in a deal valued at about $2.5B. The transaction, announced in December 2025, is expected to close in the second half of 2026 and would combine the two largest online learning platforms under the Coursera brand.
AI search is becoming the new front door for education platforms.
Please open Telegram to view this post
VIEW IN TELEGRAM
π€63β€54π―24π₯21π5π3π’1π1
Forwarded from Venture Capital
Safety debates are no longer internal. They are playing out in public as AI systems scale.
Please open Telegram to view this post
VIEW IN TELEGRAM
Please open Telegram to view this post
VIEW IN TELEGRAM
π35π33π33π30π€30π28π28π’26β€24π¦24π―17
This media is not supported in your browser
VIEW IN TELEGRAM
China has completed a water landing of the first stage of Long March-10A, its super-heavy reusable rocket. The vehicle stands 67 meters tall with a 5-meter diameter.
Long March-10A is designed for lunar missions. China plans to use it to deliver taikonauts to the Moon by 2030.
Reusable heavy lift is now part of the lunar timeline.
Please open Telegram to view this post
VIEW IN TELEGRAM
π―78β€59π₯58π4π€3π2π1π’1
Forwarded from Programmer β¨οΈ
Please open Telegram to view this post
VIEW IN TELEGRAM
π70π―45π€28β€25π25π’24π₯17π6π1π1π1
Media is too big
VIEW IN TELEGRAM
Most people think AI started with ChatGPT, but Steve Jobs called it in 1983.
He explains why the next Aristotle will live forever through a machine.
π @tech
He explains why the next Aristotle will live forever through a machine.
Please open Telegram to view this post
VIEW IN TELEGRAM
π€59π³49π€―42β€33π15π8π₯7π’1
This media is not supported in your browser
VIEW IN TELEGRAM
βDonβt worry, there will still be great jobs even when AI automates everythingβ
The jobs:
π @tech
The jobs:
Please open Telegram to view this post
VIEW IN TELEGRAM
π79π51π€43β€40π23π4π₯1π―1
Startups & Ventures
Silicon Valley predicted the future before the future arrivedπ€£ π @tech
Please open Telegram to view this post
VIEW IN TELEGRAM
π82π€©66β€57π₯3π―3π1π’1
Please open Telegram to view this post
VIEW IN TELEGRAM
π75π45π₯44π41π36π―12β€4π³3π’2
π¦ OpenAI acquires OpenClaw and hires its creator
OpenAI has absorbed the OpenClaw project and brought its creator, Peter Steinberg, into the company. He will lead development of the next generation of AI agents. Sam Altman called him a genius and said his ideas will soon shape OpenAI products.
OpenClaw itself will remain open source. OpenAI says it will continue to support and develop the project.
The repository has been one of the fastest-growing in GitHub history by stars. At its peak, it gained 34,000 stars in two days. In about 60 days, it went from roughly 9,000 to nearly 200,000 stars. For comparison, Kubernetes took about three years to reach 100,000.
Anthropic reportedly had an opportunity to move earlier but focused on trademark concerns around the original name ClawdBot.
This time, OpenAI moved first and secured the team behind the momentum.
π @tech
OpenAI has absorbed the OpenClaw project and brought its creator, Peter Steinberg, into the company. He will lead development of the next generation of AI agents. Sam Altman called him a genius and said his ideas will soon shape OpenAI products.
OpenClaw itself will remain open source. OpenAI says it will continue to support and develop the project.
The repository has been one of the fastest-growing in GitHub history by stars. At its peak, it gained 34,000 stars in two days. In about 60 days, it went from roughly 9,000 to nearly 200,000 stars. For comparison, Kubernetes took about three years to reach 100,000.
Anthropic reportedly had an opportunity to move earlier but focused on trademark concerns around the original name ClawdBot.
This time, OpenAI moved first and secured the team behind the momentum.
Please open Telegram to view this post
VIEW IN TELEGRAM
π€46π₯41π29π27β€25π―17π13π€―12π4π2π’1
This media is not supported in your browser
VIEW IN TELEGRAM
π₯ AGIBOT shows kung fu robot A3 with jump kicks and flips
Shanghai-based AGIBOT presented its robot A3 performing jump kicks, spinning strikes at different angles, and backflips. The company says the robot can consistently hit its target during demonstrations.
Despite the martial arts moves, the intended use case is far calmer. AGIBOT plans to deploy A3 for guided tours and escort services.
π @tech
Shanghai-based AGIBOT presented its robot A3 performing jump kicks, spinning strikes at different angles, and backflips. The company says the robot can consistently hit its target during demonstrations.
Despite the martial arts moves, the intended use case is far calmer. AGIBOT plans to deploy A3 for guided tours and escort services.
Please open Telegram to view this post
VIEW IN TELEGRAM
π€―83π³69π₯55β€41π’2π2π1π1
This media is not supported in your browser
VIEW IN TELEGRAM
They are now 3D printing a 12 meter boat in one piece with robots, no mold and no extra cost.
What once needed a full shipyard can now be done with a giant printer.
π @tech
What once needed a full shipyard can now be done with a giant printer.
Please open Telegram to view this post
VIEW IN TELEGRAM
β€90π₯79π¦77π6π€―1π’1
Mark Gurman reports that Apple plans to announce a lower-cost MacBook at its March event. The device is expected to start at $699.
Instead of an M-series chip, it will use the A18 Pro from the iPhone 16 Pro. While positioned below Apple Silicon M chips, the A18 Pro is said to approach original M1-level performance. The display is rumored at 12.9 inches. Apple has also developed a cheaper and faster aluminum manufacturing process for the chassis.
Color testing reportedly includes light yellow, light green, blue, pink, silver, and dark gray. Current MacBook Air models start at $999.
A sub-$700 Mac would reset the entry point to the Mac lineup.
Please open Telegram to view this post
VIEW IN TELEGRAM
π₯54π€©51π50β€47π’6π3π1
Startups & Ventures
π¦ OpenAI acquires OpenClaw and hires its creator OpenAI has absorbed the OpenClaw project and brought its creator, Peter Steinberg, into the company. He will lead development of the next generation of AI agents. Sam Altman called him a genius and said hisβ¦
OpenClaw creator Peter Steinberg is the literal βOk Claude, make a $1B company, make no mistakesβ gigachad meme.
π @tech
Please open Telegram to view this post
VIEW IN TELEGRAM
Please open Telegram to view this post
VIEW IN TELEGRAM
π52β€32π’26π26π¦26π25π³24π±23π€22π―17π€―16
If you have ever scanned a bank card with your phone camera or watched an app extract data from a receipt, you used technology shaped by Yann LeCun.
In the 1980s, computer vision was stuck. Systems tried to process entire images at once, consumed heavy compute, and produced weak results. LeCun took a different path inspired by biology. He designed neural networks that break images into small patterns like edges and curves, then assemble meaning from those pieces.
In 1989, he introduced a handwritten digit recognition system. By the 1990s, his algorithms were processing roughly 10% of bank checks in the US. It was one of the first cases where neural networks delivered measurable profit to large companies.
Please open Telegram to view this post
VIEW IN TELEGRAM
β€72π60π49π42π₯10π’1
OpenClaw is now integrated into Kimi. Users can create their own agents in a few clicks and run them inside Kimiβs web interface.
Agents can execute actions across connected tools and build long task chains.
continuously and fetch fresh information
Please open Telegram to view this post
VIEW IN TELEGRAM
π54π47β€39π₯39π€21π8π5π’2
Forwarded from Programmer β¨οΈ
Please open Telegram to view this post
VIEW IN TELEGRAM
π81π³68π₯56β€4π3π2
Claude is turning CEOs back to builder mode.
Please open Telegram to view this post
VIEW IN TELEGRAM
Please open Telegram to view this post
VIEW IN TELEGRAM
β€55π44π36π€35π€©28π28π³27π€27π25π’22π20