Dzmitry

SVP of Engineering at

[Alex Fetisov @AlexFLogic]

Last week, OpenAI demonstrated that AI systems can help discover new mathematics approaches in its recent counterexample to a conjecture of Paul Erdős announcement. We at Logical Intelligence took that as a challenge as well and formally verified the result in Lean 4 using the latest version of our Aleph Prover agentic system. The result is now a machine-checkable artifact in Lean 4.

This was a real hurdle for our new improved version of Aleph Prover to overcome to demonstrate that it can solve more complicated problems for extended periods of time.

We are happy to see more top companies working in that direction. We firmly believe that verifiable AI is the future and we’re excited to be part of that.

[Logical Intelligence @logic_int]

NEW: Aleph Prover has formalized OpenAI’s disproof of Paul Erdős’ planar unit problem.

We are releasing the formalization as open source so that other researchers can inspect, extend, and independently validate the result.

See it here: https://t.co/JR7M0tWQVN

[Apollo.io @useapolloio]

*Realizing AI can save me hours each week…*

👆That's you during #ApolloNEXT at #SFTechWeek @Techweek_

Don't miss:
🤖 Apollo product demos at…
💯 The GTM event of the year…
📍 On October 9 | SFJazz Center

Secure your spot: https://t.co/kAPHhGCveY

[Apollo.io @useapolloio]

Which one? 😂

[Apollo.io @useapolloio]

NEW Apollo Scores 🚨 Easy, fast, transparent, real-time AI-generated scores on every lead.

➡️Identify the most qualified leads
➡️Increase your chances of selling
➡️Boost your team’s productivity

Watch the full video!

And learn more here: https://t.co/55ahOKAyjO

[Apollo.io @useapolloio]

NEW PRODUCT! 🚨 Apollo Conversations. Your way to get AI-powered insights from your sales video calls —
and can take action on them using Apollo's prospect data and sales engagement tools. Learn more: https://t.co/XfY40RHZPB

[Grafana @grafana]

Want more insight into your Golang applications? Check out this great article from @flow_blockchain that dives into advanced topics, such as asynchronous structured logging, metrics, tracing with TraceQL, aggregating pprof and continuous profiling,
https://t.co/ULYf8MN5ht

[Dzmitry @dmich_tw]

https://t.co/7Vthwwb1GE

[Flow.com @flow_blockchain]

We're so excited to welcome @mattel and their new Mattel Creations NFT Marketplace #onFlow

[Dzmitry @dmich_tw]

https://t.co/SnDYdHxUfk

[Paul Philleo @philpauleo]

When looking to optimize servers for high throughput and low latency, high level optimizations are a strong starting point — Alexey Ivanov, Software Engineer, @dapperlabs. (Good examples are included on the slide as well.) #P99Conf #Scylladb #server #optimization

[Flow.com @flow_blockchain]

👋 Welcome @SanJoseSharks to Flow

🌊 The first NHL team #onFlow
🎟 They’re working with @ticketmaster to issue attendance-based NFTs
🏒 Fans attending tonight’s game at @SAPCenter can redeem their digital collectible

Learn more 👉 https://t.co/adQjbMWo95

[Dzmitry @dmich_tw]

Come meet our team at @GopherCon this year!

[GopherCon @GopherCon]

We’re excited to share that @dapperlabs is a Gold sponsor of #GopherCon! Visit the team Oct. 7-8 at their booth to learn how engineers use Go to build their open-source smart contract language, Cadence, which powers @flowblockchain, @nflallday, @nbatopshot, and more. #golang

[Dzmitry @dmich_tw]

https://t.co/hcDCcSkwVz

[Omar Siddiqui @omsidd]

Excellent overview of our decision to work with @flow_blockchain from @onjoyride

Excited to keep building #web3 together @flowverse_ @dapperlabs @roham

[NFL @NFL]

#NFLAllDay is officially open and available to fans worldwide! 🔥🏈

Experience your fandom in a new way by collecting the best moments from your favorite players and teams on @NFLALLDAY today!

[NBA Top Shot @NBATopShot]

TODAY.

🪄➡️ https://t.co/3cTMuts36S

[NBA Top Shot @NBATopShot]

This just in ✨

Challenges are getting an upgrade.

https://t.co/LkQYJj72j9

[Coinbase Developer Platform🛡️ @CoinbaseDev]

You've heard about @flow_blockchain, the network powering @CryptoKitties, @nbatopshot, and @BlockleteGames but do you know how it works?

Explore the network dynamics of this chain built for a new gen of games and dapps. https://t.co/plXfN9aSmt

[Dzmitry @dmich_tw]

@hellodapper More likely https://t.co/KDpEYfiAXZ
Google Cloud Networkingoutage