Connect with us
Prague Gaming & TECH Summit 2025 (25-26 March)

Latest News

$10 million Artificial Intelligence Mathematical Olympiad Prize appoints further advisory committee members

Published

on

D. Sculley, Kevin Buzzard, Leo de Moura, Lester Mackey and Peter J. Liu appointed to the advisory committee for the Artificial Intelligence Mathematical Olympiad Prize.

LONDON, April 26, 2024 /PRNewswire/ — XTX Markets’ newly created Artificial Intelligence Mathematical Olympiad Prize (‘AIMO Prize’) is a $10mn challenge fund designed to spur the creation of a publicly shared AI model capable of winning a gold medal in the International Mathematical Olympiad (IMO).

XTX Markets is delighted to announce the appointment of five further advisory committee members. This group brings great expertise in machine learning, including D. Sculley, the CEO of Kaggle; Lester Mackey, a Principal Researcher at Microsoft Research and a Macarthur Fellow; and Peter J. Liu, a research scientist at Google DeepMind.

Prolific mathematicians Kevin Buzzard, who achieved a perfect score in the International Mathematical Olympiad, and Leo De Moura who is the Chief Architect for Lean, the automated reasoning tool, also join the advisory group.

They join the existing advisory committee members Terence Tao and Timothy Gowers, both winners of the Fields Medal, as well as Dan Roberts, Geoff Smith and Po-Shen Loh.

The AIMO Advisory Committee will support the development of the AIMO Prize, including advising on appropriate protocols and technical aspects, and designing the various competitions and prizes.

Simon Coyle, Head of Philanthropy at XTX Markets, commented:

“We are thrilled to complete the AIMO Advisory Committee with the appointments of D., Kevin, Leo, Lester and Peter. Together, they have enormous experience in machine learning and automated reasoning and are already bringing expertise and wisdom to the AIMO Prize. We look forward to announcing the winners of the AIMO’s first Progress Prize soon, and then publicly sharing the AI models to support the open and collaborative development of AI.”

Further information on the AIMO Prize

There will be a grand prize of $5mn for the first publicly shared AI model to enter an AIMO approved competition and perform at a standard equivalent to a gold medal in the IMO. There will also be a series of progress prizes, totalling up to $5mn, for publicly shared AI models that achieve key milestones towards the grand prize.

Advertisement

The first AIMO approved competition opened to participants in April 2024 on the Kaggle competition platform. The first progress prize focuses on problems pitched at junior and high-school level maths competitions. There is a total prize pot of $1.048m for the first progress prize, of which at least $254k will be awarded in July 2024, There will be a presentation of progress held in Bath, England in July 2024, as part of the 65th IMO.

For more information on the AIMO Prize visit: https://aimoprize.com/ or the competition page on Kaggle: https://www.kaggle.com/competitions/ai-mathematical-olympiad-prize/

Advisory Committee member profiles:

D. Sculley

D. is the CEO at Kaggle. Prior to joining Kaggle, he was a director at Google Brain, leading research teams working on robust, responsible, reliable and efficient ML and AI. In his career in ML, he has worked on nearly every aspect of machine learning, and has led both product and research teams including those on some of the most challenging business problems. Some of his well-known work involves ML technical debt, ML education, ML robustness, production-critical ML, and ML for scientific applications such as protein design.

Kevin Buzzard

Kevin a professor of pure mathematics at Imperial College London, specialising in algebraic number theory. As well as his research and teaching, he has a wide range of interests, including being Deputy Head of Pure Mathematics, Co-Director of a CDT and the department’s outreach champion. He is currently focusing on formal proof verification, including being an active participant in the Lean community. From October 2024, he will be leading a project to formalise a 21st century proof of Fermat’s Last Theorem. Before joining Imperial, some 20 years ago, he was a Junior Research Fellow at the University of Cambridge, where he had previously been named ‘Senior Wrangler’ (the highest scoring undergraduate mathematician). He was also a participant in the International Mathematical Olympiad, winning gold with a perfect score in 1987. He has been a visitor at the IAS in Princeton, a visiting lecturer at Harvard, has won several prizes both for research and teaching, and has given lectures all over the world.

Leo de Moura

Leo is a Senior Principal Applied Scientist in the Automated Reasoning Group at AWS. In his spare time, he dedicates himself to serving as the Chief Architect of the Lean FRO, a non-profit organization that he proudly co-founded alongside Sebastian Ullrich. He is also honoured to hold a position on the Board of Directors at the Lean FRO, where he actively contributes to its growth and development. Before joining AWS in 2023, he was a Senior Principal Researcher in the RiSE group at Microsoft Research, where he worked for 17 years starting in 2006. Prior to that, he worked as a Computer Scientist at SRI International. His research areas are automated reasoning, theorem proving, decision procedures, SAT and SMT. He is the main architect of several automated reasoning tools: Lean, Z3, Yices 1.0 and SAL. Leo’s work in automated reasoning has been acknowledged with a series of prestigious awards, including the CAV, Haifa, and Herbrand awards, as well as the Programming Languages Software Award by the ACM. Leo’s work has also been reported in the New York Times and many popular science magazines such as Wired, Quanta, and Nature News.

Lester Mackey

Advertisement

Lester Mackey is a Principal Researcher at Microsoft Research, where he develops machine learning methods, models, and theory for large-scale learning tasks driven by applications from climate forecasting, healthcare, and the social good. Lester moved to Microsoft from Stanford University, where he was an assistant professor of Statistics and, by courtesy, of Computer Science. He earned his PhD in Computer Science and MA in Statistics from UC Berkeley and his BSE in Computer Science from Princeton University. He co-organized the second place team in the Netflix Prize competition for collaborative filtering; won the Prize4Life ALS disease progression prediction challenge; won prizes for temperature and precipitation forecasting in the yearlong real-time Subseasonal Climate Forecast Rodeo; and received best paper, outstanding paper, and best student paper awards from the ACM Conference on Programming Language Design and Implementation, the Conference on Neural Information Processing Systems, and the International Conference on Machine Learning. He is a 2023 MacArthur Fellow, a Fellow of the Institute of Mathematical Statistics, an elected member of the COPSS Leadership Academy, and the recipient of the 2023 Ethel Newbold Prize.

Peter J. Liu

Peter J. Liu is a Research Scientist at Google DeepMind in the San Francisco Bay area, doing machine learning research with a specialisation in language models since 2015 starting in the Google Brain team. He has published and served as area chair in top machine learning and NLP conferences such as ICLR, ICML, NEURIPS, ACL and EMNLP. He also has extensive production experience, including launching the first deep learning model for Gmail Anti-Spam, and using neural network models to detect financial fraud for top banks. He has degrees in Mathematics and Computer Science from the University of Toronto.

About XTX Markets:

XTX Markets is a leading financial technology firm which partners with counterparties, exchanges and e-trading venues globally to provide liquidity in the Equity, FX, Fixed Income and Commodity markets. XTX has over 200 employees based in London, Paris, New York, Mumbai, Yerevan and Singapore. XTX is consistently a top 5 liquidity provider globally in FX (Euromoney 2018-present) and is also the largest European equities (systematic internaliser) liquidity provider (Rosenblatt FY: 2020-2023).

The company’s corporate philanthropy focuses on STEM education and maximum impact giving (alongside an employee matching programme). Since 2017, XTX has donated over £100mn to charities and good causes, establishing it as a major donor in the UK and globally.

In a changing world XTX Markets is at the forefront of making financial markets fairer and more efficient for all.

 

View original content:https://www.prnewswire.co.uk/news-releases/10-million-artificial-intelligence-mathematical-olympiad-prize-appoints-further-advisory-committee-members-302128542.html

Advertisement
Continue Reading
Advertisement
Click to comment

Leave a Reply

Your email address will not be published. Required fields are marked *

Latest News

COCA Celebrates Q2 2024 with Record-Breaking Milestones and New Launches

Published

on

HONG KONG, Aug. 7, 2024 /PRNewswire/ — COCA, a pioneering force in the crypto wallet and financial services industry, has achieved several remarkable milestones in Q2 2024. Thanks to the steadfast support of its user community, COCA has launched new features, expanded its partnerships, and garnered prestigious accolades, further solidifying its position as a leader in the crypto space.

Launch of Physical Cards

COCA has introduced its highly anticipated physical cards, which are now available globally and compatible with Apple Pay and Google Pay. These cards allow users to make transactions with ease, earning cashback rewards on their purchases. This significant launch marks a step forward in integrating crypto with everyday financial activities, enhancing user convenience and financial flexibility.

Wallet Growth Milestone

The company has reached a significant milestone with 510,000 active wallets, reflecting a 102% growth quarter-on-quarter. This surge in active wallets highlights the increasing trust and adoption of COCA’s platform, as more users join the COCA community to manage their crypto assets securely and efficiently.

Transaction Volume Surge

In Q2 2024, COCA processed over USD 450,000 in transactions through its platform, demonstrating the robust usage and popularity of its financial services. This impressive transaction volume underscores COCA’s commitment to providing smooth and efficient crypto payment solutions.

Integration with Revolut

COCA has made it easier for users to fund their wallets by integrating with Revolut. This new feature allows seamless loading of crypto assets, enhancing the overall user experience and accessibility of COCA’s services.

Award Recognition

Advertisement

COCA has been honoured with the “Best Startup” award in the Financial Revolution category at CONF3RENCE & BLOCKCHANCE 2024. This award is a testament to COCA’s innovative approach and significant impact on the future of finance, recognizing its efforts in driving forward the digital financial ecosystem.

New Strategic Partnerships

COCA has formed strategic partnerships with industry leaders such as Wirex Pay and GoMining. These collaborations aim to provide users with enhanced rewards and a superior overall experience. The partnerships signify COCA’s dedication to expanding its ecosystem and delivering greater value to its users.

Welcoming Pavel Matveev

COCA is excited to announce the addition of Pavel Matveev, Founder of Wirex, to its team as a Strategy and Product Advisor. Pavel’s extensive experience and visionary approach are expected to drive COCA’s strategic initiatives and product development, contributing to the company’s continued growth and innovation.

Season 2 Point System Launch

Season 2 of COCA’s popular point system has launched, offering users the opportunity to earn points through various activities, including trades, referrals, holding assets, and spending with COCA cards. With a prize pool of USDT 3500 and 5 Wirex Pay Nodes, this season promises exciting rewards and increased user engagement. The season ends on August 9th, so users are encouraged to participate actively.

NFT Giveaway

In a special giveaway, COCA distributed 1000 GoMining NFTs to lucky users. These NFTs provide unique benefits, including enhanced mining capabilities and exclusive digital collectibles, adding significant value to the user experience.

For further details on COCA’s Q2 achievements and upcoming initiatives, visit the company’s blog.

Advertisement

Website: coca.xyz

COCA continues to redefine the crypto experience with its innovative solutions, seamless integrations, and user-focused approach. The company’s recent milestones and future plans highlight its commitment to leading the way in the digital financial landscape.

About COCA

COCA is a next-generation crypto super app designed to simplify and secure the crypto experience for users worldwide. With innovations in security, usability, and integration, COCA is at the forefront of the digital asset revolution. For more information, visit coca.xyz.

Photo – https://mma.prnewswire.com/media/2477245/COCA_Q2_2024.jpg
Logo – https://mma.prnewswire.com/media/2338075/4848605/COCA_Logo.jpg

 

COCA Logo

 

Cision View original content:https://www.prnewswire.co.uk/news-releases/coca-celebrates-q2-2024-with-record-breaking-milestones-and-new-launches-302216619.html

Continue Reading

Latest News

Stake and Earn with KuCoin’s Innovative GemPool Platform

Published

on

VICTORIA, Seychelles, Aug. 7, 2024 /PRNewswire/ — KuCoin, a leading global cryptocurrency exchange, is excited to announce the launch of GemPool, its innovative new platform that allows users to acquire token airdrops as a reward for staking their crypto assets. This unique product is designed to provide early access to emerging crypto projects while offering rewards for their existing holdings at zero cost. By staking respective tokens in separate pools, users can farm new tokens and gain a foothold in the latest developments within the cryptocurrency market.

GemPool also offers flexible staking terms, allowing users to stake and un-stake their assets anytime within the designated period without lock-up restrictions. This flexibility ensures that users can manage their assets according to their preferences and market conditions. Additionally, GemPool provides zero-cost rewards, enabling users to earn tokens while holding their existing cryptocurrencies. By staking their tokens, users contribute to the growth of promising new projects, supporting innovation and development within the crypto space. With completion of tasks offered, users are eligible to earn multiplier bonus and receive more rewards.

Users can participate by staking KCS, USDT, or other specified assets in designated pools. The rewards are earned according to the respective yields of the pools, ensuring a fair and exciting experience for all users.

For more information on how to participate and the benefits of GemPool, please visit the KuCoin GemPool page.

About KuCoin

Launched in September 2017, KuCoin is a leading cryptocurrency exchange with its operational headquarters in Seychelles. As a user-oriented platform with a focus on inclusiveness and community engagement. It offers over 900 digital assets across Spot trading, Margin trading, P2P Fiat trading, Futures trading, and Staking to its 34 million users in more than 200 countries and regions. KuCoin ranks as one of the top 6 crypto exchanges. KuCoin was acclaimed as “One of the Best Crypto Apps & Exchanges of June 2024” by Forbes Advisor and has been included as one of the top 50 companies in the “2024 Hurun Global Unicorn List”. Learn more at https://www.kucoin.com/.

Logo – https://mma.prnewswire.com/media/2356857/KuCoin_Horizontal_Green_LOGO_Logo.jpg

Cision View original content:https://www.prnewswire.co.uk/news-releases/stake-and-earn-with-kucoins-innovative-gempool-platform-302216471.html

Continue Reading

Latest News

Trust Wallet Launches Gamified Education Platform and Loyalty Program to Enhance and Reward Web3 Learning

Published

on

DUBAI, UAE, Aug. 7, 2024 /PRNewswire/ — Trust Wallet, the world’s leading self-custody Web3 wallet and Web3 gateway trusted by over 130 million users, has launched Trust Wallet Quests, a gamified education platform within the Trust Wallet mobile app which encourages users to earn points while exploring and learning about Web3.

Users can engage in task-based challenges ranging from quizzes to complex problem-solving scenarios composed of various DeFi and Web3 activities, all designed to deepen their understanding of blockchain technology and decentralized applications (dApps), and expose them to exciting opportunities within Web3. As an incentive, users will earn Trust Points, a loyalty-based points system designed to reward user activity within the Trust Wallet mobile app. With Trust Points, users can earn rewards upon the completion of specific tasks, making Web3 more rewarding and fun.

In the future, Trust Points will offer additional gamification features, such as unlocking achievements, badges, and levels. This interactive approach not only boosts individual learning but also contributes to broader community education and adoption of decentralized technologies, making Trust Wallet Quests a dynamic and exciting way to reward loyal users and engage with communities in Web3.

On the motive for launching Trust Wallet Quests, Eowyn Chen, CEO of Trust Wallet, stated: “The complex technology and fast-paced industry can be intimidating for both new and seasoned users. The introduction of Quests on Trust Wallet further solidifies our commitment to making it easier for millions to navigate Web3, aligning perfectly with our mission to build a seamless Web3 hub and open ecosystem for all.”

Nate Zou, Head of Product at Trust Wallet, highlighted what to expect from Trust Points and Trust Wallet Quests: “Trust Points and Quests are just the first iteration of a much-needed reward system for our community. Within 2024, we have plans to build on this, combining rewards with many of our other web3 product offerings. Overall, we envision this points system not only changing how users engage with Trust Wallet, but also encouraging more collaboration between Trust Wallet, our users and other web3 ecosystem players.”

Trust Wallet Quests and Trust Points are now available on both Android and iOS versions of Trust Wallet’s mobile app. Download here: https://short.trustwallet.com/TrustWalletQuests

About Trust Wallet

Trust Wallet is the self-custody, multi-chain Web3 wallet and Web3 gateway for people who want to fully own, control, and leverage the power of their digital assets. From beginners to experienced users, Trust Wallet makes it easier, safer, and convenient for millions of people around the world to experience Web3, access dApps securely, store and manage their crypto and NFTs, buy, sell, and stake crypto to earn rewards, all in one place and without limits.

Photo – https://mma.prnewswire.com/media/2475264/image.jpg
Logo – https://mma.prnewswire.com/media/2475420/Trust_Wallet_Core_Logo_Blue_Logo.jpg

Cision View original content:https://www.prnewswire.co.uk/news-releases/trust-wallet-launches-gamified-education-platform-and-loyalty-program-to-enhance-and-reward-web3-learning-302215130.html

Continue Reading

Trending