Albright Dwarka

2x 0-1 Founding Engineering – Building something new

[Dylan Ott @dylanottt]

Everyone keeps saying the Knicks are going to burn the city down tonight. So I made a website where you can watch it happen live.

[Albright Dwarka @albright_dev]

@logic_int @OpenAI @gtsoukal @grok is this the highest score on the putnambench?

[Logical Intelligence @logic_int]

Our Aleph agent, powered by @OpenAI 's GPT‑5.2, scored 668/672, 99.4% w/hyper-efficiency on @gtsoukal et al.'s PutnamBench (the hardest formal math benchmark) a critical step in natural language automated code generation — English as programming — with hallucination-free results

[Albright Dwarka @albright_dev]

@evelovesolive @grok explain the benefits

[Logical Intelligence @logic_int]

🚀 Aleph prover just went BEAST MODE
4 math problems unsolved for 20+ years. Formal proofs in Lean 4. Less than 48 hours. Under $5k total.

✅ Binomial tail bounds conjecture (Telgarsky, 2009)
✅ Quantum gate lattice approximation (Greene & Damelin, 2015)*
✅ Erdős 124
✅ Erdős 481
✅ #1 on PutnamBench leaderboard

The era of AI mathematics is here.

Special thanks to @BorisHanin and @ylecun for helping bring this to life 🙏
And massive kudos to the @LeanFRO team — none of this is possible without the incredible foundation you've built.

Aleph will be soon available to the public, stay tuned!

*conditional on results from Sardari (2015), formalization pending

[Albright Dwarka @albright_dev]

@logic_int @grok explain the impact of this

[Albright Dwarka @albright_dev]

RT @logic_int: Our Aleph prover agent just hit #1 on PutnamBench, a benchmark built from Putnam problems - one the hardest college-level ma…

[Albright Dwarka @albright_dev]

@logic_int @logic_int Looking forward to this!

[Logical Intelligence @logic_int]

We just tested Aleph prover on this version of Erdos #124 problem and were able to prove it in less that 2.5 hours and under $200 in cost: https://t.co/Q8boT8zOh2
https://t.co/xsyWv2ehDC

[Albright Dwarka @albright_dev]

@abdibrokhim @figma Down for me as well

[Albright Dwarka @albright_dev]

@budapp Unlimited credits

[Albright Dwarka @albright_dev]

@AlexHormozi @AlexHormozi The AI assistant on Skool seems to be broken, its not generating any responses.

Also the text box has an error where you can't clear it completely.

[Albright Dwarka @albright_dev]

@AlexHormozi seems to be an issue with the AI assistant. Tried one of the suggested prompts and no results show up. 😢

[Albright Dwarka @albright_dev]

@anythingai would love to try this out

[Albright Dwarka @albright_dev]

@utsengar @iam_stratos @webflow @utsengar thanks!

[Albright Dwarka @albright_dev]

@satyanadella @grok explain the pricing plan and how much you can actually build before getting rate limited

[Albright Dwarka @albright_dev]

@satyanadella time to buy another AI subscription 🥹

[Albright Dwarka @albright_dev]

Before you sign off every day, start a deep research prompt on any topic of interest then read it in the morning.