Connect with us
MARE BALTICUM Gaming & TECH Summit 2024

Artificial Intelligence

Revolution Acceleration Acquisition Corp and Berkshire Grey to Hold Virtual Investor Day on Tuesday, July 13th at 1 p.m. ET

Published

on

BEDFORD, Mass., June 29, 2021 (GLOBE NEWSWIRE) — Revolution Acceleration Acquisition Corp (“RAAC”) (Nasdaq: RAAC) and Berkshire Grey, Inc. (“Berkshire Grey”), the leader in AI-enabled robotic solutions that automate supply chain processes for eCommerce, retail replenishment, and logistics, announced that they will host a virtual Investor Day on Tuesday, July 13, 2021 from 1 p.m. to 3 p.m. Eastern Time.

Presenters will include Tom Wagner, CEO of Berkshire Grey, Steve Johnson, COO of Berkshire Grey, Mark Fidler, CFO of Berkshire Grey, and John Delaney, CEO of RAAC and former U.S. Representative. Following the presentation, attendees will have the opportunity to participate in a question-and-answer session.

All are invited to listen to the live event by registering here.

A replay of the Investor Day webcast will be available on the websites of both Berkshire Grey and RAAC by clicking here or here.

About Berkshire Grey
Berkshire Grey helps customers radically change the essential way they do business by delivering game-changing technology that combines AI and robotics to automate fulfillment, supply chain, and logistics operations. Berkshire Grey solutions are a fundamental engine of change that transform pick, pack, move, store, organize, and sort operations to deliver competitive advantage for enterprises serving today’s connected consumers. Berkshire Grey customers include Global 100 retailers and logistics service providers.

As previously announced, on February 24, 2021, Berkshire Grey entered into a definitive agreement with RAAC that is expected to result in Berkshire Grey becoming a publicly listed company early in the third quarter of 2021, subject to the satisfaction of customary closing conditions, including approval by the stockholders of Revolution Acceleration Acquisition Corp. 

Berkshire Grey and the Berkshire Grey logo are registered trademarks of Berkshire Grey. Other trademarks referenced are the property of their respective owners.

To learn more about Berkshire Grey, visit www.berkshiregrey.com.

About Revolution Acceleration Acquisition Corp
Revolution Acceleration Acquisition Corp focuses on value creation opportunities at the forefront of rapid technological innovation and economic growth. We believe that alternatives to the traditional IPO process create a key avenue for transformative, category-defining companies to quickly and efficiently access public markets, enabling them to scale their business and create value for a broad and diverse group of investors. For more information about RAAC, please visit: www.revolutionaac.com.

Cautionary Statement Regarding Forward-Looking Statements
This communication contains certain forward-looking statements within the meaning of the federal securities laws with respect to the proposed transactions between Berkshire Grey and RAAC. Forward-looking statements may be identified by the use of the words such as “estimate,” “plan,” “project,” “forecast,” “intend,” “expect,” “anticipate,” “believe,” “seek,” “strategy,” “future,” “opportunity,” “may,” “target,” “should,” “will,” “would,” “will be,” “will continue,” “will likely result,” or similar expressions that predict or indicate future events or trends or that are not statements of historical matters. These forward-looking statements include, but are not limited to, statements regarding the proposed transaction between Berkshire Grey and RAAC, including statements as to the expected timing, completion and effects of the proposed transaction. These statements are based on various assumptions, whether or not identified in this communication, and on the current expectations of RAAC’s and Berkshire Grey’s management and are not predictions of actual performance, and, as a result, are subject to risks and uncertainties. These forward-looking statements are provided for illustrative purposes only and are not intended to serve as, and must not be relied on by any investor as, a guarantee, an assurance, a prediction or a definitive statement of fact or probability. Actual events and circumstances are difficult or impossible to predict and will differ from assumptions. Many actual events and circumstances are beyond the control of RAAC and Berkshire Grey. These forward-looking statements are subject to a number of risks and uncertainties, including, but not limited to, (i) the risk that the proposed transaction may not be completed in a timely manner or at all, which may adversely affect the price of RAAC’s securities, (ii) the risk that the proposed transaction may not be completed by RAAC’s business combination deadline and the potential failure to obtain an extension of the business combination deadline if sought by RAAC, (iii) the failure to satisfy the conditions to the consummation of the proposed transaction, including the adoption of the merger agreement by the stockholders of RAAC, the satisfaction of the minimum trust account amount following redemptions by RAAC’s public stockholders and the receipt of certain governmental and regulatory approvals, (iv) the inability to complete the PIPE investment in connection with the proposed transaction, (v) the lack of a third party valuation in determining whether or not to pursue the proposed transactions, (vi) the occurrence of any event, change or other circumstance that could give rise to the termination of the merger agreement, (vii) the amount of redemption requests made by RAAC’s public stockholders, (viii) the effect of the announcement or pendency of the proposed transaction on Berkshire Grey ’s business relationships, operating results and business generally, (ix) risks that the proposed transaction disrupts current plans and operations of Berkshire Grey and potential difficulties in Berkshire Grey customer and employee retention as a result of the proposed transaction, (x) risks relating to the uncertainty of the projected financial information with respect to Berkshire Grey, (xi) risks relating to increasing expenses of Berkshire Grey in the future and Berkshire Grey’s ability to generate revenues from a limited number of customers, (xii) risks related to Berkshire Grey generating the majority of its revenues from a limited number of products and customers, (xiii) the passing of new laws and regulations governing the robotics and artificial intelligence industries that potentially restrict Berkshire Grey’s business or increase its costs, (xiv) potential litigation relating to the proposed transaction that could be instituted against Berkshire Grey, RAAC or their respective directors and officers, including the effects of any outcomes related thereto, (xv) the ability to maintain the listing of RAAC’s securities on The Nasdaq Stock Market LLC, either before or after the consummation of the business combination, (xvi) the price of RAAC’s securities may be volatile due to a variety of factors, including changes in the competitive and highly regulated industries in which RAAC plans to operate, variations in operating performance across competitors, changes in laws and regulations affecting RAAC’s business and changes in the combined capital structure, (xvii) the ability to implement business plans, forecasts, and other expectations after the completion of the proposed transaction, and identify and realize additional opportunities, (xviii) unexpected costs, charges or expenses resulting from the proposed transaction, (xix) risks of downturns and a changing regulatory landscape and (xx) the effects of natural disasters, terrorist attacks and the spread and/or abatement of infectious diseases, such as COVID-19, on the proposed transactions or on the ability to implement business plans, forecasts, and other expectations after the completion of the proposed transactions. The foregoing list of factors is not exhaustive. You should carefully consider the foregoing factors and the other risks and uncertainties described in the “Risk Factors” section of the Proxy Statement/Prospectus (as defined below) and other documents filed by RAAC from time to time with the U.S. Securities and Exchange Commission (the “SEC”). These filings identify and address other important risks and uncertainties that could cause actual events and results to differ materially from those contained in the forward-looking statements. If any of these risks materialize or our assumptions prove incorrect, actual events and results could differ materially from those contained in the forward-looking statements. There may be additional risks that neither RAAC nor Berkshire Grey presently know or that RAAC and Berkshire Grey currently believe are immaterial that could also cause actual events and results to differ from those contained in the forward-looking statements. In addition, forward-looking statements reflect RAAC’s and Berkshire Grey’s expectations, plans or forecasts of future events and views as of the date of this communication. RAAC and Berkshire Grey anticipate that subsequent events and developments will cause RAAC’s and Berkshire Grey’s assessments to change. While RAAC and Berkshire Grey may elect to update these forward-looking statements at some point in the future, RAAC and Berkshire Grey specifically disclaim any obligation to do so, unless required by applicable law. These forward-looking statements should not be relied upon as representing RAAC’s and Berkshire Grey’s assessments as of any date subsequent to the date of this communication. Accordingly, undue reliance should not be placed upon the forward-looking statements. Neither RAAC nor Berkshire Grey gives any assurance that either RAAC or Berkshire Grey, or the combined company, will achieve the results or other matters set forth in the forward-looking statements.

Additional Information and Where to Find It
This communication relates to the proposed business combination (the “Business Combination”) between RAAC and Berkshire Grey. RAAC filed a Registration Statement on Form S-4 with the SEC (File No. 333-254539) (as amended, the “Registration Statement”), which was declared effective, and filed the definitive proxy statement/prospectus (the “Proxy Statement/Prospectus”) in connection with the Business Combination, which it mailed to its stockholders as of the record date established for voting on the Business Combination and the other proposals regarding the Business Combination set forth in the Proxy Statement/Prospectus. RAAC may also file other documents with the SEC regarding the proposed transaction. BEFORE MAKING ANY VOTING OR INVESTMENT DECISION, INVESTORS AND SECURITY HOLDERS ARE URGED TO CAREFULLY READ THE ENTIRE REGISTRATION STATEMENT AND PROXY STATEMENT/PROSPECTUS, AND ANY OTHER RELEVANT DOCUMENTS FILED WITH THE SEC, AS WELL AS ANY AMENDMENTS OR SUPPLEMENTS TO THESE DOCUMENTS, CAREFULLY AND IN THEIR ENTIRETY BECAUSE THEY WILL CONTAIN IMPORTANT INFORMATION ABOUT THE PROPOSED TRANSACTION. The documents filed by RAAC with the SEC, including the Proxy Statement/Prospectus, may be obtained free of charge at the SEC’s website at www.sec.gov. In addition, the documents filed by RAAC may be obtained free of charge upon written request to RAAC at 1717 Rhode Island Ave NW, Suite 1000, Washington, DC 20036, Attn: Investor Relations.

Participants in the Solicitation
RAAC and Berkshire Grey and their respective directors and executive officers may be deemed to be participants in the solicitation of proxies from stockholders of RAAC in connection with the proposed transaction under the rules of the SEC. RAAC’s stockholders and other interested persons may obtain, without charge, more detailed information regarding the names, affiliations and interests of directors and executive officers of RAAC and Berkshire Grey in the Proxy Statement/Prospectus as well as RAAC’s other filings with the SEC. Other information regarding persons who may, under the rules of the SEC, be deemed the participants in the proxy solicitation of RAAC’s stockholders in connection with the proposed Business Combination and a description of their direct and indirect interests, by security holdings or otherwise, is included in the preliminary Proxy Statement/Prospectus and will be contained in other relevant materials to be filed with the SEC regarding the proposed Business Combination (if and when they become available). You may obtain free copies of these documents at the SEC’s website at www.sec.gov. Copies of documents filed with the SEC by RAAC will also be available free of charge from RAAC using the contact information above.

No Offer or Solicitation
This communication is not a proxy statement or solicitation or a proxy, consent or authorization with respect to any securities or in respect of the proposed Business Combination and shall not constitute an offer to sell or a solicitation of an offer to buy the securities of RAAC, Berkshire Grey or the combined company, nor shall there be any sale of securities in any jurisdiction in which such offer, solicitation or sale would be unlawful prior to registration or qualification under the securities laws of any such jurisdiction. No offer of securities shall be deemed to be made except by means of a prospectus meeting the requirements of Section 10 of the Securities Act, and otherwise in accordance with applicable law.

Contacts
Berkshire Grey Press Contact:
Lilian Ma
Director of Corporate Communications
[email protected]

Berkshire Grey Investor Relations Contact:
Cody Slach, Matt Glover
Gateway Group
[email protected]

GlobeNewswire is one of the world's largest newswire distribution networks, specializing in the delivery of corporate press releases financial disclosures and multimedia content to the media, investment community, individual investors and the general public.

Artificial Intelligence

IBM, Government of Canada, Government of Quebec Sign Agreements to Strengthen Canada’s Semiconductor Industry

Published

on

ibm,-government-of-canada,-government-of-quebec-sign-agreements-to-strengthen-canada’s-semiconductor-industry

Up to $187M CAD to be invested to progress expansion of chip packaging capacity and capabilities and to strengthen R&D at IBM Canada’s Bromont plant
BROMONT, QC, April 26, 2024 /PRNewswire/ — IBM (NYSE: IBM), the Government of Canada, and the Government of Quebec today announced agreements that will strengthen Canada’s semiconductor industry, and further develop the assembly, testing and packaging (ATP) capabilities for semiconductor modules to be used across a wide range of applications including telecommunications, high performance computing, automotive, aerospace & defence, computer networks, and generative AI, at IBM Canada’s plant in Bromont, Quebec. The agreements reflect a combined investment valued at approximately $187M CAD.

“Today’s announcement is a massive win for Canada and our dynamic tech sector. It will create high-paying jobs, invest in innovation, strengthen supply chains, and help make sure the most advanced technologies are Canadian-made. Semiconductors power the world, and we’re putting Canada at the forefront of that opportunity,” said the Right Honourable Justin Trudeau, Prime Minister of Canada
In addition to the advancement of packaging capabilities, IBM will be conducting R&D to develop methods for scalable manufacturing and other advanced assembly processes to support the packaging of different chip technologies, to further Canada’s role in the North American semiconductor supply chain and expand and anchor Canada’s capabilities in advanced packaging.
The agreements also allow for collaborations with small and medium-sized Canadian-based enterprises with the intent of fostering the development of a semiconductor ecosystem, now and into the future.
“IBM has long been a leader in semiconductor research and development, pioneering breakthroughs to meet tomorrow’s challenges. With the demand for compute surging in the age of AI, advanced packaging and chiplet technology is becoming critical for the acceleration of AI workloads,” said Darío Gil, IBM Senior Vice President and Director of Research. “As one of the largest chip assembly and testing facilities in North America, IBM’s Bromont facility will play a central role in this future. We are proud to be working with the governments of Canada and Quebec toward those goals and to build a stronger and more balanced semiconductor ecosystem in North America and beyond.”
IBM Canada’s Bromont plant is one of North America’s largest chip assembly and testing facilities, having operated in the region for 52 years. Today, the facility transforms advanced semiconductor components into state-of-the-art microelectronic solutions, playing a key role in IBM’s semiconductor R&D leadership alongside IBM’s facilities at the Albany NanoTech Complex and throughout New York’s Hudson Valley. These agreements will help to further establish a corridor of semiconductor innovation from New York to Bromont. 
“Advanced packaging is a crucial component of the semiconductor industry, and IBM Canada’s Bromont plant has led the world in this process for decades,” said Deb Pimentel, president of IBM Canada. “Building upon IBM’s 107-year legacy of technology innovation and R&D in Canada, the Canadian semiconductor industry will now become even stronger, allowing for robust supply chains and giving Canadians steady access to even more innovative technologies and products. This announcement represents just one more example of IBM’s leadership and commitment to the country’s technology and business landscape.”
Chip packaging, the process of connecting integrated circuits on a chip or circuit board, has become more complex as electronic devices have shrunk and the components of chips themselves get smaller and smaller. IBM announced the world’s first 2 nanometer chip technology in 2021 and, as the semiconductor industry moves towards new methods of chip construction, advances in packaging will grow in importance. 
“Semiconductors are part of our everyday life. They are in our phones, our cars, and our appliances. Through this investment, we are supporting Canadian innovators, creating good jobs, and solidifying Canada’s semiconductor industry to build a stronger economy. Canada is set to play a larger role in the global semiconductor industry thanks to projects like the one we are announcing today. Because, when we invest in semiconductor and quantum technologies, we invest in economic security.”  — The Honourable François-Philippe Champagne, Minister of Innovation, Science and Industry
“This investment by IBM in Bromont will ensure that Quebec continues to stand out in the field of microelectronics. An increase in production capacity will solidify Quebec’s position in the strategic microelectronics sector in North America.” — The Honourable Pierre Fitzgibbon, Minister of Economy, Innovation and Energy, Minister responsible for Regional Economic Development and Minister responsible for the Metropolis and the Montreal region
About IBMIBM is a leading provider of global hybrid cloud and AI, and consulting expertise. We help clients in more than 175 countries capitalize on insights from their data, streamline business processes, reduce costs and gain the competitive edge in their industries. More than 4,000 government and corporate entities in critical infrastructure areas such as financial services, telecommunications and healthcare rely on IBM’s hybrid cloud platform and Red Hat OpenShift to affect their digital transformations quickly, efficiently and securely. IBM’s breakthrough innovations in semiconductors, AI, quantum computing, industry-specific cloud solutions and consulting deliver open and flexible options to our clients. All of this is backed by IBM’s legendary commitment to trust, transparency, responsibility, inclusivity and service. Visit www.ibm.com for more information. 
Media ContactLorraine BaldwinIBM [email protected] 
Willa HahnIBM [email protected]
Photo – https://mma.prnewswire.com/media/2397908/IBM_Canada_employee_at_the_IBM_Bromont_plant_holding_a_wafer.jpg
Logo – https://mma.prnewswire.com/media/95470/ibm_logo.jpg

View original content:https://www.prnewswire.co.uk/news-releases/ibm-government-of-canada-government-of-quebec-sign-agreements-to-strengthen-canadas-semiconductor-industry-302128212.html

Continue Reading

Artificial Intelligence

HITACHI ACQUIRES MA MICRO AUTOMATION OF GERMANY IN EFFORT TO ACCELERATE GLOBAL EXPANSION OF ROBOTIC SI BUSINESS IN THE MEDICAL AND OTHER FIELDS

Published

on

hitachi-acquires-ma-micro-automation-of-germany-in-effort-to-accelerate-global-expansion-of-robotic-si-business-in-the-medical-and-other-fields

HOLLAND, Mich., April 26, 2024 /PRNewswire/ — Hitachi Ltd. (TSE: 6501, “Hitachi”) has signed a stock purchase agreement on April 26 to acquire all shares of MA micro automation GmbH (“MA micro automation”, headquartered in St. Leon-Rot, Germany) from MAX Management GmbH (a subsidiary of MAX Automation SE). MA micro automation is a leading provider of robotic and automation technology (robotic SI) including high-speed linear handling systems, high-precision assembly lines, and high-speed vision inspection technology for Europe, North America, and Southeast Asia, for EUR 71.5M million. The transaction is expected to close in the second half of 2024, pending completion of the customary regulatory filings. After the acquisition is completed, MA micro automation will join JR Automation Technologies, LLC (“JR Automation”), a market leader in providing advanced automation solutions and digital technologies in the robotic system integration business for North America, Europe, and Southeast Asia as a continued effort to expand the company’s global presence.

MA micro automation is a technology leader for automation solutions within micro-assembly. Through its state-of-the-art proprietary high-speed and high-precision automation know-how, combined with unique optical image inspection capabilities, MA micro automation serves high-growth med-tech automation end-markets, covering the production, assembly, and testing medical and optical components including contact lenses, IVD and diabetes diagnostics consumables, and injection molding for medical use. The company was established in 2003 through a carve-out from Siemens*1 and since 2013 has been part of the MAX Automation group. 
JR Automation is a leading provider of intelligent automated manufacturing technology solutions, serving customers across the globe in a variety of industries including automotive, life sciences, e-mobility, consumer and industrial products. With over 20 locations between North America, Europe, and Southeast Asia, the leading integrator offers nearly 2 million square feet (185,806 sq. m) of available build and engineering floorspace. This acquisition allows JR Automation to further grow and strengthen both the company’s geographical footprint and their continued commitment on expanding support capabilities within the European region and medical market vertical.
“MA micro automation provides engineering, build and support expertise with established capabilities in complex vision applications, high-speed and high-precision automation technologies. When integrated with JR Automation’s uniform global process and digital technologies, this partnership will further enhance our ability to deliver added value and support to all of our customers worldwide and continue to grow our capabilities in the medical market,” says Dave DeGraaf, CEO of JR Automation. “As we integrate this new dimension, impressive talents and abilities of the MA micro automation team we further enhance our ability to serve our customers, creating a more robust and globally balanced offering.”
With this acquisition, Hitachi aims to further enhance its ability to provide a “Total Seamless Solution*2” to connect manufacturer’s factory floors seamlessly and digitally with their front office data, allowing them to achieve total optimization and bringing Industry 4.0 to life. This “Total Seamless Solution” strategy links organizations’ operational activities such as engineering, supply chain, and purchasing to the plant floor and allows for real time, data-driven decision-making that improves the overall business value for customers.
Kazunobu Morita, Vice President and Executive Officer, CEO of Industrial Digital Business Unit, Hitachi, Ltd. says, “We are very pleased to welcome MA micro automation to the Hitachi Group. The team is based in Europe, providing robotic SI to global medical device manufacturing customers with its high technological capabilities and will join forces with JR Automation and Hitachi Automation to strengthen our global competitiveness. Hitachi aims to enhance its ability to provide value to customers and grow alongside them by leveraging its strengths in both OT, IT, including robotic SI, and “Total Seamless Solution” through Lumada*3’s customer co-creation framework.”
Joachim Hardt, CEO MA micro automation GmbH says, “Following the successful establishment and growth of MA micro automation within the attractive automation market for medical technology products, we are now opening a new chapter. Our partnership with Hitachi will not only strengthen our global competitive position, but we will also benefit from joint technological synergies and a global market presence.  We look forward to a synergistic partnership with Hitachi and JR Automation.”
Outline of MA micro automation    
Name
MA micro automation GmbH
Head Office
St. Leon-Rot, Germany
Representative
Joachim Hardt (CEO)
Outline of Business
Automation solutions within micro-assembly
Total no. of Employees:
Approx. 200 (As of April 2024)
Founded
2003
Revenues (2023)
€ 46.5 million
Website

Home


*1
“Siemens” is a registered trademark or trademark of Siemens Trademark GmbH & Co. KG in the U.S. and other countries.
*2
“Total Seamless Solution” is a registered trademark of Hitachi, Ltd. in the U.S. and Japan.
*3
Lumada: A collective term for solutions, services and technologies based on Hitachi’s advanced digital technologies for creating value from customers’ data accelerating digital innovation. https://www.hitachi.com/products/it/lumada/global/en/index.html
About JR AutomationEstablished in 1980, JR Automation is a leading provider of intelligent automated manufacturing technology solutions that solve customers’ key operational and productivity challenges. JR Automation serves customers across the globe in a variety of industries, including automotive, life sciences, aerospace, and more.  
In 2019, JR Automation was acquired by Hitachi, Ltd. In a strategic effort towards offering a seamless connection between the physical and cyber space for industrial manufacturers and distributers worldwide. With this partnership, JR Automation provides customers a unique, single-source solution for complete integration of their physical assets and data information, offering greater speed, flexibility, and efficiencies towards achieving their Industry 4.0 visions. JR Automation employs over 2,000 people at 21 manufacturing facilities in North America, Europe, and Asia.  For more information, please visit www.jrautomation.com.   
About Hitachi, Ltd.Hitachi drives Social Innovation Business, creating a sustainable society through the use of data and technology. We solve customers’ and society’s challenges with Lumada solutions leveraging IT, OT (Operational Technology) and products. Hitachi operates under the 3 business sectors of “Digital Systems & Services” – supporting our customers’ digital transformation; “Green Energy & Mobility” – contributing to a decarbonized society through energy and railway systems, and “Connective Industries” – connecting products through digital technology to provide solutions in various industries. Driven by Digital, Green, and Innovation, we aim for growth through co-creation with our customers. The company’s revenues as 3 sectors for fiscal year 2023 (ended March 31, 2024) totaled 8,564.3 billion yen, with 573 consolidated subsidiaries and approximately 270,000 employees worldwide. For more information on Hitachi, please visit the company’s website at https://www.hitachi.com.
Photo – https://mma.prnewswire.com/media/2398552/CENTAURI_IVD_Platform.jpg Logo – https://mma.prnewswire.com/media/2392427/4673549/JR_Automation_and_Hitachi_Combined_Mark_full_color_Logo.jpg
 

View original content:https://www.prnewswire.co.uk/news-releases/hitachi-acquires-ma-micro-automation-of-germany-in-effort-to-accelerate-global-expansion-of-robotic-si-business-in-the-medical-and-other-fields-302128612.html

Continue Reading

Artificial Intelligence

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

Published

on

$10-million-artificial-intelligence-mathematical-olympiad-prize-appoints-further-advisory-committee-members

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.
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
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

Continue Reading

Trending